If typechecking the file fails, do not report any errors. Once all type (or syntax) errors in the file are fixed, start reporting. This should reduce clutter and enable developers to "talk" with the type-checker first, fixing lint errors later.
If typechecking the file fails, do not report any errors. Once all type (or syntax) errors in the file are fixed, start reporting.
This should reduce clutter and enable developers to "talk" with the type-checker first, fixing lint errors later.