X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FcoreSyn%2FPprExternalCore.lhs;h=8e9dbfea8a93d3fe53f933d164e7b7b91d2a2d79;hb=14d5afa72e8e86db95bd1c01d906b80b444e8d29;hp=29451d042d5aa98a9ccdc95e0e60f0a23c3279e5;hpb=99bab7d8385401ca552f6f161bd69d9d144f8309;p=ghc-hetmet.git diff --git a/compiler/coreSyn/PprExternalCore.lhs b/compiler/coreSyn/PprExternalCore.lhs index 29451d0..8e9dbfe 100644 --- a/compiler/coreSyn/PprExternalCore.lhs +++ b/compiler/coreSyn/PprExternalCore.lhs @@ -8,6 +8,7 @@ module PprExternalCore () where import Pretty import ExternalCore import Char +import Encoding ( zEncodeString ) instance Show Module where showsPrec d m = shows (pmodule m) @@ -59,10 +60,10 @@ pcdef (Constr dcon tbinds tys) = pcdef (GadtConstr dcon ty) = (pname dcon) <+> text "::" <+> pty ty -pname id = text id +pname id = text (zEncodeString id) pqname ("",id) = pname id -pqname (m,id) = pname m <> char '.' <> pname id +pqname (m,id) = text m <> char '.' <> pname id ptbind (t,Klifted) = pname t ptbind (t,k) = parens (pname t <> text "::" <> pkind k)