Test updates for executor and type provider update
commitec1b1f361644068556f63a6072d7052cecec391b
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateMon 3 Feb 2014, 11:07 (13 years ago)
parentfab7083
test/ffi001/expected+1−1
@@ -1,2 +1,2 @@
11Type checking ./test022.idr
2−0.9995736030415051 : Float
2+[?1049h[1;52r(B[m[4l[?7h[H[2J[52;1H[?1049l
[?1l>0.9995736030415051 : Float
test/ffi001/run+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−echo ":x x" | idris --quiet test022.idr
2+echo ":x x" | idris --quiet --nocolour test022.idr
33rm -f test021 test021a *.ibc
test/ffi002/expected+1−1
@@ -1 +1 @@
1−Type provider error: Always fails
1+test023.idr:22:21:Type provider error: Always fails
test/ffi003/expected+1−1
@@ -1,3 +1,3 @@
11Type checking ./test024.idr
22testtest
3−() : ()
3+[?1049h[1;52r(B[m[4l[?7h[H[2J[52;1H[?1049l
[?1l>() : ()
test/ffi003/run+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−idris --quiet test024.idr < input
2+idris --quiet --nocolour test024.idr < input
33rm -f *.ibc
test/ffi004/expected+2−2
@@ -1,3 +1,3 @@
11Type checking ./test026.idr
2−2 : Int
3−2 : Nat
2+[?1049h[1;52r(B[m[4l[?7h[H[2J[52;1H[?1049l
[?1l>2 : Int
3+[?1049h[1;52r(B[m[4l[?7h[H[2J[52;1H[?1049l
[?1l>2 : Nat
test/ffi004/run+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−idris --quiet test026.idr < input
2+idris --quiet --nocolour test026.idr < input
33rm -f *.ibc