首页 | 新闻 | 交流 | 问吧 | 文档 | 手册 | 下载 | 博客

调试OCaml程序

作者:  时间: 2011-06-09

在toplevel中,使用#trace命令

示例如下

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

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

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

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

ocamldebug [options ] executable [arguments ]

示例

建立两个文件

fact.ml

1 let fact n =
2 let rec fact_aux p q n =
3 if n = 0 then p
4 else fact_aux (p+q) p (n-1)
5 in
6 fact_aux 1 1 n;;

main.ml

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

编译

ocamlc -g *.ml

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

启动debug

ocamldebug a.out

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



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