Skip to content

Lack of sharing of `IfaceTyConInfo`

Similar to #19190, IfaceTyConInfo has a lot of redundant allocations.

There are just two main cases: IfaceTyConInfo IsPromoted IfaceNormalTyCon and IfaceTyConInfo NotPromoted IfaceNormalTyCon. These should be made into CAFs and shared.

From my analysis, the most common case is IfaceTyConInfo NotPromoted IfaceNormalTyCon (53 000) then IfaceTyConInfo IsPromoted IfaceNormalTyCon (28 000)

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information