From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA20335 for caml-red; Tue, 13 Jun 2000 18:44:04 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA10773 for ; Mon, 12 Jun 2000 18:21:31 +0200 (MET DST) Received: from csla.csl.sri.com (csla.csl.sri.com [192.12.33.2]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e5CGLUD28897 for ; Mon, 12 Jun 2000 18:21:30 +0200 (MET DST) Received: from cylinder.csl.sri.com (IDENT:filliatr@cylinder.csl.sri.com [130.107.15.112]) by csla.csl.sri.com (8.9.1/8.9.1) with ESMTP id JAA05018; Mon, 12 Jun 2000 09:20:46 -0700 (PDT) Received: (from filliatr@localhost) by cylinder.csl.sri.com (8.9.3/8.8.7) id JAA15261; Mon, 12 Jun 2000 09:20:45 -0700 X-Authentication-Warning: cylinder.csl.sri.com: filliatr set sender to filliatr@cylinder.csl.sri.com using -f From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <14661.3548.755060.270446@cylinder.csl.sri.com> Date: Mon, 12 Jun 2000 09:20:44 -0700 (PDT) To: Ken Wakita Cc: David.Chemouil@enseeiht.fr, caml-list@inria.fr Subject: Re: Obj.magic In-Reply-To: <20000612131525J.wakita@is.titech.ac.jp> References: <3940B5CE.57FEE3E4@enseeiht.fr> <3940B178.280A76CC@enseeiht.fr> <20000612131525J.wakita@is.titech.ac.jp> X-Mailer: VM 6.62 under Emacs 20.4.1 Reply-To: filliatr@csl.sri.com (Jean-Christophe Filliatre) Sender: weis > The Obj module allows nearly direct access to the memory image of the > Caml runtime system. My small program explains usefulness and danger > of this module. The "show_val" function takes an arbitrary Caml value > and prints out their internal representation. I should mention that I also wrote such a function to display the internal representation of ocaml values some time ago, which of course makes a great use of Obj.magic. It is available here: http://www.lri.fr/~filliatr/ftp/ocaml/display/ For a direct access to the documented code with an example, see: http://www.lri.fr/~filliatr/ftp/ocaml/display/display.ps.gz -- Jean-Christophe Filliatre Computer Science Laboratory Phone (650) 859-5173 SRI International FAX (650) 859-2844 333 Ravenswood Ave. email filliatr@csl.sri.com Menlo Park, CA 94025, USA web http://www.csl.sri.com/~filliatr