跟踪编译器中AST节点的源位置(ocaml)

Question

我正在使用ocamllex/yacc在ocaml中编写编译器.事情进展顺利,但我遇到了设计问题.对于我创建的每个AST节点,最好在源代码中获得有关该节点的行/字符位置的信息.这对于稍后向用户提供错误消息将是有用的.

现在,我可以为我的节点添加某种元类型:

type node = Node1 of ... * meta | Node2 of ... * meta

但这似乎是多余的.后来,当我完成验证AST时,我将不得不写

match n with 
| NodeX(..., _) -> ...

在每match一个浪费空间的地方.

解决这个问题的最佳方法是什么？

Answer 1

解决此问题的常用方法是使用记录来保存元信息和节点表达式:

type node_exp = Node1 of ... | Node2 of ...
and node = { exp: node_exp; meta: meta }

然后:

match n.exp with
  | NodeX ... -> ...