git.iko.soy/Idris-dev

on master help sign in

src/Util/ScreenSize.hs+10−7

compare with master

unifiedsplit

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

1{-# LANGUAGE CPP #-}

1{-# LANGUAGE CPP #-}

2module Util.ScreenSize(getScreenWidth) where

2module Util.ScreenSize(getScreenWidth) where

3

3

4−import Debug.Trace

5−

6#ifndef CURSES

4#ifndef CURSES

7

5

8getScreenWidth :: IO Int

6getScreenWidth :: IO Int

@@ -11,11 +9,16 @@ getScreenWidth = return 80

11#else

9#else

12

10

13import UI.HSCurses.Curses

11import UI.HSCurses.Curses

12+import System.IO (hIsTerminalDevice, stdout)

14

13

15getScreenWidth :: IO Int

14getScreenWidth :: IO Int

16−getScreenWidth = do initScr

15+getScreenWidth = do term <- hIsTerminalDevice stdout

16+ if term

17+ then do

18+ initScr

17− refresh

19+ refresh

18− size <- scrSize

20+ size <- scrSize

19− endWin

21+ endWin

20− return (snd size)

22+ return (snd size)

23+ else return 80

21#endif

24#endif

test/basic002/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3./test006

3./test006

4rm -f test006 test006.ibc

4rm -f test006 test006.ibc

test/basic006/run+2−2

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

2

2

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

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

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

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

5./test020

5./test020

6rm -f test020 *.ibc

6rm -f test020 *.ibc

test/basic009/run+3−3

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

2

2

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

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

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

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

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

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

6

6

7

7

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

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

test/basic016/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/basic017/run+2−2

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

2−${IDRIS:-idris} $@ basic017.idr --check --nocolor --consolewidth 80

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

3−${IDRIS:-idris} $@ basic017a.idr --check --nocolor --consolewidth 80

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

4rm -f *.ibc

4rm -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 --consolewidth 80 docs001.idr < input

2+${IDRIS:-idris} --quiet --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} --consolewidth 80 --nobanner --nocolor --quiet docs002.idr < input

2+${IDRIS:-idris} --nobanner --nocolor --quiet 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} --consolewidth 80 --quiet --nocolor docs003.idr < input

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

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

3rm *.ibc

3rm *.ibc

test/effects003/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3./hangman < input

3./hangman < input

4rm -f hangman *.ibc

4rm -f hangman *.ibc

test/error003/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/error004/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/error005/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/error006/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

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

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

3rm -f test023 *.ibc

3rm -f test023 *.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 --consolewidth 80 < input

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

test/literate001/run+2−2

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

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

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

4./test003

4./test003

5rm -f test003 test003.ibc Lit.ibc

5rm -f test003 test003.ibc Lit.ibc

test/proof001/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/proof002/run+2−2

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

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

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

4rm -f *.ibc

4rm -f *.ibc

test/proof003/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3./test015

3./test015

4rm -f test015 Parity.ibc test015.ibc

4rm -f test015 Parity.ibc test015.ibc

test/proof007/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/proof008/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/quasiquote003/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/quasiquote004/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/reg003/run+2−2

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

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

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

4rm -f *.ibc

4rm -f *.ibc

test/reg006/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/reg007/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/reg010/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

test/reg017/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3./reg017

3./reg017

4rm -f reg017 *.ibc

4rm -f reg017 *.ibc

test/reg018/run+4−4

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

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

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

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

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

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

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

6rm *.ibc

6rm *.ibc

test/reg023/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/reg027/run+2−2

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3./reg027

3./reg027

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

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

5rm -f reg027 *.ibc

5rm -f reg027 *.ibc

test/reg028/run+2−2

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

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

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

4rm -f *.ibc

4rm -f *.ibc

test/reg034/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f reg034 *.ibc

3rm -f reg034 *.ibc

test/reg035/run+3−3

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

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

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

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

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

5rm -f *.ibc

5rm -f *.ibc

test/reg044/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/reg049/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/reg054/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

test/reg055/run+2−2

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

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

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

4rm -f *.ibc

4rm -f *.ibc

5

5

test/reg056/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/sourceLocation001/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3./sourceLocation001

3./sourceLocation001

4rm -f sourceLocation001 *.ibc

4rm -f sourceLocation001 *.ibc

test/syntax001/run+2−2

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

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

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

4rm -f *.ibc

4rm -f *.ibc

test/totality001/run+3−3

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

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

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

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

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

5

5

6rm -f *.ibc

6rm -f *.ibc

test/totality002/run+3−3

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

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

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

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

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

5rm -f *.ibc

5rm -f *.ibc

test/totality003/run+2−2

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

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

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

4rm -f *.ibc

4rm -f *.ibc

test/totality004/run+2−2

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3./totality004

3./totality004

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

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

5rm -f totality004 *.ibc

5rm -f totality004 *.ibc

test/totality006/run+3−3

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

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

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

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

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

5rm -f *.ibc

5rm -f *.ibc

test/totality008/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/totality010/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/tutorial002/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/tutorial004/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc

test/tutorial006/run+3−3

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

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

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

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

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

5rm -f *.ibc

5rm -f *.ibc

test/unique001/run+6−6

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3./unique001

3./unique001

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

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

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

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

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

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

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

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

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

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

9rm -f unique001 *.ibc

9rm -f unique001 *.ibc

test/unique002/run+2−2

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

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

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

4rm -f *.ibc

4rm -f *.ibc

test/unique003/run+1−1

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

1#!/usr/bin/env bash

1#!/usr/bin/env bash

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

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

3rm -f *.ibc

3rm -f *.ibc