OCaml 中的跟踪和调试

Question

在 OCaml 中使用什么进行跟踪和调试？

为了调试，我尝试了 ocamldebug 和 Emacs 插件。

为了进行跟踪，我希望能够打印每个变量的数据构造函数。 这里显示了使用 Camlp4 的示例： http://caml.inria .fr/pub/docs/tutorial-camlp4/tutorial007.html#toc52

   type colour = Red | Green | Blue
   let print_colour =
     function
       Red -> print_string "Red"
     | Green -> print_string "Green"
     | Blue -> print_string "Blue"

Answer 1

当您可以使用字节码时，ocamldebug 可以正常工作。

如果您想调试本机代码应用程序，可以使用 Thomas gazagnaire 提供的补丁 在 Mantis 上，允许使用 gdb 在 OCaml 程序中逐行执行。该补丁的部分内容应集成到下一版本的 OCaml（3.13 或 4.00）中。

然而，目前还没有办法打印 OCaml 值，但另一个补丁即将推出，使用 GADT 为任何类型定义通用打印机函数。