English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2005-12-21 (13:04)
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 
 http://ftp.gnu.org/gnu/Manuals/gdb-5.1.1/html_node/gdb_109.html ;
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