Add folding001 test to cabal
commitd2e86255618ac38fd474a85c9dfa54204cda5c65
authorNiklas Larsson <niklas@mm.st>
dateThu 16 Apr 2015, 23:16 (12 years ago)
parentc308d09
idris.cabal+4
@@ -421,6 +421,10 @@ Extra-source-files:
421421 test/ffi006/run
422422 test/ffi006/expected
423423
424+ test/folding001/*.idr
425+ test/folding001/run
426+ test/folding001/expected
427+
424428 test/idrisdoc001/run
425429 test/idrisdoc001/expected
426430 test/idrisdoc001/*.idr