Today I conducted a small experiment of using a debugger on a small OCaml program (built using dune). The program is not written by me, does non-trivial things, and is written in such a way that my usual approaches to understand what is going on would require more work than I want to pour in it. I …

Nice post, thanks ! A few things I would like to add: Time travelling is possible for the native debuggers with rr. At some point it was Linux-only, it might still be the case, but it’s very nice to use. I have on some occasions debugged bytecode programs by using rr on it, and with the appropria…

It is possible to use ocamlearlybird with dap-mode in Emacs link . The setup uses the same json config file as VSCode. I’m putting my effort into DAP support since that gets cross editor support and I can switch between LLDB/ocamlearlybird. For Emacs the two main options for DAP support are: dap-m…

I personally have never managed to use ocamldebug satisfactorily, but I wish support for gdb would become a thing one day. I think there’s ways to provide (python) scripts to teach gdb about the layout of values, possibly even about calling conventions(?). gdb is overall more interesting because…

[image] gasche: For example some module names show up as Dune__exe.Foo, and I would prefer to see just Foo. This is controlled by (wrapped_executables <bool>) in dune-project: wrapped_executables - Dune documentation Cheers, Nicolas

you can often see weird artifacts due to C calls being replayed each time you step back, sometimes breaking the program completely. If I understand correctly, each checkpoint is an independent copy of the program state obtained via fork(). This means that C calls should work fine (eg. open file d…

Probably worth sharing here: gdb.py gdb_ocamlrun.py lldb.py Getting Started with GDB on OCaml

For those who (like me) have always been perplexed when they try to use ocamldebug, b/c it just doesn’t seem to work like gdb or perl’s debugger, or any other debugger I’ve tried, this video was immensely helpful. [How to debug ocaml code?] Specifically, I learned that at the beginning…

Bytecode debugging in OCaml 5.3

Ecosystem

henrytill February 26, 2025, 12:00am 7

Probably worth sharing here:

gdb.py
gdb_ocamlrun.py
lldb.py
Getting Started with GDB on OCaml

2 Likes

Topic		Replies	Views
Debug OCaml code Learning debugger	47	3945	December 16, 2022
Ocaml 4.11.1 debugging support through ocamlearlybird Learning	9	2084	February 20, 2021
Ocamlc bytecode file vs dune bytecode *.bc file Learning	9	2139	March 6, 2021
How do you Debug Ocaml? Learning debugging	23	7313	October 28, 2017
[ANN] ocamlearlybird 1.0.0 beta1 Ecosystem announce , debugging , ocamlealybird	29	3090	April 3, 2021

Bytecode debugging in OCaml 5.3

Related topics