git.iko.soy/Idris-dev
on master help sign in
Add Hash tests files to cabal
f33ce93Sebastian de Bellefon
idris.cabal+3
compare with master
unifiedsplit
@@ -302,6 +302,9 @@ Extra-source-files:
302 test/basic010/run
302 test/basic010/run
303 test/basic010/*.idr
303 test/basic010/*.idr
304 test/basic010/expected
304 test/basic010/expected
305+ test/basic011/run
306+ test/basic011/*.idr
307+ test/basic011/expected
305
308
306 test/buffer001-disabled/*.idr
309 test/buffer001-disabled/*.idr
307 test/buffer001-disabled/run
310 test/buffer001-disabled/run