git.iko.soy/Idris-dev
on master help sign in
Fix test bitrot
commit274b6b1366eaff2b31a37acbff9e6e927c1ad315 authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateTue 5 May 2015, 21:04 (11 years ago) parentc1cd201
2 files changed+1−2
compare with master
unifiedsplit
test/docs004/expected−1 test/docs004/input+1−1
test/docs004/expected−1
@@ -1,4 +1,3 @@
1−Type checking ./docs004.idr
21MkFoo : (bar : Nat) -> (baz : Bool) -> Foo a
32 Constructor for Foo
43 Arguments:
test/docs004/input+1−1
@@ -1,3 +1,3 @@
11:doc MkFoo
22:doc bar
3−:doc baz
3+:doc baz