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 RAA16627 for caml-red; Tue, 21 Nov 2000 17:30:24 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA14003 for <caml-list@pauillac.inria.fr>; Tue, 21 Nov 2000 15:28:24 +0100 (MET)
Received: from crl.dec.com (crl.dec.com [192.58.206.2])
	by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id eALESK926343
	for <caml-list@inria.fr>; Tue, 21 Nov 2000 15:28:21 +0100 (MET)
Received: from ims.crl.dec.com ([16.11.0.11])
	by crl.dec.com (8.11.1/8.11.1) with ESMTP id eALESCg14858
	for <caml-list@inria.fr>; Tue, 21 Nov 2000 09:28:12 -0500 (EST)
Received: by ims.crl.dec.com with Internet Mail Service (5.5.2650.21)
	id <X2B0NWP3>; Tue, 21 Nov 2000 09:35:10 -0500
Message-ID: <C88F387E7F6ED4118B5308002BC3EB1E07AC4C@yen.crl.dec.com>
From: John Matthews <johnm@crl.dec.com>
To: caml-list@inria.fr
Subject: First-class evaluation
Date: Tue, 21 Nov 2000 09:28:14 -0500
MIME-Version: 1.0
X-Mailer: Internet Mail Service (5.5.2650.21)
Content-Type: text/plain;
	charset="iso-8859-1"
Sender: weis@pauillac.inria.fr

Does the Ocaml interpreter provide a mechanism for interactively evaluating
strings or abstract syntax tree representations of Ocaml code? I'm looking
for something along the lines of Common Lisp's "eval" mechanism. If so, does
it work in the presence of the source-level debugger? That is, can I step
into a call to "eval"?

Thanks,

-john