[project @ 2003-12-16 16:19:04 by simonpj]
[ghc-hetmet.git] / ghc / compiler / iface / IfaceType.lhs
index 2c83155..47f0478 100644 (file)
@@ -27,7 +27,7 @@ module IfaceType (
 #include "HsVersions.h"
 
 import Type            ( openTypeKind, liftedTypeKind, unliftedTypeKind,
-                         splitFunTy_maybe, eqKind )
+                         splitFunTy_maybe, eqKind, pprType )
 import TypeRep         ( Type(..), TyNote(..), PredType(..), Kind, ThetaType )
 import TyCon           ( TyCon, isTupleTyCon, tyConArity, tupleTyConBoxity )
 import Var             ( isId, tyVarKind, idType )
@@ -38,10 +38,6 @@ import Module                ( ModuleName )
 import BasicTypes      ( IPName(..), Arity, Version, mapIPName, tupleParens, Boxity )
 import Outputable
 import FastString
-
-#ifdef DEBUG
-import TypeRep( crudePprType )
-#endif
 \end{code}
 
        
@@ -256,7 +252,7 @@ pprIfaceType :: Int -> IfaceType -> SDoc
        -- Simple cases
 pprIfaceType ctxt_prec (IfaceTyVar tyvar)     = ppr tyvar
 pprIfaceType ctxt_prec (IfaceTyConApp tc tys) = ppr_tc_app ctxt_prec tc tys
-pprIfaceType ctxt_prec (IfacePredTy st)     = braces (ppr st)
+pprIfaceType ctxt_prec (IfacePredTy st)       = braces (ppr st)
 
        -- Function types
 pprIfaceType ctxt_prec (IfaceFunTy ty1 ty2)
@@ -342,7 +338,7 @@ toIfaceKind k
   | Just (arg,res) <- splitFunTy_maybe k 
   = IfaceFunKind (toIfaceKind arg) (toIfaceKind res)
 #ifdef DEBUG
-  | otherwise = pprTrace "toIfaceKind" (crudePprType k) IfaceOpenTypeKind
+  | otherwise = pprTrace "toIfaceKind" (pprType k) IfaceOpenTypeKind
 #endif
 
 ---------------------