X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fiface%2FIfaceType.lhs;h=1688344556f134cc6721ff01ce382ce2bf891942;hb=81709fc3e51b7d328d42367e307ce6af728da7de;hp=e6049aa54097bed2fd91dcb9b4dd998d72281a9c;hpb=9131f4adaf4db771a0a628f9e043693ff90a104b;p=ghc-hetmet.git diff --git a/compiler/iface/IfaceType.lhs b/compiler/iface/IfaceType.lhs index e6049aa..1688344 100644 --- a/compiler/iface/IfaceType.lhs +++ b/compiler/iface/IfaceType.lhs @@ -25,6 +25,7 @@ module IfaceType ( import TypeRep import TyCon +import Id import Var import TysWiredIn import Name @@ -237,7 +238,7 @@ ppr_tc tc = ppr tc ------------------- instance Outputable IfacePredType where -- Print without parens - ppr (IfaceEqPred ty1 ty2)= hsep [ppr ty1, ptext (sLit ":=:"), ppr ty2] + ppr (IfaceEqPred ty1 ty2)= hsep [ppr ty1, ptext (sLit "~"), ppr ty2] ppr (IfaceIParam ip ty) = hsep [ppr ip, dcolon, ppr ty] ppr (IfaceClassP cls ts) = parenSymOcc (getOccName cls) (ppr cls) <+> sep (map pprParendIfaceType ts)