idris-0.9.9: test/test018/run

#!/bin/bash
idris $@ test018.idr -o test018
idris $@ test018a.idr -o test018a
./test018
#./test018a
rm -f test018 test018a *.ibc