On May 1, 2007, at 2:35 PM, Nicolas Pouillard wrote:

> So where you see (p, e) you can write <:binding< $p$ = $e$ >>.

I took care of the issue by using the above at the source that  
generated bindings.

In the same sexp_of_tuple there's

     let matching =
       (
         <:patt< ( $list:patts$ ) >>,
         None,
         expr
       )
     in
     `Match [matching]

which gives the following error on $list:patts$

--
This expression has type Camlp4.PreCast.Syntax.Ast.patt list
but is here used with type Camlp4.PreCast.Syntax.Ast.ident list
--

patts is [patt] where "patt = idp _loc name" and "idp _loc id =  
<:patt< $lid:id$ >>"

I'm guessing that $list always represents "ident list" so it can't be  
used here.

What should be used instead?

	Thanks, Joel

--
http://wagerlabs.com/