@@ -175,6 +175,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
175175 test/test013/expected
176176 test/test014/run
177177 test/test014/*.idr
178+ test/test014/test
178179 test/test014/expected
179180 test/test015/run
180181 test/test015/*.idr
@@ -196,6 +197,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
196197 test/test020/expected
197198 test/test021/run
198199 test/test021/*.idr
200+ test/test021/testFile
199201 test/test021/expected
200202 test/test022/run
201203 test/test022/*.idr
@@ -205,12 +207,16 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
205207 test/test023/expected
206208 test/test024/run
207209 test/test024/*.idr
210+ test/test024/input
208211 test/test024/expected
209212 test/test025/run
210213 test/test025/*.idr
211214 test/test025/expected
212215 test/test026/run
213216 test/test026/*.idr
217+ test/test026/input
218+ test/test026/theType
219+ test/test026/theOtherType
214220 test/test026/expected
215221 test/test027/run
216222 test/test027/*.idr