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

check --no-prelude Test.idr
