@@ -600,8 +600,10 @@ Extra-source-files:
600 test/primitives005/*.idr
600 test/primitives005/*.idr
601 test/primitives005/expected
601 test/primitives005/expected
603+ test/primitives006/run
603 test/primitives006/array.c
604 test/primitives006/array.c
604 test/primitives006/array.h
605 test/primitives006/array.h
606+ test/primitives006/load-test.idr
605 test/primitives006/Data/Bytes.idr
607 test/primitives006/Data/Bytes.idr
606 test/primitives006/Data/ByteArray.idr
608 test/primitives006/Data/ByteArray.idr
607 test/primitives006/expected
609 test/primitives006/expected