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
Reporteradministrator 
Assigned Todoligez 
PriorityhighSeverityfeatureReproducibilityalways
StatusconfirmedResolutionopen 
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: lns-vlq-37-lyo-82-253-121-251.adsl.proxad.net (82.253.121.251)


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:

mylib.mli:

module MyAbstractType =
 struct
   type opaque_type
   val get_string opaque_type -> string
  end


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
opaque_type!


TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000255)
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