Commit 2024-06-23 07:52 ca9e9db1

View on Github →

feat(lint-style): fix update-style-exceptions.py; produce human-readable output by default (#14012)

  • Fix the output of update-style-exceptions.py by making lake exe lint_style optionally produce output in the right format: this regressed in #13620
  • The current error messages are tailored for github annotations, which are not very readable for running the linter locally. Produce a human-readable and clickable error by default, but add a flag (which CI sets) for producing github-style output. This entails adding a small CLI for the lint-style executable.

Estimated changes

added inductive ErrorFormat
modified def formatErrors
modified def lintAllFiles
modified def lintFile
added def lintStyleCli
added def lint_style
modified def main
modified def outputMessage