idris-0.9.11: test/primitives003/run

#!/usr/bin/env bash
idris $@ -o test038 test038.idr --nocolour
./test038
rm -f test038 *.ibc