git.iko.soy/Idris-dev
on master help sign in
Added missing expected file
commitae7bdd1f22665cdedee30ddd47028db6f7aa7f6d authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk> dateMon 28 Sep 2015, 13:26 (11 years ago) parent824d0e3
2 files changed+2
compare with master
unifiedsplit
idris.cabal+1 test/pkg001/expected+1
idris.cabal+1
@@ -570,6 +570,7 @@ Extra-source-files:
570570 test/pkg001/run
571571 test/pkg001/test.ipkg
572572 test/pkg001/*.idr
573+ test/pkg001/expected
573574
574575 test/proof001/run
575576 test/proof001/*.idr
test/pkg001/expectednew file+1
@@ -0,0 +1 @@
1+Type checking ./Main.idr