[GHC] #9043: Add missing type class instances for data types in GHC.Generics

GHC ghc-devs at haskell.org
Mon Jun 16 12:57:02 UTC 2014


#9043: Add missing type class instances for data types in GHC.Generics
-------------------------------------+------------------------------------
        Reporter:  ocharles          |            Owner:  dreixel
            Type:  feature request   |           Status:  patch
        Priority:  normal            |        Milestone:
       Component:  libraries/base    |          Version:  7.8.2
      Resolution:                    |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by simonpj):

 Well I suppose you'd need to derive `Typeable` for these generated data
 types.

 Mind you, IIRC now that we have `DataKinds` I think the Generics stuff
 could be done much more neatly, dramatically reducing the number of
 generated data types.

 This is all code you wrote, Pedro, isn't it?  So you are definitely free
 to improve it!

 Simon

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


More information about the ghc-tickets mailing list