Common up identical info tables
Consider
data Bool' = No | Yes
It is clear that this is identical to Bool
at runtime, and so GHC should be able to reuse Bool
's code. The same holds for all other pairs of isomorphic data types.
I think that a **massive** space savings could be achieved this way.
Trac metadata
Trac field | Value |
---|---|
Version | 8.0.1 |
Type | FeatureRequest |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | simonpj |
Operating system | |
Architecture |