projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
ab27a31
)
Don't z-encode module names in external-core output
author
Jan Rochel
<jan.rochel@stud.uka.de>
Thu, 6 Jul 2006 13:11:09 +0000
(13:11 +0000)
committer
Jan Rochel
<jan.rochel@stud.uka.de>
Thu, 6 Jul 2006 13:11:09 +0000
(13:11 +0000)
compiler/coreSyn/PprExternalCore.lhs
patch
|
blob
|
history
diff --git
a/compiler/coreSyn/PprExternalCore.lhs
b/compiler/coreSyn/PprExternalCore.lhs
index
1d4e954
..
8e9dbfe
100644
(file)
--- 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) =
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)))
$$ 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
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)
ptbind (t,Klifted) = pname t
ptbind (t,k) = parens (pname t <> text "::" <> pkind k)