Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003589OCamlOCaml generalpublic2005-04-12 12:512013-09-03 13:37
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

- 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

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker