Question

我有以下解析器应该返回包含globalVars和globalFns的记录，但似乎没有。

%start program
%type <Ast.program> program

%%

program:
    decls EOF { $1 }

decls:
      /* nothing */             { { globalVars = []; globalFns = []; } }
    | decls varDecl             { { $1 with globalVars  = $1::$2.globalVars  } }
    | decls fnDecl              { { $1 with globalFns   = $1::$2.globalFns  } }

其中ast.ml将程序定义为：

type program = {
    globalVars  : bind list;
    globalFns   : func_decl list;
}

我收到的错误是：Error: Unbound record field globalVars当我尝试执行以下操作时：

let translate program =
    let global_vars =
        let global_var m (t, n) =
            let init = L.const_int (ltype_of_typ t) 0
            in StringMap.add n (L.define_global n init the_module) m in
            List.fold_left global_var StringMap.empty program.globalVars in

我根本无法弄清楚为什么program.globalVars在这里不受约束。如果有人能指出我正确的方向，那将非常感激。

Answer 1

在当前范围内未绑定的记录字段globalVars实际上不是program.globalVars本身：字段标签位于定义它们的模块中。为了访问当前模块外部定义的类型的记录字段;一个人需要使用完全限定的字段路径program.Ast.globalVars，其中Ast.globalVars是模块globalVars中定义的字段Ast的路径，或者将字段带入范围，例如打开模块或注释程序类型：let translate (program:Ast.program)= …。

Ocamlyacc似乎没有返回完整记录

1 个答案: