Вы можете использовать верхний уровень ocaml из буфера Emacs, который предоставляет вам rlwrap функции редактирования, а также все, что есть в вашей конфигурации Emacs, включая потенциальные не связанные с ocaml режимы завершения.
Помимо утоп Джереми Димино, который уже упоминал Джеффри, есть и другие, более старые проекты, относящиеся к уровню OCaml. Они не все обеспечивают завершение, но вы все равно можете быть заинтересованы в них:
- Чжэн Ли Enhtop ( README ), который предоставляет директивы для просмотра текущей среды верхнего уровня
- Peng Zang's Enhtop + , инкрементный патч над Enhtop, который поставляется с режимом tuareg-plus , обеспечивающим дополнительные функции туарегов, включая завершение с поддержкой ocaml, которые также доступны из Буфер верхнего уровня Emacs
(Связанный, но не ориентированный на верхний уровень, Ocamlspotter от Jun Furuse , который позволяет получить точную информацию, где было определено это имя для файлов OCaml в Emacs)
Все эти проекты идут как патчи к источникам OCaml. Это означает, что для их установки необходимо загрузить исходные коды компилятора OCaml, исправить их, скомпилировать и использовать результат в качестве установки OCaml (возможно, при желании можно сохранить существующую установку OCaml, исправить и скомпилировать ту же версию компилятор отдельно, и выборочно использовать / заменять интересные исполняемые файлы). Это также означает, что на разработчике исправлений лежит бремя обслуживания, которое должно следовать за обновлениями компилятора OCaml, и что вы можете быть ограничены в том, какие версии OCaml использовать. В двух словах, их нелегко развернуть.