isDictTy, splitTyConApp_maybe, splitFunTy_maybe,
splitUsForAllTys, predRepTy
)
-import Var ( TyVar, tyVarKind,
- tyVarName, setTyVarName
- )
+import Var ( TyVar, tyVarKind )
import TyCon ( TyCon, isPrimTyCon, isTupleTyCon, isUnboxedTupleTyCon,
maybeTyConSingleCon, isEnumerationTyCon,
- tyConArity, tyConUnique
+ tyConArity
)
-import Class ( Class, className )
+import Class ( Class )
-- others:
import Maybes ( maybeToBool )
-import Name ( getOccString, NamedThing(..) )
+import Name ( getOccString )
import Outputable
import PprEnv
import Unique ( Uniquable(..) )
ppr_ty env ctxt_prec (PredTy p) = braces (ppr_pred env p)
-ppr_theta env [] = empty
-ppr_theta env theta = braces (hsep (punctuate comma (map (ppr_pred env) theta)))
-
ppr_pred env (Class clas tys) = ppr clas <+>
hsep (map (ppr_ty env tYCON_PREC) tys)
ppr_pred env (IParam n ty) = hsep [char '?' <> ppr n, text "::",