git.iko.soy/Idris-dev
on master help sign in
Add type providers docs test case to cabal file
774e2feAdam Sandberg Eriksson
idris.cabal+4
compare with master
unifiedsplit
@@ -615,6 +615,10 @@ Extra-source-files:
615 test/docs001/input
615 test/docs001/input
616 test/docs001/*.idr
616 test/docs001/*.idr
617 test/docs001/expected
617 test/docs001/expected
618+ test/docs002/run
619+ test/docs002/input
620+ test/docs002/*.idr
621+ test/docs002/expected
618
622
619
623
620
624