Commit 06855066 authored by Jan Rochel's avatar Jan Rochel
Browse files

Don't z-encode module names in external-core output

parent ab27a311
......@@ -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)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment