[GHC] #2853: Defaulting not used enough with type families

[GHC]

#2853: Defaulting not used enough with type families
---------------------------------+------------------------------------------
    Reporter:  guest             |        Owner:  chak            
        Type:  bug               |       Status:  closed          
    Priority:  normal            |    Milestone:                  
   Component:  Compiler          |      Version:  6.10.1          
    Severity:  normal            |   Resolution:  duplicate       
    Keywords:                    |   Difficulty:  Unknown         
    Testcase:                    |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
---------------------------------+------------------------------------------
Changes (by simonpj):

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

Comment:

 But see #2641 which argues for making the rules ''less'' liberal, not more
 liberal.

 This is a usability issue, not a technical one.  If you care enough to
 drive a discussion (perhaps on ghc-users) to a consensus, I'd be happy to
 implement the outcome.

 Rather than have two tickets about the semantics of
 `ExtendedDefaultRules`, I'll close this ticket and link to it from #2641.

 Simon

 (PS: also related: #1877.)

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