Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006317OCamlOCaml tools (ocaml{lex,yacc,dep,browser,debug})public2014-02-04 17:552015-05-11 14:32
Assigned Togasche 
PlatformOSOS Version
Product Version4.01.0 
Target VersionFixed in Version 
Summary0006317: ocamldebug should be able to work with Dynlink code
DescriptionAs 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.
TagsNo tags attached.
Attached Files

- Relationships
duplicate of 0006468resolvedwhitequark Backtraces in toplevel 
duplicate of 0006792confirmedwhitequark Dynlink support for ocamldebug 

-  Notes
doligez (administrator)
2014-12-05 21:12

If anyone wants to work on it, a patch for this would be reviewed with a favourable eye.
gasche (developer)
2015-05-11 14:32

This PR is superseded by PR#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.

- Issue History
Date Modified Username Field Change
2014-02-04 17:55 ppedrot New Issue
2014-07-16 15:09 doligez Status new => confirmed
2014-12-05 21:12 doligez Note Added: 0012673
2014-12-23 17:05 gasche Relationship added duplicate of 0006468
2015-05-11 14:32 gasche Note Added: 0013887
2015-05-11 14:32 gasche Relationship added duplicate of 0006792
2015-05-11 14:32 gasche Status confirmed => resolved
2015-05-11 14:32 gasche Resolution open => duplicate
2015-05-11 14:32 gasche Assigned To => gasche

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker