Add buffer tests to the distribution
commit55b241a1fadf6cf6d2af371f9c4be56040fe2ce6
authorShea Levy <shea@shealevy.com>
dateThu 30 Jan 2014, 22:18 (13 years ago)
parentdafb098
idris.cabal+4
@@ -236,6 +236,10 @@ Extra-source-files:
236236 test/basic009/expected
237237 test/basic009/B/*.idr
238238
239+ test/buffer001/*.idr
240+ test/buffer001/run
241+ test/buffer001/expected
242+
239243 test/dsl001/run
240244 test/dsl001/*.idr
241245 test/dsl001/expected