ocaml - 如何将 OCaml 字节码映射到其原始源代码位置？

Question

从字节码的某些部分到它最初来自的代码行，格式或库是否有一些很好的功能？这显然对调试和错误消息很有用。

特别是，我正在研究添加对 source maps 的支持会有多困难。至 js_of_ocaml .

Answer 1

在启用调试信息(选项 -g)的情况下编译时，字节码携带所谓的“事件”结构标记，例如函数入口和返回点，提供源位置和类型信息。

作为如何检查此信息的概念证明，我创建了 a small branch的ocamlpp工具(Benoît Vaugon 的一个小实用程序，用于检查字节码文件)将调试信息与字节码指令一起打印出来。

我不知道是否js_of_ocaml采取必要的步骤在整个编译过程中保留此位置信息。您可能应该联系维护者 Jérôme Vouillon 以获取更多信息。