@@ -1121,7 +1121,7 @@ showName ist bnd impl colour n = case ist of
1121 Just i -> if colour then colourise n (idris_colourTheme i) else showbasic n
1121 Just i -> if colour then colourise n (idris_colourTheme i) else showbasic n
1122 Nothing -> showbasic n
1122 Nothing -> showbasic n
1123 where name = if impl then show n else showbasic n
1123 where name = if impl then show n else showbasic n
1124− showbasic n@(UN _) = show n
1124+ showbasic n@(UN _) = showCG n
1125 showbasic (MN _ s) = s
1125 showbasic (MN _ s) = s
1126 showbasic (NS n s) = showSep "." (reverse s) ++ "." ++ showbasic n
1126 showbasic (NS n s) = showSep "." (reverse s) ++ "." ++ showbasic n
1127 showbasic (SN s) = show s
1127 showbasic (SN s) = show s