#700: Inconsistent typechecking of pattern match in function binding
-------------------------+--------------------------------------------------
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.4.1
Severity: normal | Keywords:
Os: Unknown | Difficulty: Unknown
Architecture: Unknown |
-------------------------+--------------------------------------------------
{{{
f,g :: (forall a. Maybe a) -> (forall a. a)
f x = case x of Just y -> y
g (Just y) = y
}}}
f is accepted by 6.4.1, but g isn't. I think g should also be accepted.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/700>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
