debug skills for ocaml

[wanghuibin0]

I'm going to working on sail project, but unfamiliar with ocaml.
I feel that ocamldebug is somewhat difficult to use.
Is there any other useful tools for debugging ocaml, or some debugging skills for ocaml?
What's your experience?

[Alasdair]

I don't have much experience with ocamldebug

My main approach to triaging bugs in Sail is to write test cases that target specific code paths, and then using the debugging flags/attributes we have to get detailed information on the rewrite and compilation passes. For example if I'm trying to fix a rewrite I'll use the --ddump-rewrite-ast flag to identify what is going on. If it's a low-level problem in the C backend individual functions can be tagged with the $[jib_debug] attribute which will print a lot of information about the compilation of that specific function.