ocaml - 在 OCamlyacc 中使用外部类型声明

Question

我在 expr.ml 文件中有一个 expr 类型。在 parser.mly(OCamlyacc 文件)中，我定义了 expr 规则并给出了类型:

    %start expr
    %type <expr> expr

但是，我得到:

    File "parser.mli", line 34, characters 48-52:
    Error: Unbound type constructor expr

我尝试添加

    %{
      open Expr
    %}

在 .mly 文件的开头，但它仍然不起作用。如何在外部文件中定义此 expr 类型并将其用作我的规则的返回值？谢谢。

Answer 1

您需要符合条件 expr输入模块名称。即，如果它在 expression.ml 中定义(使用 type expr = ... )你应该使用

%type <Expresssion.expr> main

注意大写 E使用模块名称时。