I note that
#require, which is pretty important when you’re using the top level, is undocumented in ocaml and utop’s internal help. Is this intentional?
I note that
That’s probably because it is not provided by the toplevel itself, but by ocamlfind. You have to do
#use "topfind" to get it.
utop doesn’t require that. (I have to confess I’ve never used the “real” ocaml top level, only
utop, since it has such nice features.) Regardless, though, a user is unlikely to know about how to use this facility without documentation regardless of where it originates. I’m not sure what the right answer is, though.
Then I think in the case of
utop it would make sense to document it, yes. Send a PR etc etc you know the drill :).
I have commit access, I could just add the documentation, but unfortunately as it stands
utop just points the user at the
ocaml toplevel documentation. That said, it would probably be a good idea for it to get its own.
What do users of the “normal” toplevel do to learn about things like this btw? (Or are there so few that it doesn’t matter?)
I’ve added this issue to track documenting
utop better: https://github.com/ocaml-community/utop/issues/260