diff options
Diffstat (limited to 'compiler/typecheck/TcFlatten.hs')
-rw-r--r-- | compiler/typecheck/TcFlatten.hs | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/compiler/typecheck/TcFlatten.hs b/compiler/typecheck/TcFlatten.hs index 73c354ef73..f467df06ce 100644 --- a/compiler/typecheck/TcFlatten.hs +++ b/compiler/typecheck/TcFlatten.hs @@ -15,15 +15,15 @@ module TcFlatten( import GhcPrelude import TcRnTypes -import TyCoPpr ( pprTyVar ) +import GHC.Core.TyCo.Ppr ( pprTyVar ) import Constraint -import Predicate +import GHC.Core.Predicate import TcType -import Type +import GHC.Core.Type import TcEvidence -import TyCon -import TyCoRep -- performs delicate algorithm on types -import Coercion +import GHC.Core.TyCon +import GHC.Core.TyCo.Rep -- performs delicate algorithm on types +import GHC.Core.Coercion import Var import VarSet import VarEnv @@ -943,7 +943,7 @@ faster. This doesn't seem quite worth it, yet. Note [flatten_exact_fam_app_fully performance] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -The refactor of GRefl seems to cause performance trouble for T9872x: the allocation of flatten_exact_fam_app_fully_performance increased. See note [Generalized reflexive coercion] in TyCoRep for more information about GRefl and #15192 for the current state. +The refactor of GRefl seems to cause performance trouble for T9872x: the allocation of flatten_exact_fam_app_fully_performance increased. See note [Generalized reflexive coercion] in GHC.Core.TyCo.Rep for more information about GRefl and #15192 for the current state. The explicit pattern match in homogenise_result helps with T9872a, b, c. |