On 5/1/07, Joel Reymont <joelr1@gmail.com> wrote:
> Nicolas,
>
[...]

> This expression has type
>    (Camlp4.PreCast.Syntax.Ast.patt * Camlp4.PreCast.Syntax.Ast.expr)
> list
> but is here used with type Camlp4.PreCast.Syntax.Ast.binding list

Before bindings was just a (patt * expr) list, now there is a binding type:

bi := (* empty *) | patt = expr | bi1 and bi2

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

You can put a binding in a let, for instance: <:expr< let $bi$ in $e$
>> if you want put a list of bindings you can write <:expr< let
$list:bis$ in $e$ >>.

But perhaps it should be better to avoid useless conversion to/from lists.

-- 
Nicolas Pouillard