我正在使用 menhir 生成解析器,现在,它从我的 parser.mly 文件生成的 parser.mli 文件如下所示:
(* The type of tokens. *)
type token =
(* ... huge ADT definition goes here ... *)
(* This exception is raised by the monolithic API functions. *)
exception Error
(* The monolithic API. *)
val start: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Types.ast
有没有办法在我的解析器界面中包含更多内容?特别是,我希望能够导出 AST 的数据类型(当前位于单独的 Types 模块中)以及一些使用令牌数据类型的函数(例如,将它们转换回字符串的函数)。
我尝试在之后放置一些 Ocaml 代码%%
在 parser.mly 中,但是虽然该代码显示在 parser.ml 中,但我声明的函数都没有出现在 parser.mli 中。
None
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)