[GHC] #1634: Type signature normalization

[GHC]

#1634: Type signature normalization
----------------------------------------+-----------------------------------
    Reporter:  kfrdbs at gmail.com         |        Owner:             
        Type:  bug                      |       Status:  new        
    Priority:  normal                   |    Milestone:  6.10 branch
   Component:  Compiler (Type checker)  |      Version:  6.6.1      
    Severity:  normal                   |   Resolution:             
    Keywords:                           |   Difficulty:  Unknown    
          Os:  Linux                    |     Testcase:             
Architecture:  x86                      |  
----------------------------------------+-----------------------------------
Changes (by simonpj):

  * milestone:  => 6.10 branch

Comment:

 I'm going to milestone this for 6.10 for now, just to make sure we look at
 it again.  I'd certainly prefer that the type system was insensitive to
 eta expansion, but it's a bit of a delicate question.

 Simon

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