@@ -247,6 +247,7 @@ Extra-source-files:
247247 test/effects001/run
248248 test/effects001/*.idr
249249 test/effects001/expected
250+ test/effects001/testFile
250251 test/effects002/run
251252 test/effects002/*.idr
252253 test/effects002/expected
@@ -273,6 +274,8 @@ Extra-source-files:
273274 test/ffi003/run
274275 test/ffi003/*.idr
275276 test/ffi003/expected
277+ test/ffi003/input
278+ test/ffi003/output
276279 test/ffi004/run
277280 test/ffi004/*.idr
278281 test/ffi004/input