Add newer tests to idris.cabal
commit911f5d72ec3c6e32de5a5e86128e6a3f95654acd
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateWed 11 Sep 2013, 09:55 (13 years ago)
parent2a0885e
idris.cabal+6
@@ -227,6 +227,12 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
227227 test/test028/run
228228 test/test028/*.idr
229229 test/test028/expected
230+ test/test029/run
231+ test/test029/*.idr
232+ test/test029/expected
233+ test/test030/run
234+ test/test030/*.idr
235+ test/test030/expected
230236
231237
232238source-repository head