caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* Running several parsers in a single runtime (nethttpd, Menhir)
@ 2007-03-30 12:10 Joel Reymont
  2007-03-30 12:54 ` [Caml-list] " Nicolas Pouillard
  0 siblings, 1 reply; 2+ messages in thread
From: Joel Reymont @ 2007-03-30 12:10 UTC (permalink / raw)
  To: Caml List

Folks,

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

--
http://wagerlabs.com/






^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [Caml-list] Running several parsers in a single runtime (nethttpd, Menhir)
  2007-03-30 12:10 Running several parsers in a single runtime (nethttpd, Menhir) Joel Reymont
@ 2007-03-30 12:54 ` Nicolas Pouillard
  0 siblings, 0 replies; 2+ messages in thread
From: Nicolas Pouillard @ 2007-03-30 12:54 UTC (permalink / raw)
  To: Joel Reymont; +Cc: Caml List

On 3/30/07, Joel Reymont <joelr1@gmail.com> wrote:
> Folks,
>
> 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?

Yes Menhir is reentrant.

-- 
Nicolas Pouillard


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2007-03-30 12:54 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-03-30 12:10 Running several parsers in a single runtime (nethttpd, Menhir) Joel Reymont
2007-03-30 12:54 ` [Caml-list] " Nicolas Pouillard

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).