git.iko.soy/Idris-dev
on master help sign in
Add buffer tests to the distribution
55b241aShea Levy
idris.cabal+4
compare with master
unifiedsplit
@@ -236,6 +236,10 @@ Extra-source-files:
236 test/basic009/expected
236 test/basic009/expected
237 test/basic009/B/*.idr
237 test/basic009/B/*.idr
238
238
239+ test/buffer001/*.idr
240+ test/buffer001/run
241+ test/buffer001/expected
242+
239 test/dsl001/run
243 test/dsl001/run
240 test/dsl001/*.idr
244 test/dsl001/*.idr
241 test/dsl001/expected
245 test/dsl001/expected