@@ -465,6 +465,10 @@ Extra-source-files:
465 test/interactive007/run
465 test/interactive007/run
466 test/interactive007/input
466 test/interactive007/input
467 test/interactive007/expected
467 test/interactive007/expected
468+ test/interactive008/run
469+ test/interactive008/input
470+ test/interactive008/*.idr
471+ test/interactive008/expected
469 test/io001/run
473 test/io001/run
470 test/io001/*.idr
474 test/io001/*.idr