git.iko.soy/Idris-dev

on master help sign in

test/delab001/run+1−1

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

11#!/usr/bin/env bash

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

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

33rm -f *.ibc

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 --port none --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 --port none 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 --port none --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 --port none --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 --port none --nocolor docs005.idr < input

33rm *.ibc

test/dsl001/run+1−1

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

11#!/usr/bin/env bash

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

33./test001

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

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

55rm -f test001 test001.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 --port none --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 --port none 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 --port none --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 --port none --nocolour --check test026.idr

33rm -f *.ibc

test/idrisdoc009/run+1−1

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

11#!/usr/bin/env bash

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

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

33rm -f *.ibc

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

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

11#!/usr/bin/env bash

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

2+${IDRIS:-idris} $@ --quiet --port none 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 --port none --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 --port none 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 --port none 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 --port none interactive013.idr < input

33rm -f *.ibc

test/interfaces001/run+1−1

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

11#!/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

33rm -f *.ibc

test/layout001/run+1−1

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

11#!/usr/bin/env bash

22

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

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

44:load layout001a.idr

55:load layout001b.idr

66:load layout001c.idr

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

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

5353 rm tmptest.idr tmptest.ibc tmptest

5454done

test/proof009/run+1−1

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

11#!/usr/bin/env bash

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

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

33rm -f *.ibc

test/quasiquote006/run+1−1

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

11#!/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

33rm -f *.ibc

test/reg041/run+1−1

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

11#!/usr/bin/env bash

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

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

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

44./reg040

55rm -f reg040 *.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 --port none reg075.idr < input

33rm -f *.ibc

test/regression002/run+1−1

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

11#!/usr/bin/env bash

22

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

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

44:load reg003.idr

55:load reg003a.idr

66:load reg006.idr

test/unique004/run+1−1

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

11#!/usr/bin/env bash

22

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

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

44:load unique001a.idr

55:load unique001b.idr

66:load unique001c.idr