It appears that Parsing uses global state, e.g.
let rhs_loc n = (Parsing.rhs_start_pos n, Parsing.rhs_end_pos n)
I'm building an "app server" to provide translation services to Ruby/
Rails . How would you suggest I work around the global state issue?
Would I need to switch to Menhir?
Thanks, Joel
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Yes Menhir is reentrant.
--
Nicolas Pouillard