[GHC] #10604: Make Generic1 kind polymorphic

GHC ghc-devs at haskell.org
Wed Jul 8 19:56:38 UTC 2015


#10604: Make Generic1 kind polymorphic
-------------------------------------+-------------------------------------
        Reporter:  DerekElkins       |                   Owner:  ekmett
            Type:  feature request   |                  Status:  new
        Priority:  low               |               Milestone:
       Component:  Core Libraries    |                 Version:  7.10.1
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  None/Unknown      |  Unknown/Multiple
      Blocked By:                    |               Test Case:
 Related Tickets:                    |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by ekmett):

 I have a number of data types for things like McBride-style indexed monads
 for which I currently can't use Generic support because of this issue.
 This consequently requires me to laboriously hand-implement support for
 things like serialization. It seems relatively painless to implement.

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


More information about the ghc-tickets mailing list