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 CAA31295 for caml-redistribution; Fri, 19 Jun 1998 02:32:12 +0200 (MET DST)
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 KAA08753 for <caml-list@pauillac.inria.fr>; Thu, 18 Jun 1998 10:45:22 +0200 (MET DST)
Received: from info.numeric-quest.com (info.numeric-quest.com [204.187.76.36])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id KAA09754
	for <caml-list@inria.fr>; Thu, 18 Jun 1998 10:45:19 +0200 (MET DST)
Received: from localhost (jans@localhost)
	by info.numeric-quest.com (8.8.5/8.8.5) with SMTP id DAA14315
	for <caml-list@inria.fr>; Thu, 18 Jun 1998 03:48:43 -0500
Date: Thu, 18 Jun 1998 03:48:42 -0500 (CDT)
From: Jan Skibinski <jans@numeric-quest.com>
To: caml-list@inria.fr
Subject: Dynamic usage of Ocaml evaluator?
Message-ID: <Pine.LNX.3.95.980618023921.13536B-100000@info.numeric-quest.com>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: weis


I'm sorry for this unilingual message - I do not speak French.

I am in a process of writing a portable dynamic writer of Adobe PDF
documents. The package contains series of scripts for three functional
languages: Q, Haskell and Ocaml, which all interface to the same C
driver. The driver does the low level work of talking to PDFlib
- a freely available third party library.

The scripts make use of ascii files with data for plots, tables,
plain text and HTML-like tag annotated information. The data is
portable in a sense that any of those languages use the same
sources and produce the same output - the PDF documents. One special
pair of tags <eval> and </eval> admits sequences of a universal code,
which look alike in all three languages, and if this is not possible
because of the syntax differences, then the language specific tags can
be used, such as <ocaml> and </ocaml>.

The obvious way of parsing the code from the external files is to
take an advantage of the evaluators residing in the specific
interpreters (toplevels). With Q there is no problem at all:
it accepts strings containing Q expressions, compiles them on the
fly and evaluates them within the current environment.

Ocaml requires that the code should reside in a *.ml file, therefore
I create such a file on the fly, say "phrases.ml", write required "open"
instructions, copy code from tagged file to "phrases.ml", close the
file and finally invoke 'Toploop.run_script "phrases.ml"' to evaluate
the expressions from this file. They usually plot something, draw
tables, etc.

Is there any better way to do it? Is the code below correct? It works,
but I am afraid that it might leave the toplevel in some unstable state.
Normally I do exit from the toplevel after I finished producing the
document (70 or so pages), but I wonder what might go wrong on a long
run?
 
Jan Skibinski
Huntsville, Ontario, Canada



val eval_until : string -> out_channel -> number list 
		-> string -> unit
let eval_until t f lv s =
	(* --------------------------------- *)
	(* Read lines from file "f", ignore  *)
	(* empty lines and comments, and     *)
	(* evaluate lines of Ocaml code      *)
	(* until tag "t" is found.           *)
	(* --------------------------------- *)
	let temp = open_out "phrases.ml" in
	output_string temp "open Pdf;;\n";
	output_string temp "open Html;;\n";
	eval_until2 t f temp lv "";    (* copy code from f to temp *) 
	close_out temp;
	Toploop.run_script "phrases.ml"