From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA16921; Sun, 2 May 2004 22:38:50 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA15989 for ; Sun, 2 May 2004 22:38:49 +0200 (MET DST) Received: from ait780f.ait.physik.uni-tuebingen.de (ait780f.ait.physik.uni-tuebingen.de [134.2.76.59]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i42KcmEV026564 for ; Sun, 2 May 2004 22:38:48 +0200 Received: from ait780f.ait.physik.uni-tuebingen.de (localhost [127.0.0.1]) by ait780f.ait.physik.uni-tuebingen.de (8.12.9/8.12.9) with ESMTP id i42KclPJ010036; Sun, 2 May 2004 22:38:47 +0200 Received: from localhost (goehler@localhost) by ait780f.ait.physik.uni-tuebingen.de (8.12.9/8.12.9/Submit) with ESMTP id i42KclEu010033; Sun, 2 May 2004 22:38:47 +0200 X-Authentication-Warning: ait780f.ait.physik.uni-tuebingen.de: goehler owned process doing -bs Date: Sun, 2 May 2004 22:38:47 +0200 (CEST) From: Eckart Goehler X-X-Sender: goehler@ait780f.ait.physik.uni-tuebingen.de To: skaller cc: caml-list Subject: Re: [Caml-list] Ocamlyacc reentrancy In-Reply-To: <1083389761.20722.15.camel@pelican.wigram> Message-ID: References: <1083380934.2581.321.camel@pelican.wigram> <200405010547.25090.jdh30@cam.ac.uk> <1083389761.20722.15.camel@pelican.wigram> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Miltered: at nez-perce with ID 40955C58.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 2004:99 caml-list:01 astronomy:01 caml:01 caml:01 reentrant:01 reentrant:01 parser:02 module:03 module:03 wrote:03 wrote:03 recursive:03 data:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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