From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id AC2BABB9C for ; Wed, 21 Dec 2005 14:04:05 +0100 (CET) Received: from pomo.hostsharing.net (h02.hostsharing.net [212.21.77.2]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jBLD45M6003265 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=FAIL) for ; Wed, 21 Dec 2005 14:04:05 +0100 Received: by pomo.hostsharing.net (Postfix, from userid 68507) id 63FD4A03E2B; Wed, 21 Dec 2005 14:04:03 +0100 (CET) Received: by frechet; Wed, 21 Dec 2005 14:03:26 +0100 Date: Wed, 21 Dec 2005 14:03:26 +0100 From: Holger Blasum To: caml-list@yquem.inria.fr Subject: Ocamldebug and gdb-like symbol table listings? Message-ID: <20051221130326.GA11123@tosh> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="tThc/1wpZn/ma/RB" Content-Disposition: inline User-Agent: Mutt/1.5.6+20040722i X-Miltered: at nez-perce with ID 43A952C5.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocamldebug:01 caml-list:01 ocamldebug:01 node:01 gdb:01 vaguely:01 globals:01 debugger:01 coq:01 pointers:01 debugger:01 angela:98 data:02 implemented:02 variables:02 X-Attachments: type="application/pgp-signature" name="signature.asc" X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 --tThc/1wpZn/ma/RB Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Hello caml-list, in ocamldebug, is there any command that just lists the symbol=20 table entries, e.g. like gdb's "info variables" that lists allo global variables in a C program? (see eg=20 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=20 (in that case a hint would be appreciated which data structure=20 in the debugger/*.ml files would be worth to have a look at ...)? Many thanks in advance, --=20 Holger Blasum +49-174-7313590 (gsm) GnuPG 1024D/ACDFC3B769DC1ED66B47 "It has turned out that the networking of many small computers, at many=20 places, is more efficient than the one supercomputer - the success of=20 the internet is based on this principle." - Angela Merkel, government declaration, 30 Nov 2005 --tThc/1wpZn/ma/RB Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2 (GNU/Linux) iD8DBQFDqVKe9ydyGrpYFMERAq2AAJ0e9RdsezWaWQJZHD6llNl0XXzRDwCfdQso qm6MQ0WQhl2oheM0E9OjCL8= =fQZq -----END PGP SIGNATURE----- --tThc/1wpZn/ma/RB--