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 PAA05853; Mon, 4 Feb 2002 15:52:43 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA06301 for ; Mon, 4 Feb 2002 15:52:43 +0100 (MET) Received: from verdot.inria.fr (verdot.inria.fr [128.93.11.7]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g14Eqg102329 for ; Mon, 4 Feb 2002 15:52:42 +0100 (MET) Received: (from ddr@localhost) by verdot.inria.fr (8.9.3/8.9.3) id PAA16434 for caml-list@inria.fr; Mon, 4 Feb 2002 15:52:42 +0100 Date: Mon, 4 Feb 2002 15:52:42 +0100 From: Daniel de Rauglaudre To: caml-list@inria.fr Subject: Re: [Caml-list] camlp4o problem (was: otags problem) Message-ID: <20020204155242.B2338@verdot.inria.fr> References: <9BE7FA48-1771-11D6-A336-003065BDAA76@ece.ucsb.edu> <15454.38553.300800.53941@gargle.gargle.HOWL> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <15454.38553.300800.53941@gargle.gargle.HOWL>; from tews@tcs.inf.tu-dresden.de on Mon, Feb 04, 2002 at 03:11:37PM +0100 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, On Mon, Feb 04, 2002 at 03:11:37PM +0100, Hendrik Tews wrote: > For Daniel de Rauglaudre: Because normal ocaml users are now > sometimes requested to use camlp4o for parsing (for instance for > streams) I think it makes sense to provide a camlp4 parser that > is _exacly_ ocaml. Maybe by placing the quotation syntax in a > separate file, say pa_q.cmo? This is a problem of lexing, not parsing. I could add a flag to set or unset the lexing of quotations. Remark: but to be _exactly_ ocaml, the only solution is to use _exactly_ the same technology, i.e. ocamlyacc. There will be always differences in the behaviour of the two systems. Discussion: Michel Mauny pretends that it is the solution: that I should use ocamlyacc for the normal OCaml syntax and extensible grammars for the revised syntax. In this case, if you want syntax extensions and quotations, you are *obliged* to use the revised syntax: If you want quotations -> revised syntax If you want extensible grammars -> revised syntax If you want ifdef -> revised syntax If you want functionnal streams -> revised syntax If you want extensible functions -> revised syntax If you want Alain Frisch's ocamllex extension -> revised syntax If you want Graydon Hoare's quotations for C -> revised syntax If you want my last baby: IoXML -> revised syntax Are you ok for this change? I am against, but if you convice me that I am wrong, I can do it. -- Daniel de RAUGLAUDRE daniel.de_rauglaudre@inria.fr http://cristal.inria.fr/~ddr/ ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr