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

check partial.idr
