it seems ocamldebug fails with "debugger does not support channel locks" on ocaml 4.13.1
is debugging with newer ocaml versions impossible?
anyone know more about this?
Other than https://github.com/ocaml/ocaml/issues/10517 ?
I guess we need to ping OCaml experts, maybe it was working before by chance?
Simple compiler can work without thread
threads, so worst case we can use that, submitting a PR is on my todo
But if that's new in 4.13 seems like a funny stuff
See also https://github.com/ocaml/ocaml/pull/10594 as pointed out
in the other issue
could be new in 4.12 as I don't think I tested that one
So indeed seems maybe that 4.12/4.13 broke the old behavior "don't bail out until a thread is created"
Gaëtan Gilbert said:
it seems ocamldebug fails with "debugger does not support channel locks" on ocaml 4.13.1
is debugging with newer ocaml versions impossible?
(troll) Printf
is your best friend (/troll).
Hi, I'm a bit lost with ocamldebug which I just upgraded from 4.06 to 4.11.2. I have two problems:
Time: 13385948 - pc: 0:4009448 - module Tactics
Breakpoint: 3
1507 <|b|>let indsort = Inductive.inductive_sort_family (snd (Global.lookup_inductive ind)) in
but without the file tactics.ml
to be automatically opened at line 1507 as expected. Has anyone experimented the same behavior and/or know what to do?
https://v2.ocaml.org/manual/debugger.html#ss:debugger-stop-at-new-load
put set break_on_load off
in your .ocamldebug
the emacs problem is probably because dune started removing the INSIDE_EMACS env var
see https://github.com/coq/coq/pull/15878
so you have to call dune-dbg -emacs coqc
instead of dune-dbg coqc
Thanks a lot (and looking forward debugging dynamically loaded code).
Last updated: May 31 2023 at 15:01 UTC