Andreas Klebinger pushed to branch wip/andreask/spec_tyfams at Glasgow Haskell Compiler / GHC
Commits:
-
4fc55232
by Andreas Klebinger at 2025-04-26T09:36:42+02:00
1 changed file:
Changes:
| ... | ... | @@ -3176,7 +3176,7 @@ interestingDict :: CoreExpr -> Type -> Bool |
| 3176 | 3176 | -- including equality constraints; hence the Coercion case
|
| 3177 | 3177 | -- To make this work, we need to ensure that dictionaries have
|
| 3178 | 3178 | -- unfoldings in them.
|
| 3179 | -interestingDict arg arg_ty
|
|
| 3179 | +interestingDict arg _arg_ty
|
|
| 3180 | 3180 | -- No benefit to specalizing for a ~# b I believe
|
| 3181 | 3181 | -- | (isEqPred arg_ty) = False
|
| 3182 | 3182 | -- |
|