72b9990 · Idris-dev · git.iko.soy

idris.cabal+6

@@ -320,6 +320,12 @@ Extra-source-files:

320 test/test037/run

321 test/test037/expected

322 test/test037/*.idr

323+ test/test039/run

324+ test/test039/expected

325+ test/test039/*.idr

326+ test/test040/run

327+ test/test040/expected

328+ test/test040/*.idr

323

329

324source-repository head

330source-repository head

325 type: git

331 type: git

test/test038/expected → test/test039/expectedrenamed

The content is the same.

test/test038/run → test/test039/runrenamed

The content is the same.

test/test038/test038.idr → test/test039/test038.idrrenamed

The content is the same.

test/test040/run+1−1

@@ -2,4 +2,4 @@

2idris $@ Main.idr --nocolour --check && echo MAIN-PASS

3idris $@ Faulty.idr --nocolour --check && echo FAULTY-PASS

4idris $@ Multiple.idr --nocolour --check && echo MULTIPLE-PASS

5−find -name \*.ibc -delete

5+rm -f *.ibc B/*.ibc