[nem-en] Pattern matching outside of 'match' block?

[Michal Moskal]

On 2/21/07, Vladimir Reshetnikov <v.reshetnikov at gmail.com> wrote:
> So, two-element tuple is handled by this:
>
>        | <[ $expr1 * $expr2 ]> =>
>          CanBeTypeName (expr1) && CanBeTypeName (expr2)
>
> But I have no idea, how can I handle all tuples by a single branch :(

<[ @* (.. $exprs) ]> => exprs.ForAll (CanBeTypeName)


-- 
   Michał