@@ -600,8 +600,10 @@ Extra-source-files:
600600 test/primitives005/*.idr
601601 test/primitives005/expected
602602
603+ test/primitives006/run
603604 test/primitives006/array.c
604605 test/primitives006/array.h
606+ test/primitives006/load-test.idr
605607 test/primitives006/Data/Bytes.idr
606608 test/primitives006/Data/ByteArray.idr
607609 test/primitives006/expected