@@ -357,6 +357,13 @@ Extra-source-files:
357 test/bignum002/*.idr
357 test/bignum002/*.idr
358 test/bignum002/expected
358 test/bignum002/expected
360+ test/corecords001/*.idr
361+ test/corecords001/run
362+ test/corecords001/expected
363+ test/corecords002/*.idr
364+ test/corecords002/run
365+ test/corecords002/expected
360 test/delab001/*.idr
367 test/delab001/*.idr
361 test/delab001/run
368 test/delab001/run
362 test/delab001/expected
369 test/delab001/expected