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 EAA22865; Thu, 17 Jun 2004 04:04:27 +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 EAA18249 for ; Thu, 17 Jun 2004 04:04:25 +0200 (MET DST) Received: from nexus.stwing.upenn.edu (NEXUS.STWING.UPENN.EDU [165.123.132.61]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i5H24OSH000984 for ; Thu, 17 Jun 2004 04:04:24 +0200 Received: from force.stwing.upenn.edu (force.stwing.upenn.edu [165.123.132.65]) by nexus.stwing.upenn.edu (8.12.10/8.12.9) with ESMTP id i5H24Mfn013997 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Wed, 16 Jun 2004 22:04:23 -0400 (EDT) Received: from force.stwing.upenn.edu (localhost [127.0.0.1]) by force.stwing.upenn.edu (8.12.10/8.12.9) with ESMTP id i5H24Mhs012534 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Wed, 16 Jun 2004 22:04:22 -0400 (EDT) Received: (from wlovas@localhost) by force.stwing.upenn.edu (8.12.10/8.12.9/Submit) id i5H24MHF012533 for caml-list@inria.fr; Wed, 16 Jun 2004 22:04:22 -0400 (EDT) Date: Wed, 16 Jun 2004 22:04:21 -0400 From: William Lovas To: caml-list@inria.fr Subject: Re: [Caml-list] ocamllex/yacc and camlp4 Message-ID: <20040617020421.GA11723@force.stwing.upenn.edu> Mail-Followup-To: caml-list@inria.fr References: <20040616085616.B26623@beaune.inria.fr> <200406162248.AAA11976@pauillac.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200406162248.AAA11976@pauillac.inria.fr> User-Agent: Mutt/1.5.4i X-Miltered: at concorde with ID 40D0FC28.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; lovas:01 wlovas:01 stwing:01 caml-list:01 camlp:01 2004:99 pierre:01 weis:01 camlp:01 examples'':01 lalr:01 0200,:01 parsers:03 parsers:03 wrote:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thu, Jun 17, 2004 at 12:48:01AM +0200, Pierre Weis wrote: > In conclusion: pure Camlp4 implementation of ocamllex/ocamlyacc is > still an interesting and challenging progamming task for the next few > years, if you (or someone else) had the will and time to provide two > ``great camlp4 examples'' to the rest of us... Is such a thing even possible? I thought ocamllex/ocamlyacc produced parsers for LALR(1) languages while camlp4 produced parsers for LL(k) languages. These two sets do not bear a subset relation in either direction, so i would think it impossible to completely implement either tool in terms of the other. Have i misunderstood something? cheers, William ------------------- 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