@@ -392,6 +392,10 @@ Extra-source-files:
392 test/interactive005/input
392 test/interactive005/input
393 test/interactive005/*.idr
393 test/interactive005/*.idr
394 test/interactive005/expected
394 test/interactive005/expected
395+ test/interactive006/run
396+ test/interactive006/input
397+ test/interactive006/*.idr
398+ test/interactive006/expected
396 test/io001/run
400 test/io001/run
397 test/io001/*.idr
401 test/io001/*.idr