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