AbsSyntaxTree `showName` should use `showCG`, not `show`
commita0b21e3e982fb2df29e880247d86f78016cb853f
authorBrian McKenna <brian@brianmckenna.org>
dateFri 29 Nov 2013, 15:50 (13 years ago)
parent967d422
src/Idris/AbsSyntaxTree.hs+1−1
@@ -1121,7 +1121,7 @@ showName ist bnd impl colour n = case ist of
11211121 Just i -> if colour then colourise n (idris_colourTheme i) else showbasic n
11221122 Nothing -> showbasic n
11231123 where name = if impl then show n else showbasic n
1124− showbasic n@(UN _) = show n
1124+ showbasic n@(UN _) = showCG n
11251125 showbasic (MN _ s) = s
11261126 showbasic (NS n s) = showSep "." (reverse s) ++ "." ++ showbasic n
11271127 showbasic (SN s) = show s