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 IAA27851; Wed, 16 Jun 2004 08:56:18 +0200 (MET DST) 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 IAA28837 for ; Wed, 16 Jun 2004 08:56:17 +0200 (MET DST) Received: from beaune.inria.fr (beaune.inria.fr [128.93.8.3]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i5G6uHSH025993 for ; Wed, 16 Jun 2004 08:56:17 +0200 Received: by beaune.inria.fr (8.8.8/1.1.22.3/14Sep99-0328PM) id IAA0000026400; Wed, 16 Jun 2004 08:56:16 +0200 (MET DST) Date: Wed, 16 Jun 2004 08:56:16 +0200 From: Luc Maranget To: John Goerzen Cc: caml-list@inria.fr Subject: Re: [Caml-list] ocamllex/yacc and camlp4 Message-ID: <20040616085616.B26623@beaune.inria.fr> References: <20040616032612.GA23426@complete.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5.1i In-Reply-To: <20040616032612.GA23426@complete.org>; from jgoerzen@complete.org on Tue, Jun 15, 2004 at 10:26:12PM -0500 X-Miltered: at concorde with ID 40CFEF11.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 camlp:01 implemented:01 camlp:01 bug:01 faq:01 faq:01 beginner's:01 beginners:01 bootstrap:01 ocamlc:01 bootstrap:01 ocamlc:01 bin:01 caml-bugs:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > Hi, > > Quick question: why are ocamllex and ocamlyacc not implemented with > camlp4? They seem to be doing exactly what camlp4 is there for, and I > think would serve as great camlp4 examples (plus being able to extend > *their* syntax could be very powerful indeed.) > > Thanks, > John > > ------------------- > 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 Hello, First there is history, ocamllex and ocamlyacc predate camlp4, thus they were not written with camlp4 initially. Second there is bootstrap. Since the lexer and parser of ocamlc itself are written with ocamllex/ocamlyacc, Making these tools to depend on camlp4 would include camlp4 in the bootstrap cycle of ocamlc. The resulting situation would complicate bootstraping ocamlc. Of course there could be camlp4 versions of ocamllex/ocamlyacc in addition to ocamllex/ocamlyacc versions of ocamllex/ocamlyacc. Well, nobody ever thought about doing that, I guess. -- Luc Maranget ------------------- 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