On May 1, 2007, at 3:16 PM, Nicolas Pouillard wrote:

> The second one is about match cases, the old type was (patt * expr
> option * expr) list, now it's match_case
>
> match_case, mc ::= (* empty *)
>                                 | mc1 | mc2
>                                 | p -> e
>                                 | p when e1 -> e2

Then

     let matching =
       (
         <:patt< ( $tup:Ast.paCom_of_list patts$ ) >>,
         None,
         expr
       )

becomes

let patt = <:patt< ( $tup:Ast.paCom_of_list patts$ ) >> in
<:match_case< $patt$ -> $expr$ >>

Right?

	Thanks, Joel

--
http://wagerlabs.com/