@@ -91,6 +91,8 @@ Extra-source-files:
9191 libs/prelude/prelude.ipkg
9292 libs/prelude/Prelude/*.idr
9393 libs/prelude/Decidable/*.idr
94+ libs/prelude/Language/*.idr
95+ libs/prelude/Language/Reflection/*.idr
9496 libs/prelude/Makefile
9597 libs/prelude/*.idr
9698
@@ -103,7 +105,6 @@ Extra-source-files:
103105 libs/base/Data/Vect/*.idr
104106 libs/base/Debug/*.idr
105107 libs/base/Decidable/*.idr
106− libs/base/Language/*.idr
107108 libs/base/Language/Reflection/*.idr
108109 libs/base/Makefile
109110 libs/base/Network/*.idr
@@ -358,6 +359,9 @@ Extra-source-files:
358359 test/error004/run
359360 test/error004/*.idr
360361 test/error004/expected
362+ test/error005/run
363+ test/error005/*.idr
364+ test/error005/expected
361365
362366 test/ffi001/run
363367 test/ffi001/*.idr