Заставьте менгира добавлять пользовательские функции из.mly в.mli
Менгир позволяет добавить произвольный код ocaml в конец файла.mly, где я хочу объявить несколько функций. Но я не смог найти способ заставить менгира добавить свои функции в файл.mli, чтобы они были видны из других модулей. Является ли это возможным?
1 ответ
Ответ прост, это не так. Код, определенный в .mly Файл используется только парсером.
Как указано в руководстве:
Заголовок - это фрагмент кода OCaml, окруженный%{и%} . Он копируется дословно в начало файла.ml.