Add the test to the cabal file.
commit4ed91782890502cf261db109b4cff3d4effcf4a1
authorMatus Tejiscak <ziman@functor.sk>
dateSun 20 Apr 2014, 15:07 (13 years ago)
parent17ff3b5
idris.cabal+3
@@ -230,6 +230,9 @@ Extra-source-files:
230230 test/reg039/run
231231 test/reg039/*.idr
232232 test/reg039/expected
233+ test/reg040/run
234+ test/reg040/*.idr
235+ test/reg040/expected
233236
234237 test/basic001/run
235238 test/basic001/*.idr