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

check overrideDefault.idr
echo "------"
idris2 --check --total compilerOption.idr
echo "------"
check sameAsDefault.idr
echo "------"
check implementationOverride.idr
echo "------"
check issue3437.idr
echo "------"
check doubleTotal.idr
echo "------"
check implementation.idr
echo "------"
check interface.idr
echo "------"
check noOverrideDefault.idr
echo "------"
check duplicates.idr
