. ../../../testutils.sh
check inferror.idr -p contrib
