import Pretty
import ExternalCore
import Char
+import Encoding ( zEncodeString )
instance Show Module where
showsPrec d m = shows (pmodule m)
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)