diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2020-04-08 17:26:55 +0200 |
|---|---|---|
| committer | Sebastian Graf <sebastian.graf@kit.edu> | 2020-04-09 10:36:57 +0200 |
| commit | 84f0448c56b4a8b37e34fc1ae6faca20c7c1729c (patch) | |
| tree | a93e2cab653ecee91e6b4e4f2f7a6e7e801bdf3d /compiler/profiling-notes | |
| parent | 255418da5d264fb2758bc70925adb2094f34adc3 (diff) | |
| download | haskell-wip/smaller-coreView.tar.gz | |
Special case `isConstraintKindCon` on `AlgTyCon`wip/smaller-coreView
Previously, the `tyConUnique` record selector would unfold into a huge
case expression that would be inlined in all call sites, such as the
`INLINE`-annotated `coreView`, see #18026. `constraintKindTyConKey` only
occurs as the `Unique` of an `AlgTyCon` anyway, so we can make the code
a lot more compact, but have to move it to GHC.Core.TyCon.
Metric Decrease:
T12150
T12234
Diffstat (limited to 'compiler/profiling-notes')
0 files changed, 0 insertions, 0 deletions