调试OCaml程序

在toplevel中，使用#trace命令

示例如下

这个用起来不太现实，我们除了教学，不会把程序写在toplevel里面，而是写在文件里面，编译，执行。于是有了ocamldebug.

它可以单步执行，插入断点，察看、修改环境中的值，和别的调试器一样。

但是，这个工具只运行在Unix上,Ubuntu这些都可以。

编译程序时加上-g选项，生成的.cmo文件含有调试必需的指令。只有bytecode compiler使用该选项。得到可执行文件后，进入debug模式，命令如下

ocamldebug [options ] executable [arguments ]

示例

建立两个文件

fact.ml

let fact n =
    let rec fact_aux p q n =
        if n = 0 then p
        else fact_aux (p+q) p (n-1)
    in
fact_aux 1 1 n;;

main.ml

let x = ref 4;;
let go () =
    x := 5;
    Fact.fact !x;;
Printf.printf "%d\n" (go ());;

编译

ocamlc -g *.ml

得到a.out执行文件。可以加上其他选项，一定要有-g并链接。

启动debug

ocamldebug a.out

help命令列出所有可用的命令



执行，追踪等，与用GDB调试C程序比较像，慢慢琢磨体会。