> > So, does 'pattern' restrict lexical space of the type it is applied to,
> > or defines it anew?
>
> It restricts it, a valid instance of a type will already have to match
> the type the pattern is applied to before matching the pattern itself.
>
Fine, it is what the original poster, who asked the question, wanted to know,
and what I tried to confirm by quoting the spec. Do you think that the quote
answers the question?
If not, what exactly in the specification suggests it is so?
David Tolpin
http://davidashen.net/
