On Sat, Sep 20, 2003 at 03:38:22PM +0100, Benjamin Geer wrote:
> I'm writing an interpreter for a small language (to be released as an 
> open source library), using ocamllex and ocamlyacc.  I'd like this 
> language to support an instruction that, at compile time, recursively 
> includes source code from another file.
> 
> I searched the list archives and found a message 
> (http://pauillac.inria.fr/caml/caml-list/0258.html), posted here in 1997 
> by Xavier Leroy, which suggests one way to write a recursive 
> "yacc_start" function.  However, the details of this approach aren't 
> clear to me; could someone provide a more detailed explanation of what 
> would be involved (e.g. a brief outline of the contents of this 
> function)?  What about ocamllex?  Would I have to save the lexbuf on a 
> stack, and restore it after each recursive call?

Wouldn't it work to simply call parsing function from parser rule?

> I considered using (or writing) a preprocessor to do the includes, but I 
> couldn't think of a way to do this without losing the ability to report 
> filenames and line numbers in run-time error messages.

Maybe you should consider C-like:

  # lineno "filename"

Then you could simply use cpp. Supporting it will also have the added
benefit for peaople trying to genarete code in your language.

-- 
: Michal Moskal :: http://www.kernel.pl/~malekith : GCS {C,UL}++++$ a? !tv
: When in doubt, use brute force. -- Ken Thompson : {E-,w}-- {b++,e}>+++ h

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners