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

Question

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

特别是，我正在考虑将source maps的支持添加到js_of_ocaml是多么困难。

Answer 1

在启用调试信息编译时（选项-g），字节码带有所谓的“事件”结构，例如标记功能入口和返回点，它们提供源位置和输入信息。

作为如何检查此信息的概念证明，我创建了a small branch ocamlpp工具（BenoîtVaugon的一个小工具来检查字节码文件），它将打印此调试信息与字节码指令。

我不知道js_of_ocaml是否采取必要的步骤在整个编译过程中保留这些位置信息。您应该联系维护人员JérômeVouillon，以获取更多信息。

Answer 2

js_of_ocaml -debuginfo在字节码中使用debug_event来编写注释中的代码行。