@@ -421,6 +421,10 @@ Extra-source-files:
421 test/ffi006/run
421 test/ffi006/run
422 test/ffi006/expected
422 test/ffi006/expected
424+ test/folding001/*.idr
426+ test/folding001/expected
424 test/idrisdoc001/run
428 test/idrisdoc001/run
425 test/idrisdoc001/expected
429 test/idrisdoc001/expected
426 test/idrisdoc001/*.idr
430 test/idrisdoc001/*.idr