idris-0.9.9: test/reg007/run

#!/bin/bash
idris --check $@ reg007.lidr 
rm -f *.ibc