[GHC] #3219: functions on records with overloaded names can be given a too-specific type

[GHC]

#3219: functions on records with overloaded names can be given a too-specific type
----------------------------------------+-----------------------------------
    Reporter:  dmwit                    |        Owner:                  
        Type:  bug                      |       Status:  reopened        
    Priority:  normal                   |    Milestone:                  
   Component:  Compiler (Type checker)  |      Version:  6.10.1          
    Severity:  normal                   |   Resolution:                  
    Keywords:                           |   Difficulty:  Unknown         
    Testcase:                           |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple         |  
----------------------------------------+-----------------------------------
Changes (by dmwit):

  * status:  closed => reopened
  * resolution:  invalid =>

Comment:

 Okay, in that case, I'd like to change the bug description. =)

 It doesn't bother me so much that the type is too specific; what bothers
 me is the ''discrepancy'' between `foo` and `bar`.  Why wouldn't your
 argument apply equally well to bar, leading us to expect an inferred type
 of `bar :: (a -> a) -> T a -> T a`?  In other words, either both types
 should be general, or both types should be specific.

 I'm re-opening, but I've had my say; if you still consider it invalid,
 I'll quiesce.

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