idris-0.9.18: test/totality009/run

#!/usr/bin/env bash
OPTS="--consolewidth infinite --nocolour"
idris "$@" $OPTS --check TestLambdaImpossible
idris "$@" $OPTS --check --warnpartial TestLambdaPossible
rm -f *.ibc