git.iko.soy/Idris-dev
on master help sign in
Add missing regression tests to idris.cabal
d4dfcc3Melvar Chen
idris.cabal+12
compare with master
unifiedsplit
@@ -177,6 +177,18 @@ Extra-source-files:
177 test/reg024/run
177 test/reg024/run
178 test/reg024/*.idr
178 test/reg024/*.idr
179 test/reg024/expected
179 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
180 test/reg029/run
192 test/reg029/run
181 test/reg029/*.idr
193 test/reg029/*.idr
182 test/reg029/expected
194 test/reg029/expected