idris-0.9.16: test/sugar004/run

#!/usr/bin/env bash
idris $@ sugar004.idr -o sugar004
./sugar004
./sugar004 42
./sugar004 42 100
rm -f sugar004 *.ibc