Simon Peyton Jones pushed to branch wip/T27828 at Glasgow Haskell Compiler / GHC Commits: 5a378974 by Simon Peyton Jones at 2026-09-21T20:36:13+01:00 Wibble - - - - - 1 changed file: - compiler/GHC/Tc/Solver/FunDeps.hs Changes: ===================================== compiler/GHC/Tc/Solver/FunDeps.hs ===================================== @@ -40,7 +40,7 @@ import GHC.Utils.Panic import Control.Monad( unless ) import GHC.Data.Pair -import Data.Maybe( isNothing, isJust, mapMaybe ) +import Data.Maybe( isJust, mapMaybe ) {- Note [Overview of functional dependencies in type inference] @@ -720,7 +720,6 @@ getRelevantBranches ax work_args work_rhs , let (subst',qtvs') = trim_qtvs subst qtvs lhs_tys' = substTys subst' lhs_tys rhs_ty' = substTy subst' rhs_ty - branch_tys = rhs_ty : lhs_tys branch_tys' = rhs_ty' : lhs_tys' , apartnessCheck lhs_tys' branch -- See (RW4) in Note [Relevance] = Just (FDEqns { fd_qtvs = qtvs' View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/5a37897403f7cbbcfe01194f925873a6... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/5a37897403f7cbbcfe01194f925873a6... You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications: https://gitlab.haskell.org/-/profile/notifications | Help: https://gitlab.haskell.org/help