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 WAA23835; Sat, 24 May 2003 22:15:16 +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 WAA23736 for ; Sat, 24 May 2003 22:15:15 +0200 (MET DST) Received: from swordfish ([216.241.35.41]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h4OKFEH17690 for ; Sat, 24 May 2003 22:15:14 +0200 (MET DST) Received: from matt by swordfish with local (Exim 3.35 #1 (Debian)) id 19JfQB-0004SO-00 for ; Sat, 24 May 2003 14:15:15 -0600 Date: Sat, 24 May 2003 14:15:15 -0600 From: Matt Gushee To: caml-list@pauillac.inria.fr Subject: Re: [Caml-list] Error in Camlp4 tutorial? Message-ID: <20030524201514.GB16502@swordfish> Reply-To: Matt Gushee Mail-Followup-To: caml-list@pauillac.inria.fr References: <20030524182719.GA16502@swordfish> <8765o0qhk8.dlv@wanadoo.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <8765o0qhk8.dlv@wanadoo.fr> User-Agent: Mutt/1.3.27i X-Spam: no; 0.00; gushee:01 mgushee:01 havenrock:01 caml-list:01 camlp:01 expr:01 mlast:01 sequencing:01 englewood:01 manure:01 ignores:01 --lao:01 merel:01 cmo:01 evaluates:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sat, May 24, 2003 at 09:18:47PM +0200, Remi Vanicat wrote: > Matt Gushee writes: > > > # let add_infix lev op = > > EXTEND > > expr: LEVEL $lev$ > > [ [ x = expr; $op$; y = expr -> <:expr< $lid:op$ $x$ $y$ >> ] ]; > > ^^^^^^^ > > Unbound quotation: "expr" > > > > Can anyone help me understand what the problem is? Is there an error in > > the tutorial, or have a done something wrong? > > > > (P.S.: I don't really understand what '<:expr<' represents. Maybe the > > answer would be obvious if I knew that?) > > > It would work with > ocaml camlp4o.cma pa_extend.cmo q_MLast.cmo Well, almost: I've progressed to a type error: the quoted section apparently evaluates to an int, where MLast.expr is required. Oh, well. At this point I can usually sort out type errors on my own. > the <:expr< ... >> things are define in q_MLast.cmo > > You should read the documentation about quotation into the camlp4 > tutorial. Ah, I see. And that comes *after* the part where I'm having trouble. I still think it's a very good tutorial, but perhaps the sequencing could be improved a bit. Anyway, thanks for your help! -- Matt Gushee When a nation follows the Way, Englewood, Colorado, USA Horses bear manure through mgushee@havenrock.com its fields; http://www.havenrock.com/ When a nation ignores the Way, Horses bear soldiers through its streets. --Lao Tzu (Peter Merel, trans.) ------------------- 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