Remove unnecessary test
commit35b22b9eb8e20af2514aebe4341709c518958cb5
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 10 Jun 2014, 19:55 (12 years ago)
parent1100e9b
idris.cabal−2
@@ -234,8 +234,6 @@ Extra-source-files:
234234 test/reg042/run
235235 test/reg042/*.idr
236236 test/reg042/expected
237− test/reg043/run
238− test/reg043/expected
239237 test/reg044/run
240238 test/reg044/*.idr
241239 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−