Improve the portability of reg041
commit10806892c645c5bb4e69cb0174bf4e39de8cfcfe
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateMon 21 Apr 2014, 07:43 (13 years ago)
parent5bd1695
test/reg041/expected+1−2
@@ -1,4 +1,3 @@
11Type checking ./ott.idr
2−?prf : (x : Bool) ->
3−(x1 : Bool) -> (El (EQ two x two x1)) -> El (EQ two x two x1)
2+?prf : (x : Bool) -> (x1 : Bool) -> (El (EQ two x two x1)) -> El (EQ two x two x1)
43Z
test/reg041/run+1−1
@@ -1,5 +1,5 @@
11#!/usr/bin/env bash
2−echo "example" | idris $@ --quiet ott.idr
2+idris $@ --quiet ott.idr -e example
33idris $@ showu.idr -o reg040
44./reg040
55rm -f reg040 *.ibc