idris-0.9.17: test/totality004/run

#!/usr/bin/env bash
idris --consolewidth 80 $@ totality004.idr -o totality004
./totality004
idris --consolewidth 80 $@ --check totality004a.idr 
rm -f totality004 *.ibc