git.iko.soy/Idris-dev
on master help sign in
Remove unnecessary test
35b22b9Edwin Brady
idris.cabal−2
compare with master
unifiedsplit
@@ -234,8 +234,6 @@ Extra-source-files:
234 test/reg042/run
234 test/reg042/run
235 test/reg042/*.idr
235 test/reg042/*.idr
236 test/reg042/expected
236 test/reg042/expected
237− test/reg043/run
238− test/reg043/expected
239 test/reg044/run
237 test/reg044/run
240 test/reg044/*.idr
238 test/reg044/*.idr
241 test/reg044/expected
239 test/reg044/expected
test/reg043/expecteddeleted−1
@@ -1 +0,0 @@
1−take : (m : Fin 3) -> Vect 2 Nat -> Vect (finToNat m) Nat
test/reg043/rundeleted−3
@@ -1,3 +0,0 @@
1−#!/usr/bin/env bash
2−idris $@ --nocolour -e "Vect.take {n=2} {a=Nat}"
3−