[Haskell-cafe] Partial pattern matching

[Peter Verswyvelen]

In Haskell, a data constructor can be used partially applied:
data Pair a b = P a b

f = P 1

however, I cannot do "partial pattern matching", e.g

firstCoord (P x) = x

does not work.

I guess a very important reason must exist why this is the case?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090309/de9ca7f6/attachment.htm