idris-0.10.1: test/reg042/run

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