OCamlPro
recent "upstream" debug additions
@nberth may want to inspect https://github.com/OlegKunitsyn/gnucobol-debug/pull/145 and the overlap to the current integrated changes which seem to be also related to the tty option discussed with @emilienlemaire
[This issue should get the debugger label; and maybe it is reasonable to open issues in the submodule as well and move the debug label'd issues there?]
Some of the changes in the linked PR have already been integrated here. Still, I failed to make the linked PR work properly with submodules, so I implemented a different solution (although I took some inspiration from that PR), along with some code cleanups while I tried to understand the structure of this extension.
There may still be bugfixes in the linked PR that I did not integrate.
