Run linters and formatters under Bazel

This ruleset integrates linting and formatting as first-class concepts under Bazel.

Features:

No changes needed to rulesets. Works with the Bazel rules you already use.
No changes needed to BUILD files. You don't need to add lint wrapper macros, and lint doesn't appear in bazel query output. Instead, users simply lint their existing *_library targets.
Lint checks and fixes are run as normal Bazel actions, which means they support Remote Execution and the outputs are stored in the Remote Cache.
Lint results can be presented in various ways, such as Code Review comments or failing tests. See Usage below.
Can format files not known to Bazel. Formatting just runs directly on the file tree. No need to create sh_library targets for your shell scripts, for example.
Honors the same configuration files you use for these tools outside Bazel (e.g. in the editor)

This project is inspired by the design for Tricorder. This is how Googlers get their static analysis results in code review (Critique). https://github.com/google/shipshape is an old, abandoned attempt to open-source Tricorder. It is also inspired by https://github.com/github/super-linter.

Supported tools

Language	Formatter	Linter(s)
C / C++	clang-format	(#112)
CSS	Prettier
Go	gofmt or gofumpt	golangci-lint
HCL (Hashicorp Config)	terraform fmt
HTML	Prettier
JSON	Prettier
Java	google-java-format	pmd
JavaScript	Prettier	ESLint
Jsonnet	jsonnetfmt
Kotlin	ktfmt
Markdown	Prettier
Protocol Buffer	buf	buf lint
Python	ruff	flake8, ruff
SQL	prettier-plugin-sql
Scala	scalafmt
Shell	shfmt	shellcheck
Starlark	Buildifier
Swift	SwiftFormat (1)
TSX	Prettier	ESLint
TypeScript	Prettier	ESLint

Non-hermetic: requires that a swift toolchain is installed on the machine. See https://github.com/bazelbuild/rules_swift#1-install-swift

To add a linter, please follow the steps in lint/README.md and then send us a PR. Thanks!!

We'll add documentation on adding formatters as well.

Design

Formatting and Linting work a bit differently.

Formatter	Linter
Only one per language, since they could conflict with each other.	Many per language is fine; results compose.
Invariant: program's behavior is never changed.	Suggested fixes may change behavior.
Developer has no choices. Always blindly accept result.	Fix may be manual, or select from multiple auto-fixes.
Changes must be applied.	Violations can be suppressed.
Operates on a single file at a time.	Can require the dependency graph.
Can always format just changed files / regions	New violations might be introduced in unchanged files.
Fast enough to put in a pre-commit workflow.	Some are slow.

This leads to some minor differences in how they are used in rules_lint.

We treat type-checkers as a build tool, not as a linter. This is for a few reasons:

They are commonly distributed along with compilers. In compiled languages like Java, types are required in order for the compiler to emit executable bytecode at all. In interpreted languages they're still often linked, e.g. TypeScript does both "compiling" to JavaScript and also type-checking. This suggests that rules for a language should include the type-checker, e.g. we expect Sorbet to be integrated with rules_ruby.
We think most developers want "error" semantics for type-checks: the whole repository should successfully type-check or you cannot commit the change. rules_lint is optimized for "warning" semantics, where we produce report files and it's up to the Dev Infra team how to present those, for example only on changed files.
You can only type-check a library if its dependencies were checkable, which means short-circuiting execution. rules_lint currently runs linters on every node in the dependency graph, including any whose dependencies have lint warnings.

Installation

Follow instructions from the release you wish to use: https://github.com/aspect-build/rules_lint/releases

Usage

Format

To format files, run the target you create when you install rules_lint.

We recommend using a Git pre-commit hook to format changed files, by running bazel run //:format [changed file ...].

See Formatting for more ways to use the formatter, such as a pre-commit hook or a CI check.

Lint

To lint code, we recommend using the Aspect CLI to get the missing lint command.

For example, running bazel lint //src:all prints lint warnings to the terminal for all targets in the //src package:

See Linting for more ways to use the linter, such as running as a test target, or presenting results as code review comments.

Ignoring files

The linters only visit files that are part of the Bazel dependency graph (listed as srcs to some library target).

The formatter honors the .gitignore file. Otherwise use the affordance provided by the tool, for example .prettierignore for files to be ignored by Prettier.

Sometimes engineers want to ignore a file with a certain extension because the content isn't actually valid syntax for the corresponding language. For example, you might write a template for YAML and name it my-template.yaml even though it needs to have some interpolated values inserted before it's syntactically valid. We recommend instead fixing the file extension. In this example, my.yaml.tmpl or my-template.yaml_ might be better.

Using with your editor

We believe that existing editor plugins should just work as-is. They may download or bundle their own copy of the tools, which can lead to some version skew in lint/format rules.

For formatting, we believe it's a waste of time to configure these in the editor, because developers should just rely on formatting happening when they commit and not care what the code looks like before that point. But we're not trying to stop anyone, either!

You could probably configure the editor to always run the same Bazel command, any time a file is changed. Instructions to do this are out-of-scope for this repo, particularly since they have to be formulated and updated for so many editors.

mattnworb/rules_lint