Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ocamldebug should be able to work with Dynlink code #6317

Closed
vicuna opened this issue Feb 4, 2014 · 2 comments
Closed

ocamldebug should be able to work with Dynlink code #6317

vicuna opened this issue Feb 4, 2014 · 2 comments

Comments

@vicuna
Copy link

vicuna commented Feb 4, 2014

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.

@vicuna
Copy link
Author

vicuna commented Dec 5, 2014

Comment author: @damiendoligez

If anyone wants to work on it, a patch for this would be reviewed with a favourable eye.

@vicuna
Copy link
Author

vicuna commented May 11, 2015

Comment author: @gasche

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants