[GHC] #5462: Deriving clause for arbitrary classes

[GHC]

#5462: Deriving clause for arbitrary classes
-------------------------------------+-------------------------------------
              Reporter:  simonpj     |            Owner:  dreixel
                  Type:  feature     |           Status:  new
  request                            |        Milestone:  ⊥
              Priority:  normal      |          Version:  7.2.1
             Component:  Compiler    |         Keywords:  Generics
            Resolution:              |     Architecture:  Unknown/Multiple
      Operating System:              |       Difficulty:  Unknown
  Unknown/Multiple                   |       Blocked By:
       Type of failure:              |  Related Tickets:  #7346
  None/Unknown                       |
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 You know what I'm going to say. Can you write a wiki page that specifies
 the feature, as seen by the programmer, as precisely as possible.  When it
 is legal?  What instance declaration is generated?  What is the context on
 that instance declaration.

 If there are any implementation wrinkles, they can appear in a separate
 section on the wiki page.

 Thanks

 Simon

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