Add missing pattern
commit23d10ce7b73c2d42f0552a0571f270838e2e73b3
authorReynir Reynisson <reynir@reynir.dk>
dateWed 16 Oct 2013, 15:41 (13 years ago)
parentdcc8d46
src/Idris/AbsSyntaxTree.hs+1
@@ -888,6 +888,7 @@ prettyImp impl = prettySe 10
888888 prettyBasic n@(UN _) = pretty n
889889 prettyBasic (MN _ s) = text s
890890 prettyBasic (NS n s) = (foldr (<>) empty (intersperse (text ".") (map text $ reverse s))) <> prettyBasic n
891+ prettyBasic (SN sn) = text (show sn)
891892 prettySe p (PLam n ty sc) =
892893 bracket p 2 $
893894 if size sc > breakingSize then