[Home] [By Thread] [By Date] [Recent Entries]
> > 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/
|

Cart



