From 06855066dcd2533094f2a8f877753e2c03d6f656 Mon Sep 17 00:00:00 2001 From: Jan Rochel Date: Thu, 6 Jul 2006 13:11:09 +0000 Subject: [PATCH] Don't z-encode module names in external-core output --- compiler/coreSyn/PprExternalCore.lhs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/coreSyn/PprExternalCore.lhs b/compiler/coreSyn/PprExternalCore.lhs index 1d4e954..8e9dbfe 100644 --- a/compiler/coreSyn/PprExternalCore.lhs +++ b/compiler/coreSyn/PprExternalCore.lhs @@ -41,7 +41,7 @@ instance Show Lit where indent = nest 2 pmodule (Module mname tdefs vdefgs) = - (text "%module" <+> text (zEncodeString mname)) + (text "%module" <+> text mname) $$ indent ((vcat (map ((<> char ';') . ptdef) tdefs)) $$ (vcat (map ((<> char ';') . pvdefg) vdefgs))) @@ -63,7 +63,7 @@ pcdef (GadtConstr dcon ty) = 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) -- 1.7.10.4