Add type providers docs test case to cabal file
commit774e2fea98927da13d402e4eee96bc49ee027206
authorAdam Sandberg Eriksson <adam@sandbergericsson.se>
dateFri 13 Mar 2015, 23:52 (12 years ago)
parent972b2a5
idris.cabal+4
@@ -615,6 +615,10 @@ Extra-source-files:
615615 test/docs001/input
616616 test/docs001/*.idr
617617 test/docs001/expected
618+ test/docs002/run
619+ test/docs002/input
620+ test/docs002/*.idr
621+ test/docs002/expected
618622
619623
620624