Andreas Klebinger pushed to branch wip/andreask/spec_tyfams at Glasgow Haskell Compiler / GHC
Commits:
-
c9f54e65
by Andreas Klebinger at 2025-04-25T16:18:48+02:00
1 changed file:
Changes:
... | ... | @@ -3179,7 +3179,7 @@ interestingDict :: CoreExpr -> Type -> Bool |
3179 | 3179 | interestingDict arg arg_ty
|
3180 | 3180 | -- No benefit to specalizing for a ~# b I believe
|
3181 | 3181 | | not (isEqPred arg_ty) = False
|
3182 | - -- | not (typeDeterminesValue arg_ty) = False -- See Note [Type determines value]
|
|
3182 | + -- | not (typeDeterminesValue arg_ty) = False -- See Note [Type determines value]
|
|
3183 | 3183 | | otherwise = go arg
|
3184 | 3184 | where
|
3185 | 3185 | go (Var v) = hasSomeUnfolding (idUnfolding v)
|