utop
utop copied to clipboard
Create implicits does not work in Emacs mode
When using UTop in Emacs, the -implicit-bindings
option seems to have no effect.
On discuss.ocaml.org, it was pointed out that uTop uses a different function when processing in emacs mode, that does not refer to get_create_implicits
: https://github.com/ocaml-community/utop/blob/595002e6f07e6a3c6abc6e94a1b2448006115f1b/src/lib/uTop_main.ml#L1078
But they do not know why.