idris-0.9.9: test/reg003/run

#!/bin/bash
idris --check reg003.idr 
idris --check reg003a.idr 
rm -f *.ibc