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

check WithUnambigNamesTTC.idr 2>&1
