Fabrice Le Fessant, Pierre Chambart

There’s currently support for debugging OCaml programs in gdb. However, that’s support’s somewhat limited. Most obvious of the limitations is the inability to introspect values. So you can see where you are in an execution, but not what’s currently being processed.

The guys at OCamlPro are working on fixing that. But instead of working on gdb, they’re building out support for lldb, the debugger that from the LLVM project and the default debugger on OS X. Of the things that they currently support—which mind you are huge improvements over gdb support&dmash;are:

What needs to be done:

This will be open-sourced, pending code cleanup.