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 UAA21821; Sat, 24 May 2003 20:27:21 +0200 (MET DST)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA21920 for <caml-list@pauillac.inria.fr>; Sat, 24 May 2003 20:27:20 +0200 (MET DST)
Received: from swordfish ([216.241.35.41])
	by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h4OIRJT02111
	for <caml-list@pauillac.inria.fr>; Sat, 24 May 2003 20:27:19 +0200 (MET DST)
Received: from matt by swordfish with local (Exim 3.35 #1 (Debian))
	id 19Jdjj-0004Lc-00
	for <caml-list@pauillac.inria.fr>; Sat, 24 May 2003 12:27:19 -0600
Date: Sat, 24 May 2003 12:27:19 -0600
From: Matt Gushee <mgushee@havenrock.com>
To: caml-list@pauillac.inria.fr
Subject: [Caml-list] Error in Camlp4 tutorial?
Message-ID: <20030524182719.GA16502@swordfish>
Reply-To: Matt Gushee <mgushee@havenrock.com>
Mail-Followup-To: caml-list@pauillac.inria.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.3.27i
X-Spam: no; 0.00; gushee:01 mgushee:01 havenrock:01 camlp:01 all--:01 rauglaudre:01 expr:01 englewood:01 manure:01 ignores:01 --lao:01 merel:01 cmo:01 ocaml:01 command:98 
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

Hello, all--

I am working through the Camlp4 Tutorial (which, by the way, I find a
very comprehensible treatment of a difficult subject -- thanks to M. de
Rauglaudre!), but I am having trouble with the add_infix function in
section 3.6.

I start the interactive toplevel with the command

  $ ocaml camlp4o.cma pa_extend.cmo

Then load the file "gr2.ml," which defines the 'expr' grammar entry (as
far as I can see, it's a faithful copy from section 3.4 of the
tutorial):

  # #use "gr2.ml";;

Then I attempt to write the add_infix definition, again, copying
verbatim from the tutorial, but I get the following error:

  # 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?)
                                                          
-- 
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