999412f · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

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

999412fAndreas Reuleaux12 years ago

test/totality004/expected+4−2

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

1[1, 2, 2, 4, 3, 6, 4, 8, 5, 10]

2+totality004a.idr:13:1:

2−totality004a.idr:13:1:Main.process is possibly not total due to recursive path Main.process --> Main.process --> Main.process

3+Main.process is possibly not total due to recursive path Main.process --> Main.process --> Main.process

4+totality004a.idr:24:1:

3−totality004a.idr:24:1:Main.main is possibly not total due to: Main.process

5+Main.main is possibly not total due to: Main.process

test/totality004/run+2−2

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

1#!/usr/bin/env bash

2−idris $@ totality004.idr -o totality004

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

3./totality004

4−idris $@ --check totality004a.idr

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

5rm -f totality004 *.ibc