[GHC] #8165: Use GeneralizedNewtypeDeriving to automatically create associated type families

[GHC]

#8165: Use GeneralizedNewtypeDeriving to automatically create associated type
families
-------------------------------------+-------------------------------------
        Reporter:  MikeIzbicki       |                Owner:  goldfire
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:  8.2.1
       Component:  Compiler (Type    |              Version:  7.6.3
  checker)                           |
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by goldfire):

 * milestone:  8.0.1 => 8.2.1


Comment:

 Yes, as well it should. Derived instances are still type-checked, so this
 would be caught with no special-casing. I could imagine that the error
 message would be hard to understand, but that's the worst that would
 happen.

 But this isn't going to happen by the 8.0 feature freeze, I'm afraid.

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