You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 6317 Reporter:@ppedrot Assigned to:@gasche Status: closed (set by @xavierleroy on 2016-12-07T10:49:17Z) Resolution: duplicate Priority: high Severity: feature Version: 4.01.0 Category: tools (ocaml{lex,yacc,dep,debug,...}) Duplicate of:#6468#6792 Monitored by:@whitequark@gasche
Bug description
As of version 4.01, the debugger cannot break into bytecode loaded dynamically through Dynlink. This very annoying for the dynlink-plugin-based architecture of Coq, because it is just not possible to debug ML plugins.
The text was updated successfully, but these errors were encountered:
This PR is superseded by #6792 where whitequark proposes a patch to implement this feature. Comments, feedback and help in reviewing it would be warmly welcome -- I have myself lacked time to move it along, and may lack it as well in the short term.
Original bug ID: 6317
Reporter: @ppedrot
Assigned to: @gasche
Status: closed (set by @xavierleroy on 2016-12-07T10:49:17Z)
Resolution: duplicate
Priority: high
Severity: feature
Version: 4.01.0
Category: tools (ocaml{lex,yacc,dep,debug,...})
Duplicate of: #6468 #6792
Monitored by: @whitequark @gasche
Bug description
As of version 4.01, the debugger cannot break into bytecode loaded dynamically through Dynlink. This very annoying for the dynlink-plugin-based architecture of Coq, because it is just not possible to debug ML plugins.
The text was updated successfully, but these errors were encountered: