Matt Gushee <mgushee@havenrock.com> 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