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
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
Last updated: Jan 31 2023 at 09:01 UTC