From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <john.harrison@cl.cam.ac.uk>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled 
	version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id 580BABC68
	for <caml-list@yquem.inria.fr>; Wed, 27 Sep 2006 04:47:44 +0200 (CEST)
Received: from mta1.cl.cam.ac.uk (mta1.cl.cam.ac.uk [128.232.0.15])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id k8R2lhbf020901
	for <caml-list@inria.fr>; Wed, 27 Sep 2006 04:47:44 +0200
Received: from ivatt.cl.cam.ac.uk ([128.232.8.11] helo=cl.cam.ac.uk)
	by mta1.cl.cam.ac.uk with esmtp (Exim 3.092 #1)
	id 1GSPRE-0002tK-00; Wed, 27 Sep 2006 03:46:20 +0100
To: oleg@pobox.com
Cc: caml-list@inria.fr
Subject: Re: Listing toplevel bindings
In-Reply-To: Message from oleg@pobox.com 
   of "Tue, 26 Sep 2006 01:01:20 PDT." <20060926080120.5B3B7AC04@Adric.metnet.fnmoc.navy.mil> 
Date: Wed, 27 Sep 2006 03:46:01 +0100
From: John Harrison <John.Harrison@cl.cam.ac.uk>
Message-Id: <E1GSPRE-0002tK-00@mta1.cl.cam.ac.uk>
X-Miltered: at discorde with ID 4519E64F.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; toplevel:01 bindings:01 oleg:01 oleg:01 toplevel:01 ocaml:01 ocaml:01 genprintval:01 cmo:01 reloading:01 top-level:02 top-level:02 loading:04 paths:05 execute:08 


Hi Oleg,

| First, please retrieve the following file
|         http://pobox.com/~oleg/ftp/ML/gprint/gprint_toplevel.ml
| and adjust the paths in the "directory" directives to point to your
| OCaml installation directory. Please run your Ocaml top-level and
| execute all #directory and the #load directives 
| in that file up to, but not including the loading of genprintval.cmo.
| Please do NOT change the order of the load directives! It took about
| half an hour to find the right order....
|
| Next, please enter the code given in the appendix of this message. The
| code will print the signature of the values in the
| existing top-level environment. For example:

Brilliant! I easily adapted it for my actual application, and it works
fine. 

Would a few small changes to the OCaml sources render all that reloading
unnecessary, I wonder?

John.