plredmond

Red Knot - Add symbol flags

1

First commit adds symbol flags using the bitflags package. The flags for is-defined and is-used (in the current scope) are implemented. Second commit is a bare-sketch of the data for...

RUF029 (unneeded async) needs nuance for class methods

4

Issue #9951 lead to PR #9966 where we check for functions that are declared async, but do not use any async features, and flag them. However, this caused several false...

F401 (unused imports) - Help text underlining is confusing

1

In https://github.com/astral-sh/ruff/pull/11168 we [noticed](https://github.com/astral-sh/ruff/pull/11168#discussion_r1583791309) that the help text is only underlining the as-name part of an unused import, e.g. ``` 47 | from . import renamed as bees # F401:...

F401 - Recommend adding unused import bindings to `__all__`

5

Followup on #11168 and resolve #10391 # User facing changes * F401 now recommends a fix to add unused import bindings to to `__all__` if a single `__all__` list or...

[redknot] add module type and attribute lookup for some types

2

* Add a module type, `ModuleTypeId` * Add an attribute lookup method `get_member` for `Type` * Only implemented for `ModuleTypeId` and `ClassTypeId` * [ ] Should this be a trait?...

F401 - update documentation and deprecate `ignore_init_module_imports`

3

## Summary * [x] Update documentation for F401 following recent PRs * #11168 * #11314 * [ ] Deprecate `ignore_init_module_imports` (Do we have a proceedure for this?) ## Test plan...

[redknot] unspecified-encoding lint rule

1

Implement an [unspecified_encoding.py](https://github.com/augustelalande/ruff/blob/e1029f1230e51ba75c746bbe5ad0c399e2afa39a/crates/ruff_linter/resources/test/fixtures/pylint/unspecified_encoding.py) lint rule like the one in [#11288](https://github.com/astral-sh/ruff/pull/11288). ```python import tempfile tempfile.TemporaryFile("w") # error tempfile.TemporaryFile("w", encoding="utf-8") # ok ``` This is still a draft.

[documentation] trivial recursive function confuses the termination checker (not really, but, beginner's explanation)

1

Question from [slack conv](https://liquidhaskell.slack.com/archives/C54QAL9RR/p1600905279008400) copied here at @.ranjitjhala's request: > I'm trying to define a trivial recursive function over a datatype, and getting an error (which seems to be) stating...

[remux] hang at 100% cpu after restarting keyd

7

### Repro (in type-folio, but "lying down"/disconnected) (in "flight mode") * via ssh (over usb) 1. Boot up rm2 1. ssh into rm2 1. `systemctl restart keyd` 1. open htop...

# Description Foreign keys are off under the sqlite backend (version `selda-sqlite-0.1.7.2`), despite [code meant to turn them on](https://github.com/valderman/selda/blob/ab9619db13b93867d1a244441bb4de03d3e1dadb/selda-sqlite/src/Database/Selda/SQLite.hs#L44). # Steps to reproduce 1. Make a file `Main.hs` with: ```haskell...