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

Jump to bottom

ocamldebug should see through abstract interfaces #3589

Closed
vicuna opened this issue Apr 12, 2005 · 4 comments
Closed

ocamldebug should see through abstract interfaces #3589

vicuna opened this issue Apr 12, 2005 · 4 comments
Assignees
@damiendoligez
Labels
feature-wish high-priority ocamldebug Stale tools

Comments

@vicuna
Copy link

vicuna commented Apr 12, 2005

Original bug ID: 3589
Reporter: administrator
Assigned to: @damiendoligez
Status: confirmed (set by @damiendoligez on 2013-09-03T11:36:52Z)
Resolution: open
Priority: high
Severity: feature
Category: tools (ocaml{lex,yacc,dep,debug,...})
Monitored by: bacam marc

Bug description

Full_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 , not very useful... One step later you
enter MyAbstractType.get_string, and suddenly you can see what's inside
opaque_type!
@vicuna
Copy link
Author

vicuna commented Apr 14, 2005

Comment author: administrator

wholeheartedly seconded - DD

@vicuna
Copy link
Author

vicuna commented Sep 17, 2015

Comment author: nbb

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:

http://stackoverflow.com/questions/32541434/how-to-print-an-abstract-data-type-within-in-a-functor-in-ocamldebug

@vicuna
Copy link
Author

vicuna commented Dec 7, 2016

Comment author: @mshinwell

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

@github-actions
Copy link

This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc.

@github-actions github-actions bot added the Stale label May 18, 2020
@github-actions github-actions bot closed this as completed Jul 1, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@damiendoligez damiendoligez

Labels
feature-wish high-priority ocamldebug Stale tools
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@damiendoligez @nojb @vicuna