Menhir的部分解析与恢复

Question

有一个很小的Sedlex和Menhir的计算器。现在，我想让计算器能够解析像1+这样的表达式。所以我把parser.mly修改成

... ...
main:
    expr EOL                { $1 }
;
expr [@recovery (E_int 0)]:
    INT                     { E_int $1 }
  | BOOL                    { E_bool $1 }
... ...

但是计算1+仍然返回一个错误Fatal error: exception Parser.MenhirBasics.Error。

有人能帮忙吗？

Answer 1

我的评论的补充摘要：

• [@recovery ...]是一个特定于Merlin的构造
• 到目前为止(13/02/2022)，仍然可以使用以下特殊的error令牌来定义您自己的错误恢复：

main:
    expr EOL                { $1 }
;
expr [@recovery (E_int 0)]:
    INT                     { E_int $1 }
  | BOOL                    { E_bool $1 }
  | error                   { E_int 0 }

来自门希尔手册

• 如果使用错误令牌来保存错误并继续解析，则应该选择遗留策略。
• --strategy strategy.  此开关选择一个错误处理策略，供代码后端、表后端和参考解释器使用。可用的策略是legacy和simplified。

来自OCaml周刊

• 新代码后端不能编译使用更复杂的错误标记并因此需要遗留策略的语法。作为一种解决办法，可以切换到表后端(使用--表--策略遗留)或旧代码后端(使用--代码-古)。从长远来看，我们建议放弃使用错误令牌。对错误令牌的支持可能会在将来的某个时候被完全删除。

这种方式很可能在不久的将来行不通，但现在起作用了，这似乎是执行OP要求的最简单的方法。