[GHC] #2569: Inferred type not accepted by compiler

[GHC]

#2569: Inferred type not accepted by compiler
-------------------------------------+--------------------------------------
 Reporter:  ajd                      |          Owner:           
     Type:  bug                      |         Status:  closed   
 Priority:  normal                   |      Milestone:           
Component:  Compiler (Type checker)  |        Version:  6.9      
 Severity:  normal                   |     Resolution:  duplicate
 Keywords:                           |     Difficulty:  Unknown  
 Testcase:                           |   Architecture:  Unknown  
       Os:  Unknown                  |  
-------------------------------------+--------------------------------------
Changes (by simonpj):

  * status:  new => closed
  * difficulty:  => Unknown
  * resolution:  => duplicate

Comment:

 Yes, I'm afraid this is a now-celebrated bug.  See #1897 and associated
 email.  The right thing, I think, is to reject the the program, whether or
 not you have a signature.

 Simon

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