git.iko.soy/Idris-dev
on master help sign in
Add the test to the cabal file.
4ed9178Matus Tejiscak
idris.cabal+3
compare with master
unifiedsplit
@@ -230,6 +230,9 @@ Extra-source-files:
230 test/reg039/run
230 test/reg039/run
231 test/reg039/*.idr
231 test/reg039/*.idr
232 test/reg039/expected
232 test/reg039/expected
233+ test/reg040/run
234+ test/reg040/*.idr
235+ test/reg040/expected
233
236
234 test/basic001/run
237 test/basic001/run
235 test/basic001/*.idr
238 test/basic001/*.idr