@@ -888,6 +888,7 @@ prettyImp impl = prettySe 10
888 prettyBasic n@(UN _) = pretty n
888 prettyBasic n@(UN _) = pretty n
889 prettyBasic (MN _ s) = text s
889 prettyBasic (MN _ s) = text s
890 prettyBasic (NS n s) = (foldr (<>) empty (intersperse (text ".") (map text $ reverse s))) <> prettyBasic n
890 prettyBasic (NS n s) = (foldr (<>) empty (intersperse (text ".") (map text $ reverse s))) <> prettyBasic n
891+ prettyBasic (SN sn) = text (show sn)
891 prettySe p (PLam n ty sc) =
892 prettySe p (PLam n ty sc) =
892 bracket p 2 $
893 bracket p 2 $
893 if size sc > breakingSize then
894 if size sc > breakingSize then