@@ -734,6 +734,10 @@ Extra-source-files:
734 test/tutorial006/run
734 test/tutorial006/run
735 test/tutorial006/*.idr
735 test/tutorial006/*.idr
736 test/tutorial006/expected
736 test/tutorial006/expected
737+ test/tutorial007/run
738+ test/tutorial007/*.idr
739+ test/tutorial007/*.c
740+ test/tutorial007/expected
738 test/unique001/run
742 test/unique001/run
739 test/unique001/*.idr
743 test/unique001/*.idr