git.iko.soy/Idris-dev
on master help sign in
Added missing expected file
ae7bdd1Jan de Muijnck-Hughes
idris.cabal+1
compare with master
unifiedsplit
@@ -570,6 +570,7 @@ Extra-source-files:
570 test/pkg001/run
570 test/pkg001/run
571 test/pkg001/test.ipkg
571 test/pkg001/test.ipkg
572 test/pkg001/*.idr
572 test/pkg001/*.idr
573+ test/pkg001/expected
573
574
574 test/proof001/run
575 test/proof001/run
575 test/proof001/*.idr
576 test/proof001/*.idr
test/pkg001/expectednew file+1
@@ -0,0 +1 @@
1+Type checking ./Main.idr