on master help sign in
Fix Show for UNs.
783dddbMatus Tejiscak
src/Idris/Core/TT.hs+1−1
@@ -324,7 +324,7 @@ instance Pretty [Name] OutputAnnotation where
324 pretty = encloseSep empty empty comma . map pretty
324 pretty = encloseSep empty empty comma . map pretty
325
325
326instance Show Name where
326instance Show Name where
327− show (UN n) = show (str n)
327+ show (UN n) = str n
328 show (NS n s) = 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 ++ "}"