. ../../../testutils.sh

check Issue586.idr
check Issue586b.idr
check Issue1204.idr
