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
1 changed file:
Changes:
| ... | ... | @@ -40,7 +40,7 @@ import GHC.Utils.Panic |
| 40 | 40 | |
| 41 | 41 | import Control.Monad( unless )
|
| 42 | 42 | import GHC.Data.Pair
|
| 43 | -import Data.Maybe( isNothing, isJust, mapMaybe )
|
|
| 43 | +import Data.Maybe( isJust, mapMaybe )
|
|
| 44 | 44 | |
| 45 | 45 | |
| 46 | 46 | {- Note [Overview of functional dependencies in type inference]
|
| ... | ... | @@ -720,7 +720,6 @@ getRelevantBranches ax work_args work_rhs |
| 720 | 720 | , let (subst',qtvs') = trim_qtvs subst qtvs
|
| 721 | 721 | lhs_tys' = substTys subst' lhs_tys
|
| 722 | 722 | rhs_ty' = substTy subst' rhs_ty
|
| 723 | - branch_tys = rhs_ty : lhs_tys
|
|
| 724 | 723 | branch_tys' = rhs_ty' : lhs_tys'
|
| 725 | 724 | , apartnessCheck lhs_tys' branch -- See (RW4) in Note [Relevance]
|
| 726 | 725 | = Just (FDEqns { fd_qtvs = qtvs'
|