diff options
Diffstat (limited to 'compiler/types/TyCoPpr.hs')
-rw-r--r-- | compiler/types/TyCoPpr.hs | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/compiler/types/TyCoPpr.hs b/compiler/types/TyCoPpr.hs index e46b299cc5..fbbdfbd7a0 100644 --- a/compiler/types/TyCoPpr.hs +++ b/compiler/types/TyCoPpr.hs @@ -27,8 +27,10 @@ module TyCoPpr import GhcPrelude -import {-# SOURCE #-} ToIface( toIfaceTypeX, toIfaceTyLit, toIfaceForAllBndr - , toIfaceTyCon, toIfaceTcArgs, toIfaceCoercionX ) +import {-# SOURCE #-} GHC.CoreToIface + ( toIfaceTypeX, toIfaceTyLit, toIfaceForAllBndr + , toIfaceTyCon, toIfaceTcArgs, toIfaceCoercionX ) + import {-# SOURCE #-} DataCon( dataConFullSig , dataConUserTyVarBinders , DataCon ) @@ -42,7 +44,7 @@ import TyCoFVs import Class import Var -import IfaceType +import GHC.Iface.Type import VarSet import VarEnv @@ -68,7 +70,7 @@ parens around the type, except for the atomic cases. @pprParendType@ works just by setting the initial context precedence very high. Note that any function which pretty-prints a @Type@ first converts the @Type@ -to an @IfaceType@. See Note [IfaceType and pretty-printing] in IfaceType. +to an @IfaceType@. See Note [IfaceType and pretty-printing] in GHC.Iface.Type. See Note [Precedence in types] in BasicTypes. -} @@ -76,7 +78,7 @@ See Note [Precedence in types] in BasicTypes. -------------------------------------------------------- -- When pretty-printing types, we convert to IfaceType, -- and pretty-print that. --- See Note [Pretty printing via IfaceSyn] in PprTyThing +-- See Note [Pretty printing via Iface syntax] in PprTyThing -------------------------------------------------------- pprType, pprParendType :: Type -> SDoc |