Add tests test033 and test034 to cabal file
commit254a45201abc4ba2acf230b57c0adb5ad97bfa26
authorMarkus Pfeiffer <markusp@mcs.st-andrews.ac.uk>
dateTue 19 Nov 2013, 15:07 (13 years ago)
parentc5444ac
idris.cabal+4
@@ -274,6 +274,10 @@ Extra-source-files:
274274 test/test032/*.idr
275275 test/test032/input
276276 test/test032/expected
277+ test/test033/*.idr
278+ test/test033/expected
279+ test/test034/*.idr
280+ test/test034/expected
277281
278282source-repository head
279283 type: git