@@ -22,7 +22,7 @@ printf fmt = printFormat (fromList $ unpack fmt) where
22 rec End acc = acc
22 rec End acc = acc
23 rec (FInt rest) acc = \i: Int => rec rest (acc ++ (show i))
23 rec (FInt rest) acc = \i: Int => rec rest (acc ++ (show i))
24 rec (FStr rest) acc = \s: String => rec rest (acc ++ s)
24 rec (FStr rest) acc = \s: String => rec rest (acc ++ s)
25− rec (FChar c rest) acc = rec rest (acc ++ (pack [c]))
25+ rec (FChar c rest) acc = rec rest (acc ++ (strCons c ""))
27test : String
27test : String
28test = printf "The %s is %d" "answer" 42
28test = printf "The %s is %d" "answer" 42