[
Lists Home |
Date Index |
Thread Index
]
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
|