Create implicits does not work in Emacs mode
ysalmon opened this issue · 0 comments
ysalmon commented
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 :
Line 1078 in 595002e
But they do not know why.