Add missing regression tests to idris.cabal
commitd4dfcc312b6509e3e9670db039eae3a2bb9450e2
authorMelvar Chen <Melvar.Chen@googlemail.com>
dateFri 20 Dec 2013, 20:57 (13 years ago)
parent2fe2eca
idris.cabal+12
@@ -177,6 +177,18 @@ Extra-source-files:
177177 test/reg024/run
178178 test/reg024/*.idr
179179 test/reg024/expected
180+ test/reg025/run
181+ test/reg025/*.idr
182+ test/reg025/expected
183+ test/reg026/run
184+ test/reg026/*.idr
185+ test/reg026/expected
186+ test/reg027/run
187+ test/reg027/*.idr
188+ test/reg027/expected
189+ test/reg028/run
190+ test/reg028/*.idr
191+ test/reg028/expected
180192 test/reg029/run
181193 test/reg029/*.idr
182194 test/reg029/expected