Skip to content
Snippets Groups Projects
Commit 8ab22d1d authored by sven.panne@aedion.de's avatar sven.panne@aedion.de
Browse files

[project @ 2000-06-12 11:04:50 by panne]

Undo the changes and make userStyle printing work again
parent 6f0e4c4d
No related merge requests found
......@@ -66,7 +66,19 @@ type EncodedString = String -- Encoded form
pprEncodedFS :: EncodedFS -> SDoc
pprEncodedFS fs = ptext fs
pprEncodedFS fs
= getPprStyle $ \ sty ->
if userStyle sty then
let
s = decode (_UNPK_ fs)
c = head s
in
if startsVarSym c || startsConSym c then
parens (text s)
else
text s
else
ptext fs
\end{code}
%************************************************************************
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment