回答情况：
提问时间：
问题标签：
无论出于什么原因(utf-8)，我都需要将menhir与Sedlexing一起使用，但是不知道如何使生成的解析器依赖于Lexing而不是Lexing。有小费吗？当我跑的时候生成的程序有带有Lexing...的行。我可以手动修改，但肯定还有别的办法，不是吗？
浏览 5修改于2015-06-15得票数 9
回答已采纳
我正在使用--compile-errors的menhir功能，我对此非常满意。我还使用ocamlbuild来管理我的项目的编译。由于该项目是相当基础的，因此到目前为止，构建基础设施仍然是微不足道的。ocamlbuild $(OPTIONS) src/Main.native
menhir-compile-errors src/Handcrafted.messages src&#x
浏览 4提问于2016-11-15得票数 2
回答已采纳
我发现Menhir提供了转储和解释选项，这对调试非常有帮助。但是，如何在ocamlbuild下启用这些选项，以便Menhir总是在编译时生成转储文件？我试图编写myocamlbuild文件，处理自定义标记menhir_dump，如下所示：(* OASIS_STOP *)
MyOCamlbuildBase.dispatch_combine [ | After_rules ->
flag [
浏览 5提问于2015-05-03得票数 7
回答已采纳
我使用menhir添加了一个解析器。当我编译和运行程序时，我收到以下消息。
❱ .如何使menhir通过ocamlbuild生成日志文件？或者其他的调试方法？
浏览 12提问于2021-12-29得票数 0
回答已采纳
我正在尝试理解由menhir生成的.messages文件。
在中，我们可以使用menhir parser.mly --list-errors > parser.messages生成。
浏览 11提问于2022-02-25得票数 1
回答已采纳
因此，我尝试使用以下命令编译我的解析器 menhir parser.mly --table --explain --external-tokens Tokens 这会给我一个错误，说我的一个令牌不存在。我不知道如何让menhir看到它。我尝试创建一个tokens.cma库，但即使这样，我仍然得到相同的错误。Menhir似乎并不关心模块是否不存在，因为如果我运行以下命令 menhir parser.mly --table --explain --external-tokens SomeNonExistentModule
浏览 19提问于2019-07-03得票数 0
回答已采纳
我正在使用menhir定义在ML中现代编译器实现中描述的老虎语言，是手册： | lv = lvalue { Lvalue lv }
| i = INT { Int
浏览 11修改于2016-02-29得票数 2
回答已采纳
我正在为一种赋值语言构建一个小型编译器。var_block : 是在var_block第一次被识别时触发语义动作，还是在达到生产结束(在本例中是RPAREN)时触发它？
浏览 10提问于2017-08-15得票数 1
回答已采纳
Menhir允许将任意ocaml代码添加到.mly文件的末尾，我想在其中声明几个函数。但是我找不到一种方法让menhir将我的函数添加到.mli文件中，这样它们就可以从其他模块中看到。有可能吗？
浏览 0提问于2016-11-10得票数 3
我使用menhir和OCaml来编写词法和解析器。这应该理解为A*x= b，(A，可逆)
在表达式中，所有In都必须是大写或小写符号。
浏览 3修改于2016-06-21得票数 1
回答已采纳
为lambda表达式编写解析器，在编写.mly文件时，我如何表示一个表达式序列应该被解析为使用规则： | ID { Symbol ($1) } | LPAREN expr_expr RPAREN { ($2) }
|
浏览 2提问于2016-12-17得票数 1
回答已采纳
我正在试用Menhir，用(+，-，* /操作符)生成一个非常简单的表达式解析器，但是流冲突结束了。这里是由menhir生成的。
浏览 3提问于2014-10-29得票数 3
回答已采纳
因此，为了问一个有点类似的问题，是否有任何使用Menhir来实现AST?的例子，最好不是像计算器那样的“玩具”项目，但是我希望能得到任何帮助。原题：
ocamlbuild -use-menh
浏览 7修改于2017-03-20得票数 0
回答已采纳
如何使用menhir解析fundec列表？
PS:我知道我可以第二次合并这些列表，但是如果可能的话，我希望解析器能帮我完成。
浏览 2修改于2017-11-21得票数 1
回答已采纳
我在parser.mly中有这样的规则：| c = CST(* True False 1 7 89 "sfr" *)| id = ident (* a-z [a-z]* *)| iv = LSQ l = separated_list(TWOPoints, intervalue) RSQ /* [1..4]*/;
我需要传递给列表"l“开始的值..。结束。例(1.4)。我在手册中搜索，separated_list(TWOPoints, in
浏览 4修改于2019-12-15得票数 0
回答已采纳
有一个很小的。现在，我想让计算器能够解析像1+这样的表达式。所以我把parser.mly修改成main:; INT { E_int $1 }... ...有人能帮忙吗？
浏览 6修改于2022-02-12得票数 0
回答已采纳
我用Menhir创建了一个解析器，有一种行为总是让我感到震惊，但我不明白。(如果您不知道menhir，它是一个LR(1)解析器生成器，所以可能会应用其他类似工具的工作方式。)
浏览 4修改于2014-10-03得票数 1
回答已采纳
n=i_var COMMA e=i_expr RPAREN {Assign (n,e)} ;
它由Menhir
浏览 2提问于2017-05-19得票数 0
回答已采纳
我正在用Menhir + Ocamllex编写一个小型解析器，我有两个似乎不能同时满足的要求
我想打印错误所在的标记。
浏览 0修改于2017-05-23得票数 6
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号