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

check Issue1236.idr
check Issue1236-2.idr
