What's the way to invoke String.trim
in coqbot sources? Merlin seems to know its type, but dune complains it doesn't exist.
That's on the stdlib since 4.0.0
so weird, does Stdlib.String.trim
work?
maybe something is shadowing the String module; please post the error message
I guess it is ocamlc that complains, right?
[Would be weird for dune to complain about this]
Error message is:
$ dune build --ignore-promoted-rules
File "src/bot.ml", line 203, characters 17-28:
203 | (String.trim
^^^^^^^^^^^
Error: Unbound value String.trim
Stdlib.String.trim
indeed works, thanks!
probably String is shadowed by Base
Yes, exactly.
Last updated: Dec 06 2023 at 15:01 UTC