summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
d60d599)
a) Even with -dsuppress-uniques, don't suppress them when outputing
code, else the assembler falls over bleating
b) Do suppress uniques in names generated by TH. It's a bit grungy
to do this: see Note [Suppressing uniques in OccNames]. But
it's only needed for test de-wobblification so the grunge isn't
really important.
import FastString
import Outputable
import Binary
import FastString
import Outputable
import Binary
+import StaticFlags( opt_SuppressUniques )
import Data.Char
\end{code}
import Data.Char
\end{code}
pprOccName (OccName sp occ)
= getPprStyle $ \ sty ->
if codeStyle sty
pprOccName (OccName sp occ)
= getPprStyle $ \ sty ->
if codeStyle sty
- then ftext (zEncodeFS occ)
- else ftext occ <> if debugStyle sty
- then braces (pprNameSpaceBrief sp)
- else empty
+ then ftext (zEncodeFS occ)
+ else pp_occ <> pp_debug sty
+ where
+ pp_debug sty | debugStyle sty = braces (pprNameSpaceBrief sp)
+ | otherwise = empty
+
+ pp_occ | opt_SuppressUniques = text (strip_th_unique (unpackFS occ))
+ | otherwise = ftext occ
+
+ -- See Note [Suppressing uniques in OccNames]
+ strip_th_unique ('[' : c : _) | isAlphaNum c = []
+ strip_th_unique (c : cs) = c : strip_th_unique cs
+ strip_th_unique [] = []
+Note [Suppressing uniques in OccNames]
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+This is a hack to de-wobblify the OccNames that contain uniques from
+Template Haskell that have been turned into a string in the OccName.
+See Note [Unique OccNames from Template Haskell] in Convert.hs
%************************************************************************
%* *
%************************************************************************
%* *
import FastTypes
import FastString
import Outputable
import FastTypes
import FastString
import Outputable
#if defined(__GLASGOW_HASKELL__)
--just for implementing a fast [0,61) -> Char function
#if defined(__GLASGOW_HASKELL__)
--just for implementing a fast [0,61) -> Char function
\begin{code}
pprUnique :: Unique -> SDoc
pprUnique uniq
\begin{code}
pprUnique :: Unique -> SDoc
pprUnique uniq
- | opt_SuppressUniques
- = empty -- Used exclusively to suppress uniques so you
- | otherwise -- can compare output easily
+-- | opt_SuppressUniques
+-- = empty -- Used exclusively to suppress uniques so you
+-- | otherwise -- can compare output easily
= case unpkUnique uniq of
(tag, u) -> finish_ppr tag u (text (iToBase62 u))
= case unpkUnique uniq of
(tag, u) -> finish_ppr tag u (text (iToBase62 u))