parsing - Ocaml 解析器“未终止的操作”错误

Question

我是 OCaml 的新手，我正在尝试使用解析器生成器 - ocamllex、ocamlyacc 为特定语言创建解析器。当我尝试编译我的parser.mly文件时，我收到以下错误：

错误（在 = 处带有标记）：

File "parser.mly", line 94: unterminated action
| id = IDENTIFIER { identifier id }
;

以下是 parser.mly 文件的摘录：

%{
  open Ast

  let identifier name = {
    Identifier.name = name;
  }
%}

%token <int> INT
%token <string> IDENTIFIER

%start monitor
%type <Ast.Expression.t> monitor

%%

ident:
  | id = IDENTIFIER { identifier id }
;

Answer 1

Ocamlyacc 不支持为这样的规则部分命名。您要么需要使用$1etc.，要么切换到支持此功能的 Menhir。