[GHC] #5296: Compile succeeds without signature, but fails with the signature suggested by GHC

[GHC]

#5296: Compile succeeds without signature, but fails with the signature suggested
by GHC
-------------------------------+--------------------------------------------
    Reporter:  dsf             |       Owner:                           
        Type:  bug             |      Status:  new                      
    Priority:  normal          |   Component:  Compiler (Type checker)  
     Version:  7.0.3           |    Keywords:                           
    Testcase:                  |   Blockedby:                           
          Os:  Linux           |    Blocking:                           
Architecture:  x86_64 (amd64)  |     Failure:  GHC rejects valid program
-------------------------------+--------------------------------------------

Comment(by dsf):

 Replying to [ticket:5296 dsf]:

 To be clear, to get the module to load remove the signature from f.  In my
 application I might be able to get things working by removing signatures,
 but it leads to a cascade of signature removal that is not really
 acceptable.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5296#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler