git.iko.soy/Idris-dev

on master help sign in

test/basic002/run+1−1

@@ -1,4 +1,4 @@

11#!/usr/bin/env bash

2−${IDRIS:-idris} $@ --nocolour --consolewidth 80 test006.idr -o test006

2+${IDRIS:-idris} $@ --nocolour test006.idr -o test006

33./test006

44rm -f test006 test006.ibc

test/basic006/run+2−2

@@ -1,6 +1,6 @@

11#!/usr/bin/env bash

22

3−${IDRIS:-idris} --consolewidth 80 $@ test020.idr -o test020

4−${IDRIS:-idris} --consolewidth 80 $@ test020a.idr --check --nocolor

3+${IDRIS:-idris} $@ test020.idr -o test020

4+${IDRIS:-idris} $@ test020a.idr --check --nocolor

55./test020

66rm -f test020 *.ibc

test/basic009/run+3−3

@@ -1,8 +1,8 @@

11#!/usr/bin/env bash

22

3−${IDRIS:-idris} --consolewidth 80 $@ Main.idr --nocolour --check && echo MAIN-PASS

4−${IDRIS:-idris} --consolewidth 80 $@ Faulty.idr --nocolour --check && echo FAULTY-PASS

5−${IDRIS:-idris} --consolewidth 80 $@ Multiple.idr --nocolour --check && echo MULTIPLE-PASS

3+${IDRIS:-idris} $@ Main.idr --nocolour --check && echo MAIN-PASS

4+${IDRIS:-idris} $@ Faulty.idr --nocolour --check && echo FAULTY-PASS

5+${IDRIS:-idris} $@ Multiple.idr --nocolour --check && echo MULTIPLE-PASS

66

77

88rm -f *.ibc B/*.ibc

test/basic016/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} $@ CycleA.idr --consolewidth 80 --nocolour --check

2+${IDRIS:-idris} $@ CycleA.idr --nocolour --check

33rm -f *.ibc

test/basic017/run+2−2

@@ -1,4 +1,4 @@

11#!/usr/bin/env bash

2−${IDRIS:-idris} $@ basic017.idr --check --nocolor --consolewidth 80

3−${IDRIS:-idris} $@ basic017a.idr --check --nocolor --consolewidth 80

2+${IDRIS:-idris} $@ basic017.idr --check --nocolor

3+${IDRIS:-idris} $@ basic017a.idr --check --nocolor

44rm -f *.ibc

test/docs001/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --quiet --nocolor --consolewidth 80 docs001.idr < input

2+${IDRIS:-idris} --quiet --nocolor docs001.idr < input

33rm *.ibc

test/docs002/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 --nobanner --nocolor --quiet docs002.idr < input

2+${IDRIS:-idris} --nobanner --nocolor --quiet docs002.idr < input

33rm *.ibc

test/docs003/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 --quiet --nocolor docs003.idr < input

2+${IDRIS:-idris} --quiet --nocolor docs003.idr < input

33rm *.ibc

test/docs004/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --quiet --nocolor --consolewidth 80 docs004.idr < input

2+${IDRIS:-idris} --quiet --nocolor docs004.idr < input

33rm *.ibc

test/effects003/run+1−1

@@ -1,4 +1,4 @@

11#!/usr/bin/env bash

2−${IDRIS:-idris} $@ hangman.idr --consolewidth 80 --nocolour -p effects -o hangman

2+${IDRIS:-idris} $@ hangman.idr --nocolour -p effects -o hangman

33./hangman < input

44rm -f hangman *.ibc

test/error003/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 $@ ErrorReflection.idr --nocolour --check

2+${IDRIS:-idris} $@ ErrorReflection.idr --nocolour --check

33rm -f *.ibc

test/error004/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 $@ FunErrTest.idr --nocolour --check

2+${IDRIS:-idris} $@ FunErrTest.idr --nocolour --check

33rm -f *.ibc

test/error005/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 $@ --check --nocolour error005.idr

2+${IDRIS:-idris} $@ --check --nocolour error005.idr

33rm -f *.ibc

test/error006/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 $@ --check --nocolour WithPatsNoWith.idr

2+${IDRIS:-idris} $@ --check --nocolour WithPatsNoWith.idr

33rm -f *.ibc

test/ffi002/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 --quiet test023.idr -o test023

2+${IDRIS:-idris} --quiet test023.idr -o test023

33rm -f test023 *.ibc

test/interactive010/run+1−1

@@ -1,2 +1,2 @@

11#!/usr/bin/env bash

2−${IDRIS:-idris} --quiet --nobanner --nocolor --consolewidth 80 < input

2+${IDRIS:-idris} --quiet --nobanner --nocolor < input

test/literate001/run+2−2

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 $@ test003a.lidr --check

3−${IDRIS:-idris} --consolewidth 80 $@ test003.lidr -o test003

2+${IDRIS:-idris} $@ test003a.lidr --check

3+${IDRIS:-idris} $@ test003.lidr -o test003

44./test003

55rm -f test003 test003.ibc Lit.ibc

test/proof001/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} $@ test029.idr --consolewidth 80 --nocolour --check test029

2+${IDRIS:-idris} $@ test029.idr --nocolour --check test029

33rm -f *.ibc

test/proof002/run+2−2

@@ -1,4 +1,4 @@

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 $@ test030.idr --check --nocolour

3−${IDRIS:-idris} --consolewidth 80 $@ test030a.idr --check --nocolour

2+${IDRIS:-idris} $@ test030.idr --check --nocolour

3+${IDRIS:-idris} $@ test030a.idr --check --nocolour

44rm -f *.ibc

test/proof003/run+1−1

@@ -1,4 +1,4 @@

11#!/usr/bin/env bash

2−${IDRIS:-idris} $@ test015.idr --nocolour --consolewidth 80 -o test015

2+${IDRIS:-idris} $@ test015.idr --nocolour -o test015

33./test015

44rm -f test015 Parity.ibc test015.ibc

test/proof007/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --nocolour --consolewidth 80 --check $@ DefaultArgUnknownName.idr

2+${IDRIS:-idris} --nocolour --check $@ DefaultArgUnknownName.idr

33rm -f *.ibc

test/proof008/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --nocolour --consolewidth 80 --check $@ ClaimAndUnfocus.idr

2+${IDRIS:-idris} --nocolour --check $@ ClaimAndUnfocus.idr

33rm -f *.ibc

test/quasiquote003/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 $@ --check NoInfer.idr

2+${IDRIS:-idris} $@ --check NoInfer.idr

33rm -f *.ibc

test/quasiquote004/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 $@ --check --nocolour Quasiquote004.idr

2+${IDRIS:-idris} $@ --check --nocolour Quasiquote004.idr

33rm -f *.ibc

test/reg003/run+2−2

@@ -1,4 +1,4 @@

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 --check reg003.idr

3−${IDRIS:-idris} --consolewidth 80 --check reg003a.idr

2+${IDRIS:-idris} --check reg003.idr

3+${IDRIS:-idris} --check reg003a.idr

44rm -f *.ibc

test/reg006/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 $@ reg006.idr --check

2+${IDRIS:-idris} $@ reg006.idr --check

33rm -f *.ibc

test/reg007/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 --nocolour --check $@ reg007.lidr

2+${IDRIS:-idris} --nocolour --check $@ reg007.lidr

33rm -f *.ibc

test/reg010/run+1−1

@@ -1,2 +1,2 @@

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 $@ reg010.idr --check --nocolour

2+${IDRIS:-idris} $@ reg010.idr --check --nocolour

test/reg017/run+1−1

@@ -1,4 +1,4 @@

11#!/usr/bin/env bash

2−${IDRIS:-idris} $@ --nocolour --consolewidth 80 reg017.idr -o reg017

2+${IDRIS:-idris} $@ --nocolour reg017.idr -o reg017

33./reg017

44rm -f reg017 *.ibc

test/reg018/run+4−4

@@ -1,6 +1,6 @@

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 $@ reg018a.idr --check

3−${IDRIS:-idris} --consolewidth 80 $@ reg018b.idr --check

4−${IDRIS:-idris} --consolewidth 80 $@ reg018c.idr --check

5−${IDRIS:-idris} --consolewidth 80 $@ reg018d.idr --check

2+${IDRIS:-idris} $@ reg018a.idr --check

3+${IDRIS:-idris} $@ reg018b.idr --check

4+${IDRIS:-idris} $@ reg018c.idr --check

5+${IDRIS:-idris} $@ reg018d.idr --check

66rm *.ibc

test/reg023/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --nocolour --consolewidth 80 $@ reg023.idr --check

2+${IDRIS:-idris} --nocolour $@ reg023.idr --check

33rm -f *.ibc

test/reg027/run+2−2

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 $@ reg027.idr -o reg027

2+${IDRIS:-idris} $@ reg027.idr -o reg027

33./reg027

4−${IDRIS:-idris} --consolewidth 80 $@ reg027a.idr --check

4+${IDRIS:-idris} $@ reg027a.idr --check

55rm -f reg027 *.ibc

test/reg028/run+2−2

@@ -1,4 +1,4 @@

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 $@ reg028.idr --check

3−${IDRIS:-idris} --consolewidth 80 $@ reg028a.idr --check

2+${IDRIS:-idris} $@ reg028.idr --check

3+${IDRIS:-idris} $@ reg028a.idr --check

44rm -f *.ibc

test/reg034/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --nocolour --consolewidth 80 --check reg034.idr

2+${IDRIS:-idris} --nocolour --check reg034.idr

33rm -f reg034 *.ibc

test/reg035/run+3−3

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --nocolour --consolewidth 80 --check reg035.idr

3−${IDRIS:-idris} --nocolour --consolewidth 80 --check reg035a.lidr

4−${IDRIS:-idris} --nocolour --consolewidth 80 --check reg035b.idr

2+${IDRIS:-idris} --nocolour --check reg035.idr

3+${IDRIS:-idris} --nocolour --check reg035a.lidr

4+${IDRIS:-idris} --nocolour --check reg035b.idr

55rm -f *.ibc

test/reg044/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --nocolour --consolewidth 80 reg044.idr --check

2+${IDRIS:-idris} --nocolour reg044.idr --check

33rm -f *.ibc

test/reg049/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 --nocolour --check $@ reg049.idr

2+${IDRIS:-idris} --nocolour --check $@ reg049.idr

33rm -f *.ibc

test/reg054/run+1−1

@@ -1,2 +1,2 @@

11#!/usr/bin/env bash

2−${IDRIS:-idris} --nocolour --consolewidth 80 $@ reg054.idr --check

2+${IDRIS:-idris} --nocolour $@ reg054.idr --check

test/reg055/run+2−2

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --nocolour --consolewidth 80 $@ reg055.idr --check

3−${IDRIS:-idris} --nocolour --consolewidth 80 $@ reg055a.idr --check

2+${IDRIS:-idris} --nocolour $@ reg055.idr --check

3+${IDRIS:-idris} --nocolour $@ reg055a.idr --check

44rm -f *.ibc

55

test/reg056/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 $@ reg056.idr -o reg056

2+${IDRIS:-idris} $@ reg056.idr -o reg056

33rm -f *.ibc

test/sourceLocation001/run+1−1

@@ -1,4 +1,4 @@

11#!/usr/bin/env bash

2−${IDRIS:-idris} $@ --nocolour --consolewidth 80 SourceLoc.idr -o sourceLocation001

2+${IDRIS:-idris} $@ --nocolour SourceLoc.idr -o sourceLocation001

33./sourceLocation001

44rm -f sourceLocation001 *.ibc

test/syntax001/run+2−2

@@ -1,4 +1,4 @@

11#!/usr/bin/env bash

2−${IDRIS:-idris} $@ Syntax.idr --nocolour --consolewidth 80 --check

3−${IDRIS:-idris} $@ SyntaxTest.idr --nocolour --consolewidth 80 --check

2+${IDRIS:-idris} $@ Syntax.idr --nocolour --check

3+${IDRIS:-idris} $@ SyntaxTest.idr --nocolour --check

44rm -f *.ibc

test/totality001/run+3−3

@@ -1,6 +1,6 @@

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 $@ --check test010.idr

3−${IDRIS:-idris} --consolewidth 80 $@ --check test010a.idr

4−${IDRIS:-idris} --consolewidth 80 $@ --check test010b.idr

2+${IDRIS:-idris} $@ --check test010.idr

3+${IDRIS:-idris} $@ --check test010a.idr

4+${IDRIS:-idris} $@ --check test010b.idr

55

66rm -f *.ibc

test/totality002/run+3−3

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 $@ --check test017.idr

3−${IDRIS:-idris} --consolewidth 80 $@ --check test017a.idr

4−${IDRIS:-idris} --consolewidth 80 $@ --check test017b.idr

2+${IDRIS:-idris} $@ --check test017.idr

3+${IDRIS:-idris} $@ --check test017a.idr

4+${IDRIS:-idris} $@ --check test017b.idr

55rm -f *.ibc

test/totality003/run+2−2

@@ -1,4 +1,4 @@

11#!/usr/bin/env bash

2−${IDRIS:-idris} --nocolour --consolewidth 80 $@ totality003.idr --check

3−${IDRIS:-idris} --nocolour --consolewidth 80 $@ totality003a.idr --check

2+${IDRIS:-idris} --nocolour $@ totality003.idr --check

3+${IDRIS:-idris} --nocolour $@ totality003a.idr --check

44rm -f *.ibc

test/totality004/run+2−2

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 $@ totality004.idr -o totality004

2+${IDRIS:-idris} $@ totality004.idr -o totality004

33./totality004

4−${IDRIS:-idris} --consolewidth 80 $@ --check totality004a.idr

4+${IDRIS:-idris} $@ --check totality004a.idr

55rm -f totality004 *.ibc

test/totality006/run+3−3

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 $@ totality006.idr --check

3−${IDRIS:-idris} --consolewidth 80 $@ totality006a.idr --check

4−${IDRIS:-idris} --consolewidth 80 $@ totality006b.idr --check

2+${IDRIS:-idris} $@ totality006.idr --check

3+${IDRIS:-idris} $@ totality006a.idr --check

4+${IDRIS:-idris} $@ totality006b.idr --check

55rm -f *.ibc

test/totality008/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --consolewidth 80 $@ totality008.idr --check

2+${IDRIS:-idris} $@ totality008.idr --check

33rm -f *.ibc

test/totality010/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} $@ totality010.idr --nocolour --consolewidth 80 --check

2+${IDRIS:-idris} $@ totality010.idr --nocolour --check

33rm -f *.ibc

test/tutorial002/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} $@ --nocolour --consolewidth 80 tutorial002.idr --check

2+${IDRIS:-idris} $@ --nocolour tutorial002.idr --check

33rm -f *.ibc

test/tutorial004/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} $@ tutorial004.idr --check --nocolour --consolewidth 80

2+${IDRIS:-idris} $@ tutorial004.idr --check --nocolour

33rm -f *.ibc

test/tutorial006/run+3−3

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --nocolour --consolewidth 80 $@ tutorial006a.idr --check

3−${IDRIS:-idris} --nocolour --consolewidth 80 $@ tutorial006b.idr --check

4−${IDRIS:-idris} --nocolour --consolewidth 80 $@ tutorial006c.idr -p effects --check

2+${IDRIS:-idris} --nocolour $@ tutorial006a.idr --check

3+${IDRIS:-idris} --nocolour $@ tutorial006b.idr --check

4+${IDRIS:-idris} --nocolour $@ tutorial006c.idr -p effects --check

55rm -f *.ibc

test/unique001/run+6−6

@@ -1,9 +1,9 @@

11#!/usr/bin/env bash

2−${IDRIS:-idris} --nocolour --consolewidth 80 $@ unique001.idr -o unique001

2+${IDRIS:-idris} --nocolour $@ unique001.idr -o unique001

33./unique001

4−${IDRIS:-idris} --nocolour --consolewidth 80 $@ unique001a.idr --check

5−${IDRIS:-idris} --nocolour --consolewidth 80 $@ unique001b.idr --check

6−${IDRIS:-idris} --nocolour --consolewidth 80 $@ unique001c.idr --check

7−${IDRIS:-idris} --nocolour --consolewidth 80 $@ unique001d.idr --check

8−${IDRIS:-idris} --nocolour --consolewidth 80 $@ unique001e.idr --check

4+${IDRIS:-idris} --nocolour $@ unique001a.idr --check

5+${IDRIS:-idris} --nocolour $@ unique001b.idr --check

6+${IDRIS:-idris} --nocolour $@ unique001c.idr --check

7+${IDRIS:-idris} --nocolour $@ unique001d.idr --check

8+${IDRIS:-idris} --nocolour $@ unique001e.idr --check

99rm -f unique001 *.ibc

test/unique002/run+2−2

@@ -1,4 +1,4 @@

11#!/usr/bin/env bash

2−${IDRIS:-idris} --nocolour --consolewidth 80 $@ unique002.idr --check

3−${IDRIS:-idris} --nocolour --consolewidth 80 $@ unique002a.idr --check

2+${IDRIS:-idris} --nocolour $@ unique002.idr --check

3+${IDRIS:-idris} --nocolour $@ unique002a.idr --check

44rm -f *.ibc

test/unique003/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --nocolour --consolewidth 80 $@ unique003.idr --check

2+${IDRIS:-idris} --nocolour $@ unique003.idr --check

33rm -f *.ibc