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

git.iko.soy/Idris-dev

on master help sign in

adjust tests with --consolewidth for use with -f curses

6bac17bAndreas Reuleaux12 years ago

test/reg056/run+1−1

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

1#!/usr/bin/env bash

2−idris $@ reg056.idr -o reg056

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

3rm -f *.ibc

test/totality001/expected+6−3

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

1+test010.idr:15:1:

1−test010.idr:15:1:Main.foo is possibly not total due to: Main.MkBad

2+Main.foo is possibly not total due to: Main.MkBad

3+test010a.idr:9:1:

2−test010a.idr:9:1:main.bar is possibly not total due to: main.MkBad

4+main.bar is possibly not total due to: main.MkBad

5+test010b.idr:9:1:

3−test010b.idr:9:1:main.bar is possibly not total due to: main.MkBad

6+main.bar is possibly not total due to: main.MkBad

test/totality001/run+3−3

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

1#!/usr/bin/env bash

2−idris $@ --check test010.idr

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

3−idris $@ --check test010a.idr

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

4−idris $@ --check test010b.idr

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

6rm -f *.ibc