[Home] [By Thread] [By Date] [Recent Entries]
David Tolpin wrote: > 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. -- Robin Berjon
|

Cart



