@@ -175,6 +175,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
175 test/test013/expected
175 test/test013/expected
176 test/test014/run
176 test/test014/run
177 test/test014/*.idr
177 test/test014/*.idr
178 test/test014/expected
179 test/test014/expected
179 test/test015/run
180 test/test015/run
180 test/test015/*.idr
181 test/test015/*.idr
@@ -196,6 +197,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
196 test/test020/expected
197 test/test020/expected
197 test/test021/run
198 test/test021/run
198 test/test021/*.idr
199 test/test021/*.idr
200+ test/test021/testFile
199 test/test021/expected
201 test/test021/expected
200 test/test022/run
202 test/test022/run
201 test/test022/*.idr
203 test/test022/*.idr
@@ -205,12 +207,16 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
205 test/test023/expected
207 test/test023/expected
206 test/test024/run
208 test/test024/run
207 test/test024/*.idr
209 test/test024/*.idr
208 test/test024/expected
211 test/test024/expected
209 test/test025/run
212 test/test025/run
210 test/test025/*.idr
213 test/test025/*.idr
211 test/test025/expected
214 test/test025/expected
212 test/test026/run
215 test/test026/run
213 test/test026/*.idr
216 test/test026/*.idr
218+ test/test026/theType
219+ test/test026/theOtherType
214 test/test026/expected
220 test/test026/expected
215 test/test027/run
221 test/test027/run
216 test/test027/*.idr
222 test/test027/*.idr