From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA32391 for caml-redistribution; Wed, 6 Oct 1999 16:20:17 +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 IAA28413 for ; Wed, 6 Oct 1999 08:53:49 +0200 (MET DST) Received: from ruby (pm1-25.triode.net.au [203.63.235.41]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id IAA00454 for ; Wed, 6 Oct 1999 08:53:46 +0200 (MET DST) Received: from maxtal.com.au (IDENT:root@localhost [127.0.0.1]) by ruby (8.9.3/8.9.3) with ESMTP id TAA01556; Wed, 6 Oct 1999 19:42:16 +1000 Sender: weis Message-ID: <37FB1978.34F50F15@maxtal.com.au> Date: Wed, 06 Oct 1999 19:42:16 +1000 From: skaller Organization: Maxtal P/L X-Mailer: Mozilla 4.51 [en] (X11; I; Linux 2.2.12 i586) X-Accept-Language: en MIME-Version: 1.0 To: Gerd.Stolpmann@darmstadt.netsurf.de CC: caml-list@inria.fr Subject: Re: Can someone explain? References: <37F930D0.6547CE0F@maxtal.com.au> <99100521343800.17263@ice> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Gerd Stolpmann wrote: > > On Tue, 05 Oct 1999, John Skaller wrote: > > The other thing I would beg for is to fix the parser > >and lexer to be re-entrant [purely functional]. At present, state > >information > >must be kept in global store :-( > > > I have recently posted a solution for this problem > The solution requires a complicated Makefile I have seen your solution, but I'd prefer not to rely on this kind of thing in code which may be distributed: it's fragile, depending on implementation dependent knowledge about the form of the files ocamlyacc generates. However, it seems like a good proof of principle, and I'm sure we're agreeing a _standard_ solution in the next version of ocaml would be ideal. -- John Skaller, mailto:skaller@maxtal.com.au 1/10 Toxteth Rd Glebe NSW 2037 Australia homepage: http://www.maxtal.com.au/~skaller downloads: http://www.triode.net.au/~skaller