>       Let's either disallow (n+k) pattern bindings or always resolve the
>       ambiguity as an (n+k) pattern.  I'd prefer the former, but I never
>       use (n+k) patterns, anyway.

Likewise!

>       Kevin

Ian


Reply via email to