跟踪编译器中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 ... -> ...