Fix ambiguity in test
commit76b48fcb8c6e69b34e6b4ef38e12c1a0958b80fd
authorMelvar Chen <Melvar.Chen@googlemail.com>
dateWed 13 Nov 2013, 20:41 (13 years ago)
parent60cc64e
test/reg024/reg024.idr+1−1
@@ -22,7 +22,7 @@ printf fmt = printFormat (fromList $ unpack fmt) where
2222 rec End acc = acc
2323 rec (FInt rest) acc = \i: Int => rec rest (acc ++ (show i))
2424 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 ""))
2626
2727test : String
2828test = printf "The %s is %d" "answer" 42