Simon Peyton Jones pushed to branch wip/T23162-part2 at Glasgow Haskell Compiler / GHC
Commits:
-
44225c9f
by Simon Peyton Jones at 2025-11-14T16:24:09+00:00
1 changed file:
Changes:
| ... | ... | @@ -606,8 +606,8 @@ data InjectivityCheckResult |
| 606 | 606 | injectiveBranches :: [Bool] -> CoAxBranch -> CoAxBranch
|
| 607 | 607 | -> InjectivityCheckResult
|
| 608 | 608 | injectiveBranches injectivity
|
| 609 | - ax1@(CoAxBranch { cab_tvs = tvs1, cab_lhs = lhs1, cab_rhs = rhs1 })
|
|
| 610 | - ax2@(CoAxBranch { cab_tvs = tvs2, cab_lhs = lhs2, cab_rhs = rhs2 })
|
|
| 609 | + ax1@(CoAxBranch { cab_lhs = lhs1, cab_rhs = rhs1 })
|
|
| 610 | + ax2@(CoAxBranch { cab_lhs = lhs2, cab_rhs = rhs2 })
|
|
| 611 | 611 | -- See Note [Verifying injectivity annotation], case 1.
|
| 612 | 612 | = case tcUnifyTysForInjectivity True [rhs1] [rhs2] of
|
| 613 | 613 | -- True = two-way pre-unification
|