git.iko.soy/Idris-dev
on master help sign in
instance docs: rename testcase
commitccc2af014ae74b7d28f618cb4d3efe4fc27ff412 authorAdam Sandberg Eriksson <adam@sandbergericsson.se> dateFri 13 Mar 2015, 22:46 (12 years ago) parentc72c60a
6 files changed+13−10
compare with master
unifiedsplit
idris.cabal+7−4 test/interactive008/interactive008.idr → test/docs001/docs001.idr test/interactive008/expected → test/docs001/expected+3−3 test/interactive008/input → test/docs001/input test/docs001/run+3 test/interactive008/run−3
idris.cabal+7−4
@@ -465,10 +465,6 @@ Extra-source-files:
465465 test/interactive007/run
466466 test/interactive007/input
467467 test/interactive007/expected
468− test/interactive008/run
469− test/interactive008/input
470− test/interactive008/*.idr
471− test/interactive008/expected
472468
473469 test/io001/run
474470 test/io001/*.idr
@@ -615,6 +611,13 @@ Extra-source-files:
615611 test/unique003/*.idr
616612 test/unique003/expected
617613
614+ test/docs001/run
615+ test/docs001/input
616+ test/docs001/*.idr
617+ test/docs001/expected
618+
619+
620+
618621source-repository head
619622 type: git
620623 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
2−*interactive008> Type class C
1+Type checking ./docs001.idr
2+*docs001> Type class C
33 class
44
55Parameters:
@@ -15,4 +15,4 @@ Instances:
1515 C (D a b)
1616 another instance of class
1717 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