修改 ocaml 编译器代码后链接时出错

Question

我正在调整OCaml（当前trunk分支）的源代码，以便将一些类型信息转储到json中。我需要的第一件事是获得type_expr的内存中类型的数据结构。与OCaml的官方顶层一样，它使用Printtyp.tree_of_type_scheme exp.exp_type来获取文件toplevel/toploop.ml中表达式的find类型（生成类型变量名）(https://github.com/ocaml/ocaml/blob/trunk/toplevel/toploop.ml#L252)。

当我尝试在typing/printtyped.ml中使用Printtyp时，它的最简单形式是：

let tree_of_type_expr (typ : Types.type_expr) =
  Printtyp.tree_of_type_scheme typ
;;

生成失败，表示找不到Printtyp。这是日志：

boot/ocamlrun boot/ocamlc -nostdlib -I boot  -compat-32 -o ocamlc 
   compilerlibs/ocamlcommon.cma compilerlibs/ocamlbytecomp.cma driver/main.cmo
File "_none_", line 1:
Error: Error while linking compilerlibs/ocamlcommon.cma(Printtyped):
Reference to undefined global `Printtyp'

所以我想知道我是否错过了使用Printtyp的一些东西。谢谢

Answer 1

也许您忘记更新.depend文件，以便在对文件进行编译排序时考虑到新的依赖关系。对您的模块进行任何修改后，必须进行make depend。

编辑：
链接顺序是直接在makefile中定义的，dependent只确保文件按照正确的顺序编译。

因此，您需要挖掘Makefile并重新排列两个文件之间的顺序，在github上的当前主干中，即第57行和第58行（对于未来的人，在TYPING的定义中）