[GHC] #700: Inconsistent typechecking of pattern match in function binding

[GHC]

#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