Skip to content

Use TypeLits in the meta-data encoding of GHC.Generics

This ticket serves to track the task of improving the meta-data representation in GHC.Generics as described in the following wiki page:

https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/GenericDeriving#Amoreconservativefirstapproachtothisproblem

I'm working on this in branch wip/GenericsMetaData, and I intend to have it in 7.10.

Trac metadata
Trac field Value
Version 7.9
Type Task
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Compiler
Test case
Differential revisions
BlockedBy
Related #9043 (closed)
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information