Linting and Type-Checking
Load dev/checking.md for detailed guidance on fixing errors.
Procedure
- •Run
make check-fix(auto-fixes formatting and simple issues) - •Run
make check- must pass - •Run
make check-strict-all- must pass - •If errors occur, fix them using guidance from
dev/checking.md - •Repeat until both check commands pass
Exit Conditions
- •Success: Both
make checkandmake check-strict-allpass - •Failure: Report remaining errors clearly