Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Error in Camlp4 tutorial?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-05-24 (18:27)
From: Matt Gushee <mgushee@h...>
Subject: [Caml-list] Error in Camlp4 tutorial?
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 "," which defines the 'expr' grammar entry (as
far as I can see, it's a faithful copy from section 3.4 of the

  # #use "";;

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 =
      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           its fields;   When a nation ignores the Way,
                            Horses bear soldiers through
                                its streets.
                            --Lao Tzu (Peter Merel, trans.)

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: