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 类型并将其用作我的规则的返回值？谢谢。

score 10 · Accepted Answer

您需要expr使用模块名称限定类型。即，如果它在expression.ml（使用type expr = ...）中定义，您应该使用

%type <Expresssion.expr> main

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

score 2 · Accepted Answer

我不确定我是否理解正确。

但是您正在为循环依赖而苦苦挣扎？假设T包含您的类型并调用解析器，P. P不能产生类型，T.t因为T取决于P，而不是相反。通常，我创建了包含类型信息的第三个文件T'.

例如，

毫升

 let parse filename : T'.t =
     filename
         |> open_in
         |> Lexing.from_channel
         |> P.command L.token

P.mly

%type <T'.t> command
%start command
%%

T'.ml

type t = Label of String
       | Integer of String
       | Float of string
       | Star of t

score 1 · Accepted Answer

Ocamlyacc 不允许您在 interface ( .mli) 文件中指定要生成的文本。因此，无论您在何处指定进入接口的类型（令牌或规则的类型），您都需要使用完全限定的类型。

在这里，您似乎可以使用完全限定的类型，但有时这是不可能的，因为该类型涉及函子应用程序。有几种解决方法：

3 回答 3