[Haskell] Pattern Matching with rank-2 types
bruno.oliveira at comlab.ox.ac.uk
Sat Jan 21 13:43:56 EST 2006
The following function is a valid function in ghc6.2.2:
> func :: (forall a . [a]) -> [b]
> func  = 
However, in ghc6.4.1 it does not work anymore:
Couldn't match `forall a. [a]' against `[a]'
When checking the pattern: 
In the definition of `func': func  = 
Is this supposed to happen?
More information about the Haskell