The docs show # pyrefly: ignore[bad-return] (no space), but pyrefly suppress generates # pyrefly: ignore [bad-return] (with a space).
Both forms work, but the docs never say the space is optional, so the mismatch looks confusing.
Suggested fix: maybe we can just add a note like this after
|
This is equivalent to `pyrefly check --suppress-errors`. |
The generated comments use the form `# pyrefly: ignore [error-code]`, with a space before
the bracket. This is equivalent to the `# pyrefly: ignore[error-code]` form shown above, and
Pyrefly accepts both.
happy to send a PR, if this looks correct or please let me know if it needs changes. Thanks :)
The docs show
# pyrefly: ignore[bad-return](no space), butpyrefly suppressgenerates# pyrefly: ignore [bad-return](with a space).Both forms work, but the docs never say the space is optional, so the mismatch looks confusing.
Suggested fix: maybe we can just add a note like this after
pyrefly/website/docs/error-suppressions.mdx
Line 90 in ed01fb5
happy to send a PR, if this looks correct or please let me know if it needs changes. Thanks :)