From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id KAA21259 for caml-redistribution; Wed, 30 Oct 1996 10:41:09 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id GAA17840 for ; Wed, 30 Oct 1996 06:39:02 +0100 Received: from indy06.cs.monash.edu.au (indy06.cs.monash.edu.au [130.194.64.156]) by nez-perce.inria.fr (8.7.6/8.7.1) with ESMTP id GAA07935 for ; Wed, 30 Oct 1996 06:38:56 +0100 (MET) Received: from indy06.cs.monash.edu.au (localhost [127.0.0.1]) by indy06.cs.monash.edu.au (8.7.6/8.6.9) with SMTP id QAA01267 for ; Wed, 30 Oct 1996 16:38:42 +1100 (EST) Sender: weis Message-ID: <3276E9E1.41C6@cs.monash.edu.au> Date: Wed, 30 Oct 1996 16:38:41 +1100 From: Rob Farley Organization: Monash University X-Mailer: Mozilla 3.0Gold (X11; I; IRIX 5.3 IP22) MIME-Version: 1.0 To: caml-list@inria.fr Subject: CAML-Light: compiling toplevel__include Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Hi, I have a program, in which I make a note of the commands that are called. This allows me to save my work, and hopefully recall it later. Under the toplevel interface, I can use the 'include' command, which I call in a function called 'restore_work', but when I try to compile this program, it won't compile because there's no way of including the toplevel library. So I thought, well, since they're simply saved as strings, is there a way of evaluating a string? If, for example, I have a string called "print_string (string_of_int !current_value);;", is there a way that I can run this 'command'? That would mean that I could read the file into a string, and then simply execute it - thus solving my initial problem - but I can't find anything in the documentation or FAQ about how to do this... Can any of you help me please? Thanks in advance, Rob Farley