@@ -91,6 +91,8 @@ Extra-source-files:
91 libs/prelude/prelude.ipkg
91 libs/prelude/prelude.ipkg
92 libs/prelude/Prelude/*.idr
92 libs/prelude/Prelude/*.idr
93 libs/prelude/Decidable/*.idr
93 libs/prelude/Decidable/*.idr
94+ libs/prelude/Language/*.idr
95+ libs/prelude/Language/Reflection/*.idr
94 libs/prelude/Makefile
96 libs/prelude/Makefile
95 libs/prelude/*.idr
97 libs/prelude/*.idr
@@ -103,7 +105,6 @@ Extra-source-files:
103 libs/base/Data/Vect/*.idr
105 libs/base/Data/Vect/*.idr
104 libs/base/Debug/*.idr
106 libs/base/Debug/*.idr
105 libs/base/Decidable/*.idr
107 libs/base/Decidable/*.idr
106− libs/base/Language/*.idr
107 libs/base/Language/Reflection/*.idr
108 libs/base/Language/Reflection/*.idr
108 libs/base/Makefile
109 libs/base/Makefile
109 libs/base/Network/*.idr
110 libs/base/Network/*.idr
@@ -358,6 +359,9 @@ Extra-source-files:
358 test/error004/run
359 test/error004/run
359 test/error004/*.idr
360 test/error004/*.idr
360 test/error004/expected
361 test/error004/expected
364+ test/error005/expected
362 test/ffi001/run
366 test/ffi001/run
363 test/ffi001/*.idr
367 test/ffi001/*.idr