6db256a · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Fix formatting of some tests

Fix: - missing $IDRIS - missing/misplaced $@ - quotes around $@

commit6db256a18971852fbaa80d97b3eede87b472e0ef authorgpyh <yacine.hmito@gmail.com> dateSun 24 Jul 2016, 15:34 (10 years ago) parentc0e0d8f

64 files changed+93−93

compare with master

unifiedsplit

test/basic010/run+2−2

@@ -8,7 +8,7 @@ do

88done

1010if (which timeout&>/dev/null); then

11− timeout 10 idris $@ Main.idr --nocolour --check --warnreach -o basic010

11+ timeout 10 ${IDRIS:-idris} $@ Main.idr --nocolour --check --warnreach -o basic010

1212 timeout 5 ./basic010

1313else

1414 # From http://unix.stackexchange.com/questions/43340/how-to-introduce-timeout-for-shell-scripting

@@ -35,7 +35,7 @@ else

3535

3636 }

3737

38− timeout 10 "idris ${extraargs[*]} Main.idr --nocolour --check --warnreach -o basic010"

38+ timeout 10 "${IDRIS:-idris} ${extraargs[*]} Main.idr --nocolour --check --warnreach -o basic010"

3939 timeout 5 "./basic010"

4040fi

4141rm -f *.ibc basic010

test/docs001/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --quiet --nocolor 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} --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} --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 docs004.idr < input

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

33rm *.ibc

test/docs005/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --quiet --nocolor docs005.idr < input

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

33rm *.ibc

test/effects001/run+2−2

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} -p effects $@ test021.idr -o test021

3−${IDRIS:-idris} -p effects $@ test021a.idr -o test021a

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

3+${IDRIS:-idris} $@ -p effects test021a.idr -o test021a

44./test021

55./test021a

66rm -f test021 test021a *.ibc

test/effects002/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} -p effects $@ test025.idr -o test025

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

33./test025

44rm -f test025 *.ibc

test/ffi001/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --quiet --nocolour test022.idr --exec main

2+${IDRIS:-idris} $@ --quiet --nocolour test022.idr --exec main

33rm -f *.ibc

test/ffi002/run+1−1

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

11#!/usr/bin/env bash

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

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

33rm -f test023 *.ibc

test/ffi003/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --quiet --nocolour test024.idr --exec main < input

2+${IDRIS:-idris} $@ --quiet --nocolour test024.idr --exec main < input

33rm -f *.ibc

test/ffi004/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --quiet --nocolour --check test026.idr

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

33rm -f *.ibc

test/ffi006/run+1−1

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

11#!/usr/bin/env bash

22${IDRIS:-idris} $@ ffi006.idr --interface -o ffi006.o

3−${CC:=cc} ffi006.c ffi006.o `idris --include` `idris --link` -o ffi006

3+${CC:=cc} ffi006.c ffi006.o `${IDRIS:-idris} $@ --include` `${IDRIS:-idris} $@ --link` -o ffi006

44./ffi006

55rm -f ffi006 *.ibc *.o *.h

test/idrisdoc001/run+1−1

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

11#!/usr/bin/env bash

22# Tests that no documentation is built for empty and/or private-only namespaces

3−${IDRIS:-idris} --mkdoc test_empty.ipkg

3+${IDRIS:-idris} $@ --mkdoc test_empty.ipkg

44rm -rf *.ibc *_doc

test/idrisdoc002/run+2−2

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

11#!/usr/bin/env bash

22# Tests that documentation is generated for functions

3−${IDRIS:-idris} --mkdoc test_functions.ipkg

3+${IDRIS:-idris} $@ --mkdoc test_functions.ipkg

44[ -d test_functions_doc ] && echo "Functions are documented"

5−rm -rf *.ibc *_doc

5+rm -rf *.ibc *_doc

test/idrisdoc003/run+2−2

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

11#!/usr/bin/env bash

22# Tests that documentation is generated for data types

3−${IDRIS:-idris} --mkdoc test_datatypes.ipkg

3+${IDRIS:-idris} $@ --mkdoc test_datatypes.ipkg

44[ -d test_datatypes_doc ] && echo "Data types are documented"

5−rm -rf *.ibc *_doc

5+rm -rf *.ibc *_doc

test/idrisdoc004/run+2−2

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

11#!/usr/bin/env bash

22# Tests that documentation is generated for typeclasses

3−${IDRIS:-idris} --mkdoc test_typeclasses.ipkg

3+${IDRIS:-idris} $@ --mkdoc test_typeclasses.ipkg

44[ -d test_typeclasses_doc ] && echo "Typeclasses are documented"

5−rm -rf *.ibc *_doc

5+rm -rf *.ibc *_doc

test/idrisdoc005/run+2−2

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

11#!/usr/bin/env bash

22# Tests that references to other namespaces are traced

3−${IDRIS:-idris} --mkdoc test_tracing.ipkg

3+${IDRIS:-idris} $@ --mkdoc test_tracing.ipkg

44[ -f test_tracing_doc/docs/TestTracing.html ] && echo "TestTracing: Check"

55[ -f test_tracing_doc/docs/Prelude.Bool.html ] && echo "Prelude.Bool: Check"

6−rm -rf *.ibc *_doc

6+rm -rf *.ibc *_doc

test/idrisdoc006/run+3−3

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

11#!/usr/bin/env bash

22# Tests that documentation properly is merged with existent.

3−${IDRIS:-idris} --mkdoc package_a.ipkg

3+${IDRIS:-idris} $@ --mkdoc package_a.ipkg

44[ -f test_merge_doc/IdrisDoc ] && echo "IdrisDoc file written"

5−${IDRIS:-idris} --mkdoc package_b.ipkg

5+${IDRIS:-idris} $@ --mkdoc package_b.ipkg

66ls -1p test_merge_doc/docs

77if grep -q "href\\=\"docs/A.fully.Qualified.NAME\\.html\"" test_merge_doc/index.html; then

88 echo A.fully.Qualified.NAME is in the index

@@ -14,4 +14,4 @@ if grep -q "href\\=\"docs/B\\.html\"" test_merge_doc/index.html; then

1414else

1515 echo B is NOT in the index

1616fi

17−rm -rf *.ibc *_doc A/fully/Qualified/NAME.ibc

17+rm -rf *.ibc *_doc A/fully/Qualified/NAME.ibc

test/idrisdoc007/run+2−2

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

11#!/usr/bin/env bash

22# Tests that documentation only is written when safe

33mkdir do_not_delete_doc

4−${IDRIS:-idris} --mkdoc package.ipkg > nowhere

4+${IDRIS:-idris} $@ --mkdoc package.ipkg > nowhere

55echo Exit status $expects 1$: $?

6−rm -rf do_not_delete_doc *.ibc nowhere

6+rm -rf do_not_delete_doc *.ibc nowhere

test/idrisdoc008/run+2−2

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

11#!/usr/bin/env bash

22# Tests that documentation is generated for both public and abstract members.

3−${IDRIS:-idris} --mkdoc visibility.ipkg

3+${IDRIS:-idris} $@ --mkdoc visibility.ipkg

44[ -f visibility_doc/docs/Abstract.html ] && echo "Abstract members are documented"

55[ -f visibility_doc/docs/Visible.html ] && echo "Public members are documented"

6−rm -rf *.ibc *_doc

6+rm -rf *.ibc *_doc

test/interactive001/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --quiet test032.idr < input

2+${IDRIS:-idris} $@ --quiet test032.idr < input

33rm -f *.ibc

test/interactive002/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --quiet interactive002.idr < input

2+${IDRIS:-idris} $@ --quiet interactive002.idr < input

33rm -f *.ibc

test/interactive003/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --quiet interactive003.idr < input

2+${IDRIS:-idris} $@ --quiet interactive003.idr < input

33rm -f *.ibc

test/interactive004/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --quiet interactive004.idr < input

2+${IDRIS:-idris} $@ --quiet interactive004.idr < input

33rm -f *.ibc

test/interactive005/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --nocolour --quiet interactive005.idr --consolewidth 70 < input

2+${IDRIS:-idris} $@ --nocolour --quiet interactive005.idr --consolewidth 70 < input

33rm -f *.ibc

44rm -f hello.bytecode

55rm -f hello

test/interactive006/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --quiet --port 5000 interactive006.idr < input

2+${IDRIS:-idris} $@ --quiet --port 5000 interactive006.idr < input

33rm -f *.ibc

test/interactive007/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} -p contrib --nobanner --nocolor < input

2+${IDRIS:-idris} $@ -p contrib --nobanner --nocolor < input

test/interactive008/run+1−1

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

11#!/usr/bin/env bash

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

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

test/interactive009/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --quiet interactive009.idr < input

2+${IDRIS:-idris} $@ --quiet interactive009.idr < input

33rm -f *.ibc

test/interactive010/run+1−1

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

11#!/usr/bin/env bash

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

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

test/interactive011/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --quiet interactive011.idr < input

2+${IDRIS:-idris} $@ --quiet interactive011.idr < input

33rm -f *.ibc

test/interactive012/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --nocolour --consolewidth 70 --quiet interactive012.idr < input

2+${IDRIS:-idris} $@ --nocolour --consolewidth 70 --quiet interactive012.idr < input

33rm -f *.ibc

test/interactive013/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --quiet interactive013.idr < input

2+${IDRIS:-idris} $@ --quiet interactive013.idr < input

33rm -f *.ibc

test/meta002/run+1−1

@@ -3,5 +3,5 @@ ${IDRIS:-idris} $@ -p pruviloj --nocolour --check --consolewidth 70 DataDef.idr

33${IDRIS:-idris} $@ -p pruviloj --nocolour --check --consolewidth 70 Tacs.idr

44${IDRIS:-idris} $@ -p pruviloj --nocolour --check --consolewidth 70 AgdaStyleReflection.idr

55# Disabled due to excess memory consumption

6−# idris $@ -p pruviloj --nocolour --check --consolewidth 70 Deriving.idr

6+# ${IDRIS:-idris} $@ -p pruviloj --nocolour --check --consolewidth 70 Deriving.idr

77rm -f *.ibc

test/primitives002/run+1−1

@@ -48,7 +48,7 @@ for T in "${TESTS[@]}"

4848do

4949 echo ${T%% *} ${T##*#}

5050 generate_testfile "tmptest.idr" "${T%%#*}"

51− idris "$@" --quiet tmptest.idr -o tmptest || echo "missing primitive in ${CG}"

51+ ${IDRIS:-idris} $@ --quiet tmptest.idr -o tmptest || echo "missing primitive in ${CG}"

5252 ./tmptest <<<"${T##*#}"

5353 rm tmptest.idr tmptest.ibc tmptest

5454done

test/proof004/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --check $@ test035.idr

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

33rm -f *.ibc

test/proof005/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --check $@ DefaultArgSubstitutionSuccess.idr

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

33rm -f *.ibc

test/proof006/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --check $@ DefaultArgSubstitutionSyntax.idr

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

33rm -f *.ibc

test/proof007/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --nocolour --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 --check $@ ClaimAndUnfocus.idr

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

33rm -f *.ibc

test/proofsearch003/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --check proofsearch003.idr

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

33rm -f *.ibc

test/reg002/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} reg012.idr -o reg012

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

33./reg012

44rm -f reg012 *.ibc

test/reg003/run+2−2

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

11#!/usr/bin/env bash

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

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

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

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

44rm -f *.ibc

test/reg007/run+1−1

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

11#!/usr/bin/env bash

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

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

33rm -f *.ibc

test/reg023/run+1−1

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

11#!/usr/bin/env bash

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

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

33rm -f *.ibc

test/reg034/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --nocolour --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 --check reg035.idr

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

4−${IDRIS:-idris} --nocolour --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/reg039/run+2−2

@@ -7,7 +7,7 @@ do

77 extraargs=("${extraargs[@]}" "'$arg'")

88done

99if (which timeout&>/dev/null); then

10− timeout 60 idris $@ --nocolour reg039.idr --exec go

10+ timeout 60 ${IDRIS:-idris} $@ --nocolour reg039.idr --exec go

1111else

1212 # From http://unix.stackexchange.com/questions/43340/how-to-introduce-timeout-for-shell-scripting

1313 # Executes command with a timeout

@@ -30,6 +30,6 @@ else

3030 fi

3131

3232 }

33− timeout 60 "idris ${extraargs[*]} --nocolour reg039.idr --exec go"

33+ timeout 60 "${IDRIS:-idris} ${extraargs[*]} --nocolour reg039.idr --exec go"

3434 fi

3535 rm -f reg039 *.ibc

test/reg040/run+1−1

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

11#!/usr/bin/env bash

3−${IDRIS:-idris} --warnreach reg040.idr -o reg040

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

44./reg040

66rm -f reg040 *.ibc

test/reg044/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --nocolour 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} --nocolour --check $@ reg049.idr

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

33rm -f *.ibc

test/reg050/run+3−3

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --nocolour --check $@ working.idr

3−${IDRIS:-idris} --nocolour --check $@ badbangop.idr

4−${IDRIS:-idris} --nocolour --check $@ baddoublebang.idr

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

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

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

55rm -f *.ibc

test/reg054/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --nocolour $@ 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 $@ reg055.idr --check

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

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

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

44rm -f *.ibc

test/reg075/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --quiet reg075.idr < input

2+${IDRIS:-idris} $@ --quiet reg075.idr < input

33rm -f *.ibc

test/totality003/run+2−2

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

11#!/usr/bin/env bash

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

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

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

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

44rm -f *.ibc

test/totality009/run+3−3

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

11#!/usr/bin/env bash

22OPTS="--consolewidth infinite --nocolour"

3−${IDRIS:-idris} "$@" $OPTS --check TestLambdaImpossible

4−${IDRIS:-idris} "$@" $OPTS --check --warnpartial TestLambdaPossible

5−${IDRIS:-idris} "$@" $OPTS --check TestLambdaPossible2

3+${IDRIS:-idris} $@ $OPTS --check TestLambdaImpossible

4+${IDRIS:-idris} $@ $OPTS --check --warnpartial TestLambdaPossible

5+${IDRIS:-idris} $@ $OPTS --check TestLambdaPossible2

66rm -f *.ibc

test/tutorial001/run+1−1

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

11#!/usr/bin/env bash

2−${IDRIS:-idris} --check tutorial001.idr

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

33rm -f *.ibc

test/tutorial006/run+3−3

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

11#!/usr/bin/env bash

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

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

4−${IDRIS:-idris} --nocolour $@ 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/tutorial007/run+2−2

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

11#!/usr/bin/env bash

2−gcc -shared -fPIC nativetypes.c -o nativetypes.so

3−idris $@ tutorial007.idr -o tutorial007

2+${CC:-cc} -shared -fPIC nativetypes.c -o nativetypes.so

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

44./tutorial007

55rm -f tutorial007 *.ibc *.so sizefromc.txt

test/unique001/run+6−6

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

11#!/usr/bin/env bash

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

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

33./unique001

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

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 $@ unique002.idr --check

3−${IDRIS:-idris} --nocolour $@ 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 $@ unique003.idr --check

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

33rm -f *.ibc