re-entrant CAMLYACC parsers?

Date: Tue Aug 03 1999 - 23:45:38 MET DST

Message-Id: <>
Subject: re-entrant CAMLYACC parsers?
Date: Tue, 03 Aug 1999 17:45:38 -0400

How do most people implement re-entrancy in caml-yacc parsers which
must manipulate side-state? E.g., if I want to have some hashtable to
store a mapping from name to right-hand-side, which the lexer will
expand dynamically and push back onto the lexbuf (I've enclosed the
code I use to do that -- it looks right, and it works, but I'm not
certain that I got the semantics of Lexing.lexbuf down), it'd be nice
to store that someplace on the stack, so that I don't have to count on
serialization of calls to the parser.

I've thought about hacking Parsing to have an extra slot in the
parsing_env record, of polymorphic type, and then adding some syntax
to the caml-yacc language to fetch that value.

Anybody done anything like this?


P.S. I realize I could do this trivially with stream-parsers, but I'd
prefer to write a yacc-parser for efficiency and declarativeness.

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:24 MET