[Haskell] Context of a pattern variable

[Malcolm Wallace]

Malcolm Wallace <Malcolm.Wallace at cs.york.ac.uk> writes:

>     Marcus Mohnen, "Context Patterns", Proceedings of IFL'96 (LNCS 1268)
>     Marcus Mohnen, "Context Patterns II", Proceedings of IFL'97 (LNCS 1467)

There is a web page too, with an implementation of context patterns
for an old (2.01) version of ghc:

http://www-i2.informatik.rwth-aachen.de/Staff/Current/mohnen/CP/index.html