ccc2af0 · Idris-dev · git.iko.soy

idris.cabal+7−4

compare with master

unifiedsplit

@@ -465,10 +465,6 @@ Extra-source-files:

465 test/interactive007/run

466 test/interactive007/input

467 test/interactive007/expected

468− test/interactive008/run

469− test/interactive008/input

470− test/interactive008/*.idr

471− test/interactive008/expected

472

468

473 test/io001/run

469 test/io001/run

474 test/io001/*.idr

470 test/io001/*.idr

@@ -615,6 +611,13 @@ Extra-source-files:

615 test/unique003/*.idr

611 test/unique003/*.idr

616 test/unique003/expected

612 test/unique003/expected

617

613

614+ test/docs001/run

615+ test/docs001/input

616+ test/docs001/*.idr

617+ test/docs001/expected

618+

619+

620+

618source-repository head

621source-repository head

619 type: git

622 type: git

620 location: git://github.com/idris-lang/Idris-dev.git

623 location: git://github.com/idris-lang/Idris-dev.git

test/interactive008/interactive008.idr → test/docs001/docs001.idrrenamed

The content is the same.

test/interactive008/expected → test/docs001/expectedrenamed+3−3

@@ -1,5 +1,5 @@

1−Type checking ./interactive008.idr

1+Type checking ./docs001.idr

2−*interactive008> Type class C

2+*docs001> Type class C

3 class

4

5Parameters:

@@ -15,4 +15,4 @@ Instances:

15 C (D a b)

16 another instance of class

17 a -- parameter type

18−*interactive008> Bye bye

18+*docs001> Bye bye

test/interactive008/input → test/docs001/inputrenamed

The content is the same.

test/docs001/runnew file+3

@@ -0,0 +1,3 @@

1+#!/usr/bin/env bash

2+idris --nobanner --nocolor docs001.idr < input

3+rm *.ibc

test/interactive008/rundeleted−3

@@ -1,3 +0,0 @@

1−#!/usr/bin/env bash

2−idris --nobanner --nocolor interactive008.idr < input

3−rm *.ibc