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 Wibble unused variable - - - - - 1 changed file: - compiler/GHC/Core/FamInstEnv.hs Changes: ===================================== compiler/GHC/Core/FamInstEnv.hs ===================================== @@ -606,8 +606,8 @@ data InjectivityCheckResult injectiveBranches :: [Bool] -> CoAxBranch -> CoAxBranch -> InjectivityCheckResult injectiveBranches injectivity - ax1@(CoAxBranch { cab_tvs = tvs1, cab_lhs = lhs1, cab_rhs = rhs1 }) - ax2@(CoAxBranch { cab_tvs = tvs2, cab_lhs = lhs2, cab_rhs = rhs2 }) + ax1@(CoAxBranch { cab_lhs = lhs1, cab_rhs = rhs1 }) + ax2@(CoAxBranch { cab_lhs = lhs2, cab_rhs = rhs2 }) -- See Note [Verifying injectivity annotation], case 1. = case tcUnifyTysForInjectivity True [rhs1] [rhs2] of -- True = two-way pre-unification View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/44225c9fcb245008b283346c52a6edab... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/44225c9fcb245008b283346c52a6edab... You're receiving this email because of your account on gitlab.haskell.org.