git.iko.soy/Idris-dev
on master help sign in
Test fixed
22d09c9Jan Bessai
test/test025/run+1−1
compare with master
unifiedsplit
@@ -1,4 +1,4 @@
1#!/bin/bash
1#!/bin/bash
2−idris -p effects $@ test025.idr -o test024
2+idris -p effects $@ test025.idr -o test025
3./test025
3./test025
4rm -f test025 *.ibc
4rm -f test025 *.ibc