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

test/basic010/run+2−2

compare with master

unifiedsplit

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

8done

9

10if (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

12 timeout 5 ./basic010

13else

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

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

35

36 }

37

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"

39 timeout 5 "./basic010"

40fi

41rm -f *.ibc basic010

test/docs001/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm *.ibc

test/docs002/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm *.ibc

test/docs003/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm *.ibc

test/docs004/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm *.ibc

test/docs005/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm *.ibc

test/effects001/run+2−2

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

1#!/usr/bin/env bash

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

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

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

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

4./test021

5./test021a

6rm -f test021 test021a *.ibc

test/effects002/run+1−1

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

1#!/usr/bin/env bash

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

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

3./test025

4rm -f test025 *.ibc

test/ffi001/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/ffi002/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f test023 *.ibc

test/ffi003/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/ffi004/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/ffi006/run+1−1

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

1#!/usr/bin/env bash

2${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

4./ffi006

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

test/idrisdoc001/run+1−1

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

1#!/usr/bin/env bash

2# 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

4rm -rf *.ibc *_doc

test/idrisdoc002/run+2−2

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

1#!/usr/bin/env bash

2# Tests that documentation is generated for functions

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

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

4[ -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 @@

1#!/usr/bin/env bash

2# Tests that documentation is generated for data types

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

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

4[ -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 @@

1#!/usr/bin/env bash

2# Tests that documentation is generated for typeclasses

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

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

4[ -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 @@

1#!/usr/bin/env bash

2# Tests that references to other namespaces are traced

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

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

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

5[ -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 @@

1#!/usr/bin/env bash

2# Tests that documentation properly is merged with existent.

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

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

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

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

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

6ls -1p test_merge_doc/docs

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

8 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

14else

15 echo B is NOT in the index

16fi

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 @@

1#!/usr/bin/env bash

2# Tests that documentation only is written when safe

3mkdir do_not_delete_doc

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

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

5echo 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 @@

1#!/usr/bin/env bash

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

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

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

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

5[ -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 @@

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/interactive002/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/interactive003/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/interactive004/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/interactive005/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

4rm -f hello.bytecode

5rm -f hello

test/interactive006/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/interactive007/run+1−1

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

1#!/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 @@

1#!/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 @@

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/interactive010/run+1−1

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

1#!/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 @@

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/interactive012/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/interactive013/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/meta002/run+1−1

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

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

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

5# 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

7rm -f *.ibc

test/primitives002/run+1−1

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

48do

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

50 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}"

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

53 rm tmptest.idr tmptest.ibc tmptest

54done

test/proof004/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/proof005/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/proof006/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/proof007/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/proof008/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/proofsearch003/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/reg002/run+1−1

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

1#!/usr/bin/env bash

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

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

3./reg012

4rm -f reg012 *.ibc

test/reg003/run+2−2

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

1#!/usr/bin/env bash

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

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

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

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

4rm -f *.ibc

test/reg007/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/reg023/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/reg034/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f reg034 *.ibc

test/reg035/run+3−3

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

1#!/usr/bin/env bash

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

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

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

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

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

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

5rm -f *.ibc

test/reg039/run+2−2

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

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

8done

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

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

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

11else

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

13 # Executes command with a timeout

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

30 fi

31

32 }

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

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

34 fi

35 rm -f reg039 *.ibc

test/reg040/run+1−1

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

1#!/usr/bin/env bash

2

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

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

4./reg040

5

6rm -f reg040 *.ibc

test/reg044/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/reg049/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/reg050/run+3−3

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

1#!/usr/bin/env bash

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

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

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

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

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

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

5rm -f *.ibc

test/reg054/run+1−1

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

1#!/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 @@

1#!/usr/bin/env bash

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

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

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

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

4rm -f *.ibc

5

test/reg075/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/totality003/run+2−2

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

1#!/usr/bin/env bash

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

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

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

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

4rm -f *.ibc

test/totality009/run+3−3

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

1#!/usr/bin/env bash

2OPTS="--consolewidth infinite --nocolour"

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

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

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

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

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

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

6rm -f *.ibc

test/tutorial001/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

test/tutorial006/run+3−3

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

1#!/usr/bin/env bash

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

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

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

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

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

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

5rm -f *.ibc

test/tutorial007/run+2−2

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

1#!/usr/bin/env bash

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

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

3−idris $@ tutorial007.idr -o tutorial007

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

4./tutorial007

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

test/unique001/run+6−6

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

1#!/usr/bin/env bash

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

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

3./unique001

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

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

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

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

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

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

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

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

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

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

9rm -f unique001 *.ibc

test/unique002/run+2−2

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

1#!/usr/bin/env bash

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

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

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

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

4rm -f *.ibc

test/unique003/run+1−1

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

1#!/usr/bin/env bash

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

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

3rm -f *.ibc