Simon Peyton Jones pushed to branch wip/T24464 at Glasgow Haskell Compiler / GHC
Commits:
-
ecbcac00
by Simon Peyton Jones at 2026-01-16T16:31:51+00:00
1 changed file:
Changes:
| ... | ... | @@ -582,7 +582,6 @@ implicationNeeded skol_info skol_tvs given |
| 582 | 582 | |
| 583 | 583 | alwaysBuildImplication :: SkolemInfoAnon -> Bool
|
| 584 | 584 | -- See Note [When to build an implication]
|
| 585 | -alwaysBuildImplication (SigSkol _ _ _) = True
|
|
| 586 | 585 | alwaysBuildImplication _ = False
|
| 587 | 586 | |
| 588 | 587 | {- Commmented out for now while I figure out about error messages.
|