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 VAA22375; Sat, 24 May 2003 21:18:45 +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 VAA22783 for ; Sat, 24 May 2003 21:18:44 +0200 (MET DST) Received: from mwinf0104.wanadoo.fr (smtp8.wanadoo.fr [193.252.22.30]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h4OJIiH15474 for ; Sat, 24 May 2003 21:18:44 +0200 (MET DST) Received: from debian (unknown [80.8.75.246]) by mwinf0104.wanadoo.fr (SMTP Server) with ESMTP id D578C1BFFF8F for ; Sat, 24 May 2003 21:18:43 +0200 (CEST) Received: from moi by debian with local (Exim 3.36 #1 (Debian)) id 19JeXX-0003Jx-00 for ; Sat, 24 May 2003 21:18:47 +0200 To: caml-list@pauillac.inria.fr Subject: Re: [Caml-list] Error in Camlp4 tutorial? Mail-Copy-To: never From: Remi Vanicat Date: Sat, 24 May 2003 21:18:47 +0200 In-Reply-To: <20030524182719.GA16502@swordfish> (Matt Gushee's message of "Sat, 24 May 2003 12:27:19 -0600") Message-ID: <8765o0qhk8.dlv@wanadoo.fr> User-Agent: Gnus/5.090015 (Oort Gnus v0.15) Emacs/21.3 References: <20030524182719.GA16502@swordfish> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-15 Content-Transfer-Encoding: 8bit X-Spam: no; 0.00; caml-list:01 camlp:01 gushee:01 mgushee:01 havenrock:01 all--:01 expr:01 mlast:01 cmo:01 ocaml:01 dept-info:01 labri:01 u-bordeaux:01 writes:01 remi:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Matt Gushee writes: > Hello, all-- Hello [...] > # 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 the <:expr< ... >> things are define in q_MLast.cmo You should read the documentation about quotation into the camlp4 tutorial. (well you don't need to know how to define them, but you should know what they are). -- Rémi Vanicat vanicat@labri.u-bordeaux.fr http://dept-info.labri.u-bordeaux.fr/~vanicat ------------------- 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