@@ -247,6 +247,7 @@ Extra-source-files:
247 test/effects001/run
247 test/effects001/run
248 test/effects001/*.idr
248 test/effects001/*.idr
249 test/effects001/expected
249 test/effects001/expected
250+ test/effects001/testFile
250 test/effects002/run
251 test/effects002/run
251 test/effects002/*.idr
252 test/effects002/*.idr
252 test/effects002/expected
253 test/effects002/expected
@@ -273,6 +274,8 @@ Extra-source-files:
273 test/ffi003/run
274 test/ffi003/run
274 test/ffi003/*.idr
275 test/ffi003/*.idr
275 test/ffi003/expected
276 test/ffi003/expected
276 test/ffi004/run
279 test/ffi004/run
277 test/ffi004/*.idr
280 test/ffi004/*.idr
278 test/ffi004/input
281 test/ffi004/input