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 simplify get_Deepsubsumption_flag - - - - - 1 changed file: - compiler/GHC/Tc/Utils/Unify.hs Changes: ===================================== compiler/GHC/Tc/Utils/Unify.hs ===================================== @@ -2075,12 +2075,10 @@ getDeepSubsumptionFlag_DataConHead app_head = if | user_ds -> Deep DeepSub | XExpr (ConLikeTc (RealDataCon {})) <- app_head - = Deep TopSub - | HsVar _ f <- app_head - , isDataConId (unLoc f) - = Deep TopSub + -> Deep TopSub | otherwise - = Shallow + -> Shallow + } -- | 'tc_sub_type_deep' is where the actual work happens for deep subsumption. -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/578a8de5f6d487277fa6fe6265d50cba... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/578a8de5f6d487277fa6fe6265d50cba... You're receiving this email because of your account on gitlab.haskell.org.