b0e8b12 · Idris-dev · git.iko.soy

Makefile+3−9

compare with master

unifiedsplit

@@ -20,16 +20,10 @@ build: dist/setup-config

20test: doc test_c

21

22test_c:

23− $(MAKE) -C test IDRIS=../dist/build/idris

23+ $(MAKE) -C test IDRIS=../dist/build/idris/idris

24−

25−test_java:

26− $(MAKE) -C test IDRIS=../dist/build/idris test_java

27−

28−test_llvm:

29− $(MAKE) -C test IDRIS=../dist/build/idris test_llvm

30

24

31test_js:

25test_js:

32− $(MAKE) -C test IDRIS=../dist/build/idris test_js

26+ $(MAKE) -C test IDRIS=../dist/build/idris/idris test_js

33

27

34test_all:

28test_all:

35 $(MAKE) test

29 $(MAKE) test

@@ -37,7 +31,7 @@ test_all:

37 $(MAKE) test_java

31 $(MAKE) test_java

38

32

39test_timed:

33test_timed:

40− $(MAKE) -C test IDRIS=../dist/build/idris time

34+ $(MAKE) -C test IDRIS=../dist/build/idris/idris time

41

35

42lib_clean:

36lib_clean:

43 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris RTS=../../dist/build/rts/libidris_rts clean

37 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris RTS=../../dist/build/rts/libidris_rts clean

test/Makefile+3−3

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

1−.PHONY: test test_java test_js time update diff distclean $(TESTS)

1+.PHONY: test test_js time update diff distclean $(TESTS)

2

3−TESTS = $(sort $(patsubst %/,%.test,$(wildcard */)))

4

3

5−test: $(TESTS)

4+test:

5+ /usr/bin/env perl ./runtest.pl all

6

7%.test:

8 @perl ./runtest.pl $(patsubst %.test,%,$@)

test/basic001/run+2−2

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

1#!/usr/bin/env bash

2−idris $@ reg005.idr -o reg005

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

3−idris $@ basic001a.idr -o basic001a

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

4./reg005

5./basic001a

6rm -f reg005 basic001a *.ibc

test/basic002/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ --nocolour --consolewidth 80 test006.idr -o test006

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

3./test006

4rm -f test006 test006.ibc

test/basic003/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ test027.idr -o test027

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

3./test027

4rm -f test027 *.ibc

test/basic004/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ test016.idr -o test016

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

3./test016

4rm -f test016 *.ibc

test/basic005/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ test019.lidr -o test019

2+${IDRIS:-idris} $@ test019.lidr -o test019

3./test019

4rm -f test019 *.ibc

test/basic006/run+2−2

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

1#!/usr/bin/env bash

2

3−idris --consolewidth 80 $@ test020.idr -o test020

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

4−idris --consolewidth 80 $@ test020a.idr --check --nocolor

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

5./test020

6rm -f test020 *.ibc

test/basic007/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ -o test033 test033.idr

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

3./test033

4rm -f *.ibc test033

test/basic008/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ test036.idr -o test036

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

3./test036

4rm -f test036 *.ibc

test/basic009/run+3−3

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

1#!/usr/bin/env bash

2

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

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

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

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

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

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

6

7

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

test/basic011/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ basic011.idr -p contrib -o basic011

2+${IDRIS:-idris} $@ basic011.idr -p contrib -o basic011

3./basic011

4rm -f basic011 *.ibc

test/basic012/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ basic012.idr -o basic012

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

3./basic012

4rm -f basic012 *.ibc

test/basic013/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ basic013.idr -o basic013

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

3./basic013

4rm -f basic013 *.ibc

test/basic014/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ basic014.idr --check

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

3rm -f *.ibc

test/basic015/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ basic015.idr -o basic015

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

3./basic015

4rm -f basic015 *.ibc

test/basic016/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ CycleA.idr --consolewidth 80 --nocolour --check

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

3rm -f *.ibc

test/bignum001/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ bignum001.idr -o bignum001

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

3./bignum001

4rm -f bignum001 *.ibc

test/bignum002/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ bignum002.idr -o bignum002

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

3./bignum002

4rm -f bignum002 *.ibc

test/bounded001/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ bounded001.idr -o bounded001

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

3./bounded001

4rm -f bounded001 *.ibc

test/classes001/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ --quiet --nocolour --consolewidth 70 ClassName.idr < input

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

3rm -f bounded001 *.ibc

test/corecords001/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ corecords001.idr -o corecords001

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

3./corecords001

4rm -f corecords001 corecords001.ibc

test/corecords002/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ corecords002.idr -o corecords002

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

3./corecords002

4rm -f corecords002 corecords002.ibc

test/delab001/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ --quiet --nocolor delab001.idr < input

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

3rm -f *.ibc

test/disambig002/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ disambig002.idr --check

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

3rm -f *.ibc

test/docs001/run+1−1

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

1#!/usr/bin/env bash

2−idris --quiet --nocolor --consolewidth 80 docs001.idr < input

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

3rm *.ibc

test/docs002/run+1−1

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 --nobanner --nocolor --quiet docs002.idr < input

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

3rm *.ibc

test/docs003/run+1−1

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 --quiet --nocolor docs003.idr < input

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

3rm *.ibc

test/docs004/run+1−1

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

1#!/usr/bin/env bash

2−idris --quiet --nocolor --consolewidth 80 docs004.idr < input

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

3rm *.ibc

test/dsl001/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ test001.idr -o test001

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

3./test001

4rm -f test001 test001.ibc

test/dsl002/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ test014.idr -o test014

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

3./test014

4rm -f test014 Resimp.ibc test014.ibc

test/dsl003/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ --nocolour --check DSLPi.idr -e test1 -e test2

2+${IDRIS:-idris} $@ --nocolour --check DSLPi.idr -e test1 -e test2

3rm -f *.ibc

test/dsl004/run+3−3

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

1#!/usr/bin/env bash

2−idris $@ Door0.idr --check

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

3−idris $@ Door1.idr --check

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

4−idris $@ Door2.idr --check

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

5rm -f *.ibc

test/effects001/run+2−2

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

1#!/usr/bin/env bash

2−idris -p effects $@ test021.idr -o test021

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

3−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 -p effects $@ test025.idr -o test025

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

3./test025

4rm -f test025 *.ibc

test/effects003/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ hangman.idr --consolewidth 80 --nocolour -p effects -o hangman

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

3./hangman < input

4rm -f hangman *.ibc

test/effects004/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ effects004.idr -o effects004 -p effects

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

3./effects004 < input

4rm -f effects004 *.ibc

test/effects005/run+2−2

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

1#!/usr/bin/env bash

2−idris $@ defaultLogger.idr -o default -p effects

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

3./default

4−idris $@ categoryLogger.idr -o category -p effects

4+${IDRIS:-idris} $@ categoryLogger.idr -o category -p effects

5./category

6rm -f default category *.ibc

test/error001/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ test002.idr --check --noprelude --consolewidth 70

2+${IDRIS:-idris} $@ test002.idr --check --noprelude --consolewidth 70

3rm -f *.ibc

test/error002/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ test031.idr -o test031

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

3./test031

4rm -f test031 *.ibc

test/error003/run+1−1

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 $@ ErrorReflection.idr --nocolour --check

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

3rm -f *.ibc

test/error004/run+1−1

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 $@ FunErrTest.idr --nocolour --check

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

3rm -f *.ibc

test/error005/run+1−1

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 $@ --check --nocolour error005.idr

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

3rm -f *.ibc

test/error006/run+1−1

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 $@ --check --nocolour WithPatsNoWith.idr

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

3rm -f *.ibc

test/ffi001/run+1−1

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

1#!/usr/bin/env bash

2−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 --consolewidth 80 --quiet test023.idr -o test023

2+${IDRIS:-idris} --consolewidth 80 --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 --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 --quiet --nocolour --check test026.idr

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

3rm -f *.ibc

test/ffi005/run+1−1

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

1#!/usr/bin/env bash

2

3−idris $@ Postulate.idr -o postulate

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

4./postulate

5rm -f postulate *.ibc

test/ffi006/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ ffi006.idr --interface -o ffi006.o

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

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

4./ffi006

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

test/folding001/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ folding001.idr -o folding001

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

3./folding001

4rm -f folding001 *.ibc

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 --mkdoc test_empty.ipkg

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

4rm -rf *.ibc *_doc

test/idrisdoc002/run+1−1

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

1#!/usr/bin/env bash

2# Tests that documentation is generated for functions

3−idris --mkdoc test_functions.ipkg

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

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

5rm -rf *.ibc *_doc

test/idrisdoc003/run+1−1

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

1#!/usr/bin/env bash

2# Tests that documentation is generated for data types

3−idris --mkdoc test_datatypes.ipkg

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

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

5rm -rf *.ibc *_doc

test/idrisdoc004/run+1−1

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

1#!/usr/bin/env bash

2# Tests that documentation is generated for typeclasses

3−idris --mkdoc test_typeclasses.ipkg

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

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

5rm -rf *.ibc *_doc

test/idrisdoc005/run+1−1

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

1#!/usr/bin/env bash

2# Tests that references to other namespaces are traced

3−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"

6rm -rf *.ibc *_doc

test/idrisdoc006/run+2−2

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

1#!/usr/bin/env bash

2# Tests that documentation properly is merged with existent.

3−idris --mkdoc package_a.ipkg

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

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

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

test/idrisdoc007/run+1−1

@@ -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 --mkdoc package.ipkg > nowhere

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

5echo Exit status $expects 1$: $?

6rm -rf do_not_delete_doc *.ibc nowhere

test/idrisdoc008/run+1−1

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

1#!/usr/bin/env bash

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

3−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"

6rm -rf *.ibc *_doc

test/idrisdoc009/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ --nocolour --quiet Test.idr < input

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

3rm -f *.ibc

test/interactive001/run+1−1

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

1#!/usr/bin/env bash

2−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 --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 --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 --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 --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 --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 -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 --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 --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 --quiet --nobanner --nocolor --consolewidth 80 < input

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

test/interactive011/run+1−1

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

1#!/usr/bin/env bash

2−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 --nocolour --consolewidth 70 --quiet interactive012.idr < input

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

3rm -f *.ibc

test/io001/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ test004.idr -o test004

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

3./test004

4rm -f test004 test004.ibc testfile

test/io002/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ test008.idr -o test008

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

3./test008

4rm -f test008 test008.ibc

test/io003/run+2−2

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

1#!/usr/bin/env bash

2−idris $@ test018.idr -p contrib -o test018

2+${IDRIS:-idris} $@ test018.idr -p contrib -o test018

3−idris $@ test018a.idr -p contrib -o test018a

3+${IDRIS:-idris} $@ test018a.idr -p contrib -o test018a

4./test018

5#./test018a

6rm -f test018 test018a *.ibc

test/literate001/run+2−2

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 $@ test003a.lidr --check

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

3−idris --consolewidth 80 $@ test003.lidr -o test003

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

4./test003

5rm -f test003 test003.ibc Lit.ibc

test/meta001/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ --check --nocolour --consolewidth 70 Finite.idr

2+${IDRIS:-idris} $@ --check --nocolour --consolewidth 70 Finite.idr

3rm -f *.ibc

test/meta002/run+2−2

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

1#!/usr/bin/env bash

2−idris $@ -p pruviloj --nocolour --check --consolewidth 70 Tacs.idr

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

3−idris $@ -p pruviloj --nocolour --check --consolewidth 70 AgdaStyleReflection.idr

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

4# Disabled due to excess memory consumption

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

6rm -f *.ibc

test/meta003/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ --nocolour --check --consolewidth 70 BadDef.idr

2+${IDRIS:-idris} $@ --nocolour --check --consolewidth 70 BadDef.idr

3rm -f *.ibc

test/meta004/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ -p pruviloj --nocolour --check --consolewidth 70 meta004.idr

2+${IDRIS:-idris} $@ -p pruviloj --nocolour --check --consolewidth 70 meta004.idr

3rm -f *.ibc

test/pkg001/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ --build test.ipkg

2+${IDRIS:-idris} $@ --build test.ipkg

3rm -f *.ibc

test/pkg002/run+1−1

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

1#!/usr/bin/env bash

2### Test: IPKG executable names can be any namespaced identifier.

3−idris $@ --build test.ipkg

3+${IDRIS:-idris} $@ --build test.ipkg

4rm -f *.ibc

5rm -f some.namespaced.identifier

test/pkg003/run+1−1

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

1#!/usr/bin/env bash

2### Test: IPKG executable names can be a quoted string

3### containing a valid filename.

4−idris $@ --build test.ipkg

4+${IDRIS:-idris} $@ --build test.ipkg

5rm -f *.ibc

6rm -f 'quoting-allows-hyphens and spaces and fun stuff!'

test/pkg004/run+1−1

@@ -2,5 +2,5 @@

2### Test: IPKG executable names CANNOT include a directory separator.

3# TODO: Verify that a name like "a/b\c" is rejected by both *NIX and Windows

4# (assuming these tests get run on Windows).

5−idris $@ --build test.ipkg

5+${IDRIS:-idris} $@ --build test.ipkg

6rm -f *.ibc

test/primitives001/run+2−2

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

1#!/usr/bin/env bash

2−idris $@ test005.idr -o test005

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

3./test005

4−idris $@ substring.idr -o substring

4+${IDRIS:-idris} $@ substring.idr -o substring

5./substring < input

6rm -f test005 substring *.ibc

test/primitives003/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ -o test038 test038.idr --nocolour

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

3./test038

4rm -f test038 *.ibc

5

test/primitives004-disabled/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ -o primitives004 primitives004.idr --nocolour

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

3./primitives004

4rm -f primitives004 *.ibc

test/proof001/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ test029.idr --consolewidth 80 --nocolour --check test029

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

3rm -f *.ibc

test/proof002/run+2−2

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 $@ test030.idr --check --nocolour

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

3−idris --consolewidth 80 $@ test030a.idr --check --nocolour

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

4rm -f *.ibc

test/proof003/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ test015.idr --nocolour --consolewidth 80 -o test015

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

3./test015

4rm -f test015 Parity.ibc test015.ibc

test/proof004/run+1−1

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

1#!/usr/bin/env bash

2−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 --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 --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 --nocolour --consolewidth 80 --check $@ DefaultArgUnknownName.idr

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

3rm -f *.ibc

test/proof008/run+1−1

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

1#!/usr/bin/env bash

2−idris --nocolour --consolewidth 80 --check $@ ClaimAndUnfocus.idr

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

3rm -f *.ibc

test/proof009/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ --consolewidth 70 --quiet proof009.idr < input

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

3rm -f *.ibc

test/proof010/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ proof010.idr -o proof010

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

3./proof010

4rm -f proof010 *.ibc

test/proofsearch001/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ --check proofsearch001.idr

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

3rm -f *.ibc

test/proofsearch002/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ --check proofsearch002.idr

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

3rm -f *.ibc

test/proofsearch003/run+1−1

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

1#!/usr/bin/env bash

2−idris --check proofsearch003.idr

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

3rm -f *.ibc

test/pruviloj001/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ -p pruviloj --check --nocolour --consolewidth 70 pruviloj001.idr

2+${IDRIS:-idris} $@ -p pruviloj --check --nocolour --consolewidth 70 pruviloj001.idr

3rm -f *.ibc

test/quasiquote001/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ QuasiquoteBasics.idr -o quasiquote001

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

3./quasiquote001

4rm -f quasiquote001 *.ibc

test/quasiquote002/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ GoalQQuote.idr -o quasiquote002

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

3./quasiquote002

4rm -f quasiquote002 *.ibc

test/quasiquote003/run+1−1

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 $@ --check NoInfer.idr

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

3rm -f *.ibc

test/quasiquote004/run+1−1

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 $@ --check --nocolour Quasiquote004.idr

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

3rm -f *.ibc

test/quasiquote005/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ --check --nocolour Quasiquote005.idr

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

3rm -f *.ibc

test/quasiquote006/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ --check --nocolour --quiet --consolewidth 70 quasiquote006.idr

2+${IDRIS:-idris} $@ --check --nocolour --quiet --consolewidth 70 quasiquote006.idr

3rm -f *.ibc

test/records001/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ test011.idr -o test011

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

3./test011

4rm -f test011 test011.ibc

test/records002/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ record002.idr -o record002

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

3./record002

4rm -f record002 *.ibc

test/records003/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ records003.idr -o records003

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

3./records003

4rm -f records003 *.ibc

test/records004/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ records004.idr -o records004

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

3./records004

4rm -f records004 *.ibc

test/reg001/run+1−1

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

1#!/usr/bin/env bash

2−idris reg001.idr --check

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

3rm -rf reg001.ibc

4

test/reg002/run+1−1

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

1#!/usr/bin/env bash

2−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 --consolewidth 80 --check reg003.idr

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

3−idris --consolewidth 80 --check reg003a.idr

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

4rm -f *.ibc

test/reg004/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ reg004.idr -o reg004

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

3./reg004

4rm -f reg004 *.ibc

test/reg006/run+1−1

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 $@ reg006.idr --check

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

3rm -f *.ibc

test/reg007/run+1−1

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 --nocolour --check $@ reg007.lidr

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

3rm -f *.ibc

test/reg010/run+1−1

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 $@ reg010.idr --check --nocolour

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

test/reg013/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ reg013.idr -o reg013

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

3./reg013

4rm -f reg013 *.ibc

test/reg016/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ reg016.idr -o reg016

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

3./reg016

4rm -f reg016 *.ibc

test/reg017/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ --nocolour --consolewidth 80 reg017.idr -o reg017

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

3./reg017

4rm -f reg017 *.ibc

test/reg018/run+4−4

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 $@ reg018a.idr --check

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

3−idris --consolewidth 80 $@ reg018b.idr --check

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

4−idris --consolewidth 80 $@ reg018c.idr --check

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

5−idris --consolewidth 80 $@ reg018d.idr --check

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

6rm *.ibc

test/reg020/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ reg020.idr -o reg020

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

3./reg020

4rm -f reg020 *.ibc

test/reg023/run+1−1

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

1#!/usr/bin/env bash

2−idris --nocolour --consolewidth 80 $@ reg023.idr --check

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

3rm -f *.ibc

test/reg024/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ reg024.idr -o reg024

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

3./reg024

4rm -f reg024 *.ibc

test/reg025/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ reg025.idr -o reg025

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

3./reg025

4rm -f reg025 *.ibc

test/reg027/run+2−2

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 $@ reg027.idr -o reg027

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

3./reg027

4−idris --consolewidth 80 $@ reg027a.idr --check

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

5rm -f reg027 *.ibc

test/reg028/run+2−2

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 $@ reg028.idr --check

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

3−idris --consolewidth 80 $@ reg028a.idr --check

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

4rm -f *.ibc

test/reg029/run+2−2

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

1#!/usr/bin/env bash

2

3−idris $@ reg029.idr -o reg029

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

4unset IDRIS_REG029_NONEXISTENT_VAR

5export IDRIS_REG029_EXISTENT_VAR='exists!'

6

@@ -12,6 +12,6 @@ else

12 javac -cp reg029:. Reg029Wrapper.java

13 java -cp reg029:. Reg029Wrapper

14fi

15−idris $@ reg029.idr --execute

15+${IDRIS:-idris} $@ reg029.idr --execute

16rm -f reg029 *.ibc *.class

17

test/reg031/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ reg031.idr -o reg031

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

3./reg031

4rm -f *.ibc reg031

test/reg032/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ test028.idr -o test028

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

3./test028

4rm -f test028 test028.ibc

test/reg034/run+1−1

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

1#!/usr/bin/env bash

2−idris --nocolour --consolewidth 80 --check reg034.idr

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

3rm -f reg034 *.ibc

test/reg035/run+3−3

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

1#!/usr/bin/env bash

2−idris --nocolour --consolewidth 80 --check reg035.idr

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

3−idris --nocolour --consolewidth 80 --check reg035a.lidr

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

4−idris --nocolour --consolewidth 80 --check reg035b.idr

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

5rm -f *.ibc

test/reg036/run+1−1

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

1#!/usr/bin/env bash

2−idris --check reg036.idr

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

3rm -f reg036 *.ibc

test/reg037/run+1−1

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

1#!/usr/bin/env bash

2−idris --check reg037.idr

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

3rm -f reg037 *.ibc

test/reg038/run+1−1

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

1#!/usr/bin/env bash

2−idris --check reg038.idr

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

3rm -f *.ibc

test/reg040/run+1−1

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

1#!/usr/bin/env bash

2

3−idris --warnreach reg040.idr -o reg040

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

4./reg040

5

6rm -f reg040 *.ibc

test/reg041/run+2−2

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

1#!/usr/bin/env bash

2−idris $@ --quiet ott.idr -e example

2+${IDRIS:-idris} $@ --quiet ott.idr -e example

3−idris $@ showu.idr -o reg040

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

4./reg040

5rm -f reg040 *.ibc

test/reg042/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ reg042 -o reg042 --warnreach

2+${IDRIS:-idris} $@ reg042 -o reg042 --warnreach

3./reg042

4rm -f reg042 *.ibc

test/reg044/run+1−1

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

1#!/usr/bin/env bash

2−idris --nocolour --consolewidth 80 reg044.idr --check

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

3rm -f *.ibc

test/reg045/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ reg045.idr -o reg045

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

3./reg045

4rm -f reg045 *.ibc

test/reg046/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ reg046.idr --check

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

3rm -f reg046 *.ibc

test/reg047/run+2−2

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

1#!/usr/bin/env bash

2−idris $@ reg047.idr --check --nobuiltins

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

3−idris $@ reg047a.idr --check

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

4rm -f *.ibc

test/reg048/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ reg048.idr -p contrib -o reg048

2+${IDRIS:-idris} $@ reg048.idr -p contrib -o reg048

3./reg048

4rm -f reg048 *.ibc

test/reg049/run+1−1

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 --nocolour --check $@ reg049.idr

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

3rm -f *.ibc

test/reg050/run+3−3

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

1#!/usr/bin/env bash

2−idris --nocolour --check $@ working.idr

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

3−idris --nocolour --check $@ badbangop.idr

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

4−idris --nocolour --check $@ baddoublebang.idr

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

5rm -f *.ibc

test/reg051-disabled/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ reg051.idr --check

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

3rm -f *.ibc

test/reg052/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ -o reg052 reg052.idr

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

3./reg052

4rm -f reg052 *.ibc

test/reg053/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ --check four.idr

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

3rm -f *.ibc

test/reg054/run+1−1

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

1#!/usr/bin/env bash

2−idris --nocolour --consolewidth 80 $@ reg054.idr --check

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

test/reg055/run+2−2

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

1#!/usr/bin/env bash

2−idris --nocolour --consolewidth 80 $@ reg055.idr --check

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

3−idris --nocolour --consolewidth 80 $@ reg055a.idr --check

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

4rm -f *.ibc

5

test/reg056/run+1−1

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 $@ reg056.idr -o reg056

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

3rm -f *.ibc

test/reg057/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ reg057.idr --check

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

3rm -f *.ibc

test/reg058/run+2−2

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

1#!/usr/bin/env bash

2−idris $@ implicits.idr --check

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

3−idris $@ implicits2.idr --check

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

4

5rm -f *.ibc

test/reg059/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ reg059.idr --check

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

3rm -f *.ibc

test/reg060/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ reg060.idr --check

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

3rm -f *.ibc

test/reg061/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ Capture.idr --check

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

3rm -f *.ibc

test/reg062/run+2−2

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

1#!/usr/bin/env bash

2−idris $@ reg062.idr --check --nocolour

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

3−idris $@ reg062.lidr --check --nocolour

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

4rm -f *.ibc

test/reg063/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ Cmp.idr --check --nocolour --quiet

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

3rm *.ibc

test/reg064/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ reg064.idr --check

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

3rm -f *.ibc

test/reg065/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ reg065.idr --check

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

3rm -f *.ibc

test/reg066/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ reg066.idr --check --nocolor

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

3rm -f *.ibc

test/reg067/run+1−1

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

1#!/usr/bin/env bash

2rm -f *.ibc reg067

3−idris $@ reg067.idr -o reg067 --warnreach

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

4./reg067

5rm -f *.ibc reg067

test/runtest.pl+17−16

@@ -9,39 +9,35 @@ my $exitstatus = 0;

9my @idrOpts = ();

10

11

12−# Determines how idris was built locally, returning a PATH modifier.

12+# Sets the PATH if there's a sandbox or stack present

13#

14# Order of checking is:

15#

16# 1. Cabal Sandboxing

17# 2. Stack

18−# 3. Pure cabal.

19#

18#

20−sub sandbox_path {

19+sub set_path {

21 my ($test_dir,) = @_;

20 my ($test_dir,) = @_;

22− my $sandbox = "$test_dir/../../.cabal-sandbox/bin";

21+ my $sandbox = "../.cabal-sandbox/bin";

23

22

24 my $stack_bin_path = `stack path --dist-dir`;

23 my $stack_bin_path = `stack path --dist-dir`;

25 $stack_bin_path =~ s/\n//g;

24 $stack_bin_path =~ s/\n//g;

26− my $stack_work_dir = "$test_dir/../../$stack_bin_path/build/idris";

25+ my $stack_work_dir = "../$stack_bin_path/build/idris";

26+ my $path = $ENV{PATH};

27

28 if ( -d $sandbox ) {

29−

30 my $sandbox_abs = abs_path($sandbox);

29 my $sandbox_abs = abs_path($sandbox);

31 print "Using Cabal Sandbox\n";

30 print "Using Cabal Sandbox\n";

32 printf("Sandbox located at: %s\n", $sandbox_abs);

31 printf("Sandbox located at: %s\n", $sandbox_abs);

33− return "PATH=\"$sandbox_abs:$PATH\"";

32+ $ENV{PATH} = $sandbox_abs . ":" . $path;

34

33

35 } elsif ( -d $stack_work_dir ) {

34 } elsif ( -d $stack_work_dir ) {

36

35

37 my $stack_work_abs = abs_path($stack_work_dir);

36 my $stack_work_abs = abs_path($stack_work_dir);

38 print "Using Stack Work\n";

37 print "Using Stack Work\n";

39 printf("Stack work located at: %s\n", $stack_work_abs);

38 printf("Stack work located at: %s\n", $stack_work_abs);

40− return "PATH=\"$stack_work_abs:$PATH\"";

39+ $ENV{PATH} = $stack_work_abs . ":" . $path;

41

40

42− } else {

43− print "Using Default Cabal.\n";

44− return "";

45 }

41 }

46}

42}

47

43

@@ -51,13 +47,12 @@ sub sandbox_path {

51sub runtest {

47sub runtest {

52 my ($test, $update, $showTime) = @_;

48 my ($test, $update, $showTime) = @_;

53

49

54− my $sandbox = sandbox_path($test);

55

50

56 chdir($test);

51 chdir($test);

57

52

58 my $startTime = time();

53 my $startTime = time();

59 print "Running $test...\n";

54 print "Running $test...\n";

60− my $got = `$sandbox ./run @idrOpts`;

55+ my $got = `./run @idrOpts`;

61 my $exp = `cat expected`;

56 my $exp = `cat expected`;

62

57

63 my $endTime = time();

58 my $endTime = time();

@@ -177,9 +172,15 @@ while (my $opt = shift @opts) {

177 else { push(@idrOpts, $opt); }

172 else { push(@idrOpts, $opt); }

178}

173}

179

174

180−my $idris = $ENV{IDRIS};

175+my $idris = $ENV{IDRIS};

181−my $path = $ENV{PATH};

176+

182−$ENV{PATH} = cwd() . "/" . $idris . ":" . $path;

177+if (defined $ENV{IDRIS} && -e $idris ) {

178+ $ENV{IDRIS} = abs_path($idris);

179+ print "Using $idris\n";

180+} else {

181+ delete $ENV{IDRIS};

182+ set_path();

183+}

183

184

184my $startTime = time();

185my $startTime = time();

185

186

test/sourceLocation001/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ --nocolour --consolewidth 80 SourceLoc.idr -o sourceLocation001

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

3./sourceLocation001

4rm -f sourceLocation001 *.ibc

test/sugar001/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ test007.idr -o test007

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

3./test007

4rm -f test007 test007.ibc

test/sugar002/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ test009.idr -o test009

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

3./test009

4rm -f test009 test009.ibc

test/sugar003/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ test013.idr -o test013

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

3./test013

4rm -f test013 test013.ibc

test/sugar004/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ sugar004.idr -o sugar004

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

3./sugar004

4./sugar004 42

5./sugar004 42 100

test/sugar005/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ As.idr -o sugar005

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

3./sugar005

4rm -f sugar005 *.ibc

test/syntax001/run+2−2

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

1#!/usr/bin/env bash

2−idris $@ Syntax.idr --nocolour --consolewidth 80 --check

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

3−idris $@ SyntaxTest.idr --nocolour --consolewidth 80 --check

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

4rm -f *.ibc

test/syntax002/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ syntax002.idr -o syntax002

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

3./syntax002

4rm -f syntax002 *.ibc

test/tactics001/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ --check Tactics.idr

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

3rm -f *.ibc

test/totality001/run+3−3

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 $@ --check test010.idr

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

3−idris --consolewidth 80 $@ --check test010a.idr

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

4−idris --consolewidth 80 $@ --check test010b.idr

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

5

6rm -f *.ibc

test/totality002/run+3−3

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 $@ --check test017.idr

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

3−idris --consolewidth 80 $@ --check test017a.idr

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

4−idris --consolewidth 80 $@ --check test017b.idr

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

5rm -f *.ibc

test/totality003/run+2−2

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

1#!/usr/bin/env bash

2−idris --nocolour --consolewidth 80 $@ totality003.idr --check

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

3−idris --nocolour --consolewidth 80 $@ totality003a.idr --check

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

4rm -f *.ibc

test/totality004/run+2−2

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 $@ totality004.idr -o totality004

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

3./totality004

4−idris --consolewidth 80 $@ --check totality004a.idr

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

5rm -f totality004 *.ibc

test/totality005/run+2−2

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

1#!/usr/bin/env bash

2−idris $@ totality005.idr --total --check

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

3−idris $@ totality005.idr -o totality005

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

4./totality005

5rm -f totality005 *.ibc

test/totality006/run+3−3

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 $@ totality006.idr --check

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

3−idris --consolewidth 80 $@ totality006a.idr --check

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

4−idris --consolewidth 80 $@ totality006b.idr --check

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

5rm -f *.ibc

test/totality007/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ --build totality.ipkg

2+${IDRIS:-idris} $@ --build totality.ipkg

3rm -f src/*.ibc

test/totality008/run+1−1

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

1#!/usr/bin/env bash

2−idris --consolewidth 80 $@ totality008.idr --check

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

3rm -f *.ibc

test/totality009/run+2−2

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

1#!/usr/bin/env bash

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

3−idris "$@" $OPTS --check TestLambdaImpossible

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

4−idris "$@" $OPTS --check --warnpartial TestLambdaPossible

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

5rm -f *.ibc

test/totality010/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ totality010.idr --nocolour --consolewidth 80 --check

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

3rm -f *.ibc

test/tutorial001/run+1−1

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

1#!/usr/bin/env bash

2−idris --check tutorial001.idr

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

3rm -f *.ibc

test/tutorial002/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ --nocolour --consolewidth 80 tutorial002.idr --check

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

3rm -f *.ibc

test/tutorial003/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ tutorial003.idr --check

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

3rm -f *.ibc

test/tutorial004/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ tutorial004.idr --check --nocolour --consolewidth 80

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

3rm -f *.ibc

test/tutorial005/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ tutorial005.idr --check

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

3rm -f *.ibc

test/tutorial006/run+3−3

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

1#!/usr/bin/env bash

2−idris --nocolour --consolewidth 80 $@ tutorial006a.idr --check

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

3−idris --nocolour --consolewidth 80 $@ tutorial006b.idr --check

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

4−idris --nocolour --consolewidth 80 $@ tutorial006c.idr -p effects --check

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

5rm -f *.ibc

test/unique001/run+6−6

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

1#!/usr/bin/env bash

2−idris --nocolour --consolewidth 80 $@ unique001.idr -o unique001

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

3./unique001

4−idris --nocolour --consolewidth 80 $@ unique001a.idr --check

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

5−idris --nocolour --consolewidth 80 $@ unique001b.idr --check

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

6−idris --nocolour --consolewidth 80 $@ unique001c.idr --check

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

7−idris --nocolour --consolewidth 80 $@ unique001d.idr --check

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

8−idris --nocolour --consolewidth 80 $@ unique001e.idr --check

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

9rm -f unique001 *.ibc

test/unique002/run+2−2

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

1#!/usr/bin/env bash

2−idris --nocolour --consolewidth 80 $@ unique002.idr --check

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

3−idris --nocolour --consolewidth 80 $@ unique002a.idr --check

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

4rm -f *.ibc

test/unique003/run+1−1

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

1#!/usr/bin/env bash

2−idris --nocolour --consolewidth 80 $@ unique003.idr --check

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

3rm -f *.ibc