git.iko.soy/Idris-dev

on master help sign in

test/test014/run+1−1

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

11#!/bin/bash

2−idris test014.idr -o test014

2+idris $@ test014.idr -o test014

33./test014

44rm -f test014 resimp.ibc test014.ibc

test/test015/run+1−1

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

11#!/bin/bash

2−idris test015.idr -o test015

2+idris $@ test015.idr -o test015

33./test015

44rm -f test015 parity.ibc test015.ibc

test/test016/run+1−1

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

11#!/bin/bash

2−idris test016.idr -o test016

2+idris $@ test016.idr -o test016

33./test016

44rm -f test016 *.ibc

test/test017/run+2−2

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

11#!/bin/bash

2−idris --check test017.idr

3−idris --check test017a.idr

2+idris $@ --check test017.idr

3+idris $@ --check test017a.idr

44rm -f *.ibc

test/test018/run+2−2

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

11#!/bin/bash

2−idris test018.idr -o test018

3−idris test018a.idr -o test018a

2+idris $@ test018.idr -o test018

3+idris $@ test018a.idr -o test018a

44./test018

55#./test018a

66rm -f test018 test018a *.ibc