Merge pull request #540 from reynir/patch1
Add missing case in the pretty printer
commit55af04157090a102e2a6ece8ca8fbabb9d068251
authorEdwin Brady <edwin.brady@gmail.com>
dateWed 16 Oct 2013, 08:18 (13 years ago)
parent92923b7cd462c9
CONTRIBUTORS+1
@@ -23,3 +23,4 @@ Dirk Ullrich
2323Leif Warner
2424Daniel Waterworth
2525Jonas Westerlund
26+Reynir Reynisson
src/Idris/AbsSyntaxTree.hs+1
@@ -890,6 +890,7 @@ prettyImp impl = prettySe 10
890890 prettyBasic n@(UN _) = pretty n
891891 prettyBasic (MN _ s) = text s
892892 prettyBasic (NS n s) = (foldr (<>) empty (intersperse (text ".") (map text $ reverse s))) <> prettyBasic n
893+ prettyBasic (SN sn) = text (show sn)
893894 prettySe p (PLam n ty sc) =
894895 bracket p 2 $
895896 if size sc > breakingSize then