Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Ocamlyacc reentrancy
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Eckart Goehler <goehler@a...>
Subject: Re: [Caml-list] Ocamlyacc reentrancy
On Sat, 1 May 2004, skaller wrote:

> On Sat, 2004-05-01 at 14:47, Jon Harrop wrote:
> > Apparently the Parser module should be reentrant because it is careful to save
> > and load its global data.
> >
> > http://pauillac.inria.fr/caml/caml-list/0258.html
>
> Thanks for that link.  Xavier says:
>
> "The module Parsing is supposed to be reentrant. Yes, there's some
> global state inside, but we're careful to save and restore it across
> entries. If you have a program demonstrating non-reentrance, please
> send it to me privately and I'll try to fix that."

I only remark that ocamlyacc produces code which might be reentrant but
fails for the original problem mentioned because the parsing function is
not recursive.

For fixing that I refer to an already posted article:

http://caml.inria.fr/archives/200309/msg00258.html


cheers

ekat

-----------------------------------------------------

	Eckart Goehler
        Sand 1
	IAAT, Astronomy
	72076 Tuebingen

	Tel.   : ++49-7071-297 54 73
	Fax.   : ++49-7071-29 34 58
	e-mail : goehler@astro.uni-tuebingen.de

-----------------------------------------------------

-------------------
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