Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003589OCamltools (ocaml{lex,yacc,dep,debug,...})public2005-04-12 12:512016-12-07 16:47
Assigned Todoligez 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0003589: ocamldebug should see through abstract interfaces
DescriptionFull_Name: Marc Herbert
Version: 3.08.2
OS: linux
Submission from: (

ocamldebug should see through abstract interfaces, it would make it much more
useful (I have no idea if this difficult to implement).

Assume you have some abstract type like this:


module MyAbstractType =
   type opaque_type
   val get_string opaque_type -> string

When ocamldebug is stopped inside some module linked to mylib.cmi/cmo, printing
opaque_type variables only prints <abstr>, not very useful... One step later you
enter MyAbstractType.get_string, and suddenly you can see what's inside

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
administrator (administrator)
2005-04-14 16:56

wholeheartedly seconded - DD
nbb (reporter)
2015-09-17 13:54

this bit me too.

when stopping inside functors, it makes printing types that are defined in the input modules impossible, even if the input modules define printer functions and these were installed in ocamldebug. see the stackoverflow question here: [^]
shinwell (developer)
2016-12-07 16:47

The forthcoming gdb support can do this for native code debugging.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue
2013-09-03 13:36 doligez Assigned To => doligez
2013-09-03 13:36 doligez Status acknowledged => confirmed
2013-09-03 13:37 doligez Priority normal => high
2013-09-03 13:37 doligez Description Updated View Revisions
2015-09-17 13:54 nbb Note Added: 0014454
2016-12-07 16:47 shinwell Category OCaml general => OCaml tools (ocaml{lex,yacc,dep,debug})
2016-12-07 16:47 shinwell Note Added: 0016729
2017-02-23 16:45 doligez Category OCaml tools (ocaml{lex,yacc,dep,debug}) => tools (ocaml{lex,yacc,dep,debug,...})

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker