lint: lint submodules via trampoline, downgrade provide error to warning

Bogdan Popa committed on Apr 27, 2025, 07:20 AM

Showing 13 changed files +92 additions -50 deletions

M README.md +4 -1

M cli.rkt +2 -1

M lint.rkt +32 -33

A problem.rkt +26

M tests/lint/define-logger.rkt.out +1 -1

M tests/lint/nested-modules.rkt.out +1 -1

M tests/lint/provided-but-not-defined.rkt.out +5 -5

M tests/lint/struct-mutable-field.rkt.out +3 -3

M tests/lint/struct-mutable.rkt.out +2 -2

M tests/lint/struct-plus-plus.rkt.out +1 -1

M tests/lint/struct.rkt.out +1 -1

M tests/lint/submodule.rkt +10

M tests/lint/submodule.rkt.out +4 -1