idris-0.9.13: test/reg042/run

#!/usr/bin/env bash
idris $@ reg042 -o reg042 --warnreach
./reg042
rm -f reg042 *.ibc