d9482ae · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

adjust test totality002 with --consolewidth for use with -f curses

d9482aeAndreas Reuleaux12 years ago

test/totality002/expected+4−2

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

1+test017a.idr:7:1:

1−test017a.idr:7:1:scg.vtrans is possibly not total due to recursive path scg.vtrans --> scg.vtrans

2+scg.vtrans is possibly not total due to recursive path scg.vtrans --> scg.vtrans

3+test017b.idr:4:1:

2−test017b.idr:4:1:foo.foo is possibly not total due to recursive path foo.foo

4+foo.foo is possibly not total due to recursive path foo.foo

test/totality002/run+3−3

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

1#!/usr/bin/env bash

2−idris $@ --check test017.idr

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

3−idris $@ --check test017a.idr

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

4−idris $@ --check test017b.idr

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

5rm -f *.ibc