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/Iface/Make.hs | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'compiler/GHC/Iface/Make.hs') diff --git a/compiler/GHC/Iface/Make.hs b/compiler/GHC/Iface/Make.hs index 45a7ee08e6..f903892f9a 100644 --- a/compiler/GHC/Iface/Make.hs +++ b/compiler/GHC/Iface/Make.hs @@ -32,15 +32,15 @@ import GHC.HsToCore.Usage ( mkUsageInfo, mkUsedNames, mkDependencies ) import Id import Annotations import GHC.Core -import Class -import TyCon -import CoAxiom -import ConLike -import DataCon -import Type +import GHC.Core.Class +import GHC.Core.TyCon +import GHC.Core.Coercion.Axiom +import GHC.Core.ConLike +import GHC.Core.DataCon +import GHC.Core.Type import TcType -import InstEnv -import FamInstEnv +import GHC.Core.InstEnv +import GHC.Core.FamInstEnv import TcRnMonad import GHC.Hs import GHC.Driver.Types @@ -416,7 +416,7 @@ coAxiomToIfaceDecl ax@(CoAxiom { co_ax_tc = tycon, co_ax_branches = branches -- 2nd parameter is the list of branch LHSs, in case of a closed type family, -- for conversion from incompatible branches to incompatible indices. -- For an open type family the list should be empty. --- See Note [Storing compatibility] in CoAxiom +-- See Note [Storing compatibility] in GHC.Core.Coercion.Axiom coAxBranchToIfaceBranch :: TyCon -> [[Type]] -> CoAxBranch -> IfaceAxBranch coAxBranchToIfaceBranch tc lhs_s (CoAxBranch { cab_tvs = tvs, cab_cvs = cvs -- cgit v1.2.1