git.iko.soy/Idris-dev

on master help sign in

test/delab001/run+1−1

compare with master

unifiedsplit

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/docs001/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm *.ibc

3rm *.ibc

test/docs002/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm *.ibc

3rm *.ibc

test/docs003/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm *.ibc

3rm *.ibc

test/docs004/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm *.ibc

3rm *.ibc

test/docs005/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm *.ibc

3rm *.ibc

test/dsl001/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3./test001

3./test001

4−${IDRIS:-idris} $@ test001.idr --quiet < input

4+${IDRIS:-idris} $@ test001.idr --quiet --port none < input

5rm -f test001 test001.ibc

5rm -f test001 test001.ibc

test/ffi001/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/ffi002/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f test023 *.ibc

3rm -f test023 *.ibc

test/ffi003/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/ffi004/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/idrisdoc009/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/interactive001/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/interactive002/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/interactive003/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/interactive004/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/interactive005/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

4rm -f hello.bytecode

4rm -f hello.bytecode

5rm -f hello

5rm -f hello

test/interactive006/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/interactive007/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

2−${IDRIS:-idris} $@ -p contrib --nobanner --nocolor < input | perl -pe 's-Data\\Z-Data/Z-g'

2+${IDRIS:-idris} $@ -p contrib --nobanner --nocolor --port none < input | perl -pe 's-Data\\Z-Data/Z-g'

test/interactive008/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

test/interactive009/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/interactive010/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

test/interactive011/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/interactive012/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/interactive013/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/interfaces001/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/layout001/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

2

2

3−${IDRIS:-idris} --nobanner --nocolour --quiet <<!

3+${IDRIS:-idris} --nobanner --nocolour --quiet --port none <<!

4:load layout001a.idr

4:load layout001a.idr

5:load layout001b.idr

5:load layout001b.idr

6:load layout001c.idr

6:load layout001c.idr

test/primitives002/run+1−1

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

48do

48do

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

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

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

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

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

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

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

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

53 rm tmptest.idr tmptest.ibc tmptest

53 rm tmptest.idr tmptest.ibc tmptest

54done

54done

test/proof009/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/quasiquote006/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/reg041/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

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

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

4./reg040

4./reg040

5rm -f reg040 *.ibc

5rm -f reg040 *.ibc

test/reg075/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/regression002/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

2

2

3−${IDRIS:-idris} $@ --nobanner --nocolour --quiet <<!

3+${IDRIS:-idris} $@ --nobanner --nocolour --quiet --port none <<!

4:load reg003.idr

4:load reg003.idr

5:load reg003a.idr

5:load reg003a.idr

6:load reg006.idr

6:load reg006.idr

test/unique004/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

2

2

3−${IDRIS:-idris} --nobanner --nocolour --quiet <<!

3+${IDRIS:-idris} --nobanner --nocolour --quiet --port none <<!

4:load unique001a.idr

4:load unique001a.idr

5:load unique001b.idr

5:load unique001b.idr

6:load unique001c.idr

6:load unique001c.idr