Как создать и настроить аннотацию для Ocaml в Emacs?

Question

Я пишу компилятор в Ocaml с Emacs.Мне сказали, что с -annot во время компиляции может быть сгенерирован файл .annot, что поможет Emacs показать тип моего кода.Но странно, что .annot не генерируется после запуска этого makefile .Может ли кто-нибудь сказать мне, что с этим не так?

Кроме того, как только я получил .annot, мне нужно что-то настроить (например, .emacs?), Чтобы мой Emacs прочитал это и показалтип моего кода?

Большое спасибо!

Edit1: после make clean и make у меня есть .annot ... Но я до сих пор не знаю, какчтобы использовать этот .annot в Emacs.

Edit2: на самом деле необходимо перейти по этой ссылке , скопировать файлы в локальную папку, а затем обновить .emacs.Затем, когда .ml редактируется в Emacs, Cc Ct возвращает его тип из .annot.

Answer 1

Что касается вашего запроса на emacs - я не использую emacs--, это из man-страниц для ocamlc,

-не может выводить подробную информацию о компиляции (типы, привязки, хвостовые вызовы и т. Д.). Информация для файла src.ml помещается в файл src.annot. В случае ошибки типа выведите всю информацию, выведенную средством проверки типов, перед ошибкой. Файл src.annot можно использовать с командами emacs, приведенными в emacs / caml-types.el, для интерактивного отображения типов и других аннотаций.

Есть и другие инструменты из упомянутой мною ранее темы .

Что касается Makefile, не создающего файлы .annot, я создал фиктивный каталог и успешно создал файлы .annot. Я тоже не вижу ничего плохого в твоем Makefile. Возможно, вы захотите очистить каталог и попробуйте снова, или переключитесь на другой способ создания вашего инструмента, например ocamlbuild - который потребует минимальной настройки, хотя я не использовал его с menhir.

Также отмечу, что -annot является новым с OCaml 3.11.0 , и до этого флаг был -dtypes.