Simon Peyton Jones pushed to branch wip/T23162-spj at Glasgow Haskell Compiler / GHC
Commits:
-
c92f3ede
by Simon Peyton Jones at 2025-07-07T17:43:01+01:00
1 changed file:
Changes:
| ... | ... | @@ -13,7 +13,6 @@ module GHC.Tc.Solver.Dict ( |
| 13 | 13 | import GHC.Prelude
|
| 14 | 14 | |
| 15 | 15 | import GHC.Tc.Errors.Types
|
| 16 | -import GHC.Tc.Instance.FunDeps
|
|
| 17 | 16 | import GHC.Tc.Instance.Class( safeOverlap, matchEqualityInst )
|
| 18 | 17 | import GHC.Tc.Types.Evidence
|
| 19 | 18 | import GHC.Tc.Types.Constraint
|
| ... | ... | @@ -30,9 +29,9 @@ import GHC.Hs.Type( HsIPName(..) ) |
| 30 | 29 | |
| 31 | 30 | import GHC.Core
|
| 32 | 31 | import GHC.Core.Type
|
| 33 | -import GHC.Core.InstEnv ( InstEnvs, DFunInstType, ClsInst(..) )
|
|
| 34 | 32 | import GHC.Core.Class
|
| 35 | 33 | import GHC.Core.Predicate
|
| 34 | +import GHC.Core.InstEnv( DFunInstType )
|
|
| 36 | 35 | import GHC.Core.Multiplicity ( scaledThing )
|
| 37 | 36 | import GHC.Core.Unify ( ruleMatchTyKiX )
|
| 38 | 37 | |
| ... | ... | @@ -56,7 +55,6 @@ import GHC.Driver.DynFlags |
| 56 | 55 | |
| 57 | 56 | import qualified GHC.LanguageExtensions as LangExt
|
| 58 | 57 | |
| 59 | -import Data.Foldable( foldrM )
|
|
| 60 | 58 | import Data.Maybe ( listToMaybe, mapMaybe, isJust )
|
| 61 | 59 | import Data.Void( Void )
|
| 62 | 60 |