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

check casecase.idr --debug-elab-check
