From 18a346a4b5a02b8c62e8eedb91b35c2d8e754b96 Mon Sep 17 00:00:00 2001 From: Sylvain Henry Date: Mon, 2 Mar 2020 11:43:03 +0100 Subject: Modules: Core (#13009) Update submodule: haddock --- compiler/GHC/CoreToIface.hs | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'compiler/GHC/CoreToIface.hs') diff --git a/compiler/GHC/CoreToIface.hs b/compiler/GHC/CoreToIface.hs index 3aad60b025..ee24c60bee 100644 --- a/compiler/GHC/CoreToIface.hs +++ b/compiler/GHC/CoreToIface.hs @@ -48,28 +48,28 @@ module GHC.CoreToIface import GhcPrelude import GHC.Iface.Syntax -import DataCon +import GHC.Core.DataCon import Id import IdInfo import GHC.Core -import TyCon hiding ( pprPromotionQuote ) -import CoAxiom +import GHC.Core.TyCon hiding ( pprPromotionQuote ) +import GHC.Core.Coercion.Axiom import TysPrim ( eqPrimTyCon, eqReprPrimTyCon ) import TysWiredIn ( heqTyCon ) import MkId ( noinlineIdName ) import PrelNames import Name import BasicTypes -import Type -import PatSyn +import GHC.Core.Type +import GHC.Core.PatSyn import Outputable import FastString import Util import Var import VarEnv import VarSet -import TyCoRep -import TyCoTidy ( tidyCo ) +import GHC.Core.TyCo.Rep +import GHC.Core.TyCo.Tidy ( tidyCo ) import Demand ( isTopSig ) import Cpr ( topCprSig ) @@ -345,12 +345,12 @@ toIfaceAppArgsX fr kind ty_args VisArg -> Required InvisArg -> Inferred -- It's rare for a kind to have a constraint argument, but - -- it can happen. See Note [AnonTCB InvisArg] in TyCon. + -- it can happen. See Note [AnonTCB InvisArg] in GHC.Core.TyCon. go env ty ts@(t1:ts1) | not (isEmptyTCvSubst env) = go (zapTCvSubst env) (substTy env ty) ts - -- See Note [Care with kind instantiation] in Type.hs + -- See Note [Care with kind instantiation] in GHC.Core.Type | otherwise = -- There's a kind error in the type we are trying to print -- cgit v1.2.1