) where
CHK_Ubiq() -- debugging consistency check
---IMPORT_DELOOPER(IdLoop) -- for paranoia checking
-- friends
import Usage ( GenUsage, SYN_IE(Usage), usageOmega )
import UniqFM ( emptyUFM, listToUFM, addToUFM, lookupUFM,
plusUFM, sizeUFM, delFromUFM, UniqFM
)
-import Name ( mkLocalName, changeUnique, Name, RdrName(..) )
-import Pretty ( SYN_IE(Pretty), PrettyRep, ppBeside, ppPStr )
-import PprStyle ( PprStyle )
---import Outputable ( Outputable(..), NamedThing(..), ExportFlag(..) )
-import SrcLoc ( mkUnknownSrcLoc, SrcLoc )
+import Name ( mkSysLocalName, changeUnique, Name, NamedThing(..) )
+import Pretty ( Doc, (<>), ptext )
+import Outputable ( PprStyle(..), Outputable(..) )
+import SrcLoc ( noSrcLoc, SrcLoc )
import Unique ( showUnique, mkAlphaTyVarUnique, Unique )
+import UniqFM ( Uniquable(..) )
import Util ( panic, Ord3(..) )
\end{code}
instance NamedThing (GenTyVar a) where
getName (TyVar _ _ (Just n) _) = n
- getName (TyVar u _ _ _) = mkLocalName u (showUnique u) True{-emph uniq-} mkUnknownSrcLoc
+ getName (TyVar u _ _ _) = mkSysLocalName u SLIT("t") noSrcLoc
\end{code}