Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Ocamldebug and gdb-like symbol table listings?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Holger Blasum <holgerlists@b...>
Subject: Ocamldebug and gdb-like symbol table listings?
Hello caml-list,

in ocamldebug, is there any command that just lists the symbol 
table entries, e.g. like gdb's "info variables" that lists
allo global variables in a C program? (see eg ;
vaguely similar concepts would be "!print globals()" in the python
debugger, "Print All." in coq or "apropos "*"" in mit-scheme).

Have I overlooked it in the documentation (pointers greatly
appreciated), is it the "wrong question" to begin with (well
possible, please enlighten why) or is it simply not implemented 
(in that case a hint would be appreciated which data structure 
in the debugger/*.ml files would be worth to have a look at ...)?

Many thanks in advance,

Holger Blasum +49-174-7313590 (gsm) GnuPG 1024D/ACDFC3B769DC1ED66B47
"It has turned out that the networking of many small computers, at many 
places, is more efficient than the one supercomputer - the success of 
the internet is based on this principle." - Angela Merkel, government
declaration, 30 Nov 2005