@@ -324,11 +324,11 @@ instance Pretty [Name] OutputAnnotation where
324 pretty = encloseSep empty empty comma . map pretty
324 pretty = encloseSep empty empty comma . map pretty
326instance Show Name where
326instance Show Name where
327− show (UN n) = "UN:" ++ show (str n)
327+ show (UN n) = show (str n)
328− show (NS n s) = "NS." ++ showSep "." (map T.unpack (reverse s)) ++ "." ++ show n
328+ show (NS n s) = showSep "." (map T.unpack (reverse s)) ++ "." ++ show n
329 show (MN _ u) | u == txt "underscore" = "_"
329 show (MN _ u) | u == txt "underscore" = "_"
330 show (MN i s) = "{" ++ str s ++ show i ++ "}"
330 show (MN i s) = "{" ++ str s ++ show i ++ "}"
331− show (SN s) = "SN." ++ show s
331+ show (SN s) = show s
332 show NErased = "_"
332 show NErased = "_"
334instance Show SpecialName where
334instance Show SpecialName where