Apoorv Ingle pushed to branch wip/ani/no-ds-flag-cache at Glasgow Haskell Compiler / GHC
Commits:
-
578a8de5
by Apoorv Ingle at 2026-03-28T20:33:48-05:00
1 changed file:
Changes:
| ... | ... | @@ -2075,12 +2075,10 @@ getDeepSubsumptionFlag_DataConHead app_head = |
| 2075 | 2075 | if | user_ds
|
| 2076 | 2076 | -> Deep DeepSub
|
| 2077 | 2077 | | XExpr (ConLikeTc (RealDataCon {})) <- app_head
|
| 2078 | - = Deep TopSub
|
|
| 2079 | - | HsVar _ f <- app_head
|
|
| 2080 | - , isDataConId (unLoc f)
|
|
| 2081 | - = Deep TopSub
|
|
| 2078 | + -> Deep TopSub
|
|
| 2082 | 2079 | | otherwise
|
| 2083 | - = Shallow
|
|
| 2080 | + -> Shallow
|
|
| 2081 | + }
|
|
| 2084 | 2082 | |
| 2085 | 2083 | -- | 'tc_sub_type_deep' is where the actual work happens for deep subsumption.
|
| 2086 | 2084 | --
|