Fix Curses whitespace issue with test delab001
commit8ff97481887a5b0874efe98583a902529a5a4c83
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateSun 30 Nov 2014, 14:16 (12 years ago)
parentaca2f7e
test/delab001/expected+3−4
@@ -1,14 +1,13 @@
11Type checking ./delab001.idr
2−*delab001> [?1049h[1;37r(B[m[4l[?7h[H[2J[37;1H[?1049l
[?1l>foo : Nat -> String
2+foo : Nat -> String
33foo n = case n of
44 0 => "z"
55 S _ => "s"
6−*delab001> [?1049h[1;37r(B[m[4l[?7h[H[2J[37;1H[?1049l
[?1l>bar : Nat -> String -> String
6+bar : Nat -> String -> String
77bar x y = case x of
88 0 => y
99 S _ => (y ++ y)
10−*delab001> [?1049h[1;37r(B[m[4l[?7h[H[2J[37;1H[?1049l
[?1l>append : List a -> List a -> List a
10+append : List a -> List a -> List a
1111append xs ys = case xs of
1212 [] => ys
1313 (x :: xs) => (x :: (append xs ys))
14−*delab001> Bye bye
test/delab001/input+1
@@ -1,3 +1,4 @@
1+:consolewidth infinite
12:printdef foo
23:printdef bar
34:printdef append