On the “good news” side, we were finally able to review and merge support for dynlinked code in ocamldebug (in trunk, not 4.08; https://github.com/ocaml/ocaml/pull/8654), which could be a big help for people using ocamldebug with plugins – some Coq hackers do this, for example.
1 Like