facebook/pyrefly

is there a way of disabling automatically adding missing imports to the top when typing argument keywords? about 3 hours ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

TOML parse error shows incorrect location about 3 hours ago

configuration help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Confusing error message: Returned type `() -> int` is not assignable to declared return type `() -> int` about 3 hours ago

typechecking help wanted stale readability

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

"Docstrings from .py when type is from .pyi" is not working about 5 hours ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

auto completion order can be optimized a bit about 8 hours ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

support show range when hover on `and` `or` about 11 hours ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Pyrefly incorrectly flags valid `dataclass` field named `self` as duplicate and wrong 3 days ago

typechecking help wanted pydantic

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

reveal_type don't have code action to import 4 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - ban subtyping dataclass with `order=True` 4 days ago

good first issue typechecking stale

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`# type: ignore` does not support specific error codes 4 days ago

help wanted stale

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Feat: update baseline file on file save 6 days ago

help wanted language-server baseline

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Renaming dataclass property renames class name instead 6 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

panic: key lacking binding with fuzzed assignment expressions and comprehensions 6 days ago

help wanted stale crash

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - duplicate `KW_ONLY` in dataclass 6 days ago

typechecking help wanted stale

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

[pyrefly][completions][auto-import] rank based on deprecated aliases 8 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

pydantic - `Strict` types are not treated as strict mode 8 days ago

help wanted pydantic

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Feature: `--remove-unused-type-ignores` flag to clean up unused `# type: ignore` comments 8 days ago

good first issue

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Add --dry-run flag to pyrefly infer 8 days ago

help wanted infer

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - ban unsafe multiple inheritance 9 days ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

highlight for %s in string 9 days ago

good first issue language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Sequence pattern in `match`/`case` with a literal element does not narrow a type out of a union 9 days ago

typechecking help wanted scoping-control-flow

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Feature request: Warn on unrecognized config keys 9 days ago

configuration help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Improve suppression behavior for unused-ignore 11 days ago

configuration typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - `TypeVar` redefinition 11 days ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

bad-argument-type on Annotated pydantic fields with custom schema 13 days ago

help wanted pydantic

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Autocompletion when constructing anonymous `TypedDict` in function calls 13 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Narrow types based on collection containment 14 days ago

typechecking help wanted narrowing

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

pytest goto definition support conftest 14 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Incorrect union narrowing with `is EnumMember` 14 days ago

typechecking help wanted narrowing msgspec

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

enum hover should show fields, not call 14 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

type source not show on field 14 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

false negative: `Callable[..., ...]` 14 days ago

good first issue typechecking quansight

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - zero step in slice 14 days ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

False-positive trigger of `unused-variable` when returning a `Generator` 14 days ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

add code action video and description to IDE features docs 15 days ago

documentation good first issue help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

report baselined errors as a hint in the language server 15 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

support multiple values for `python-platform` 15 days ago

configuration help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Inline variable code action - inserts parentheses unnecessarily 15 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

enh: show more info in `reveal_type` 16 days ago

configuration help wanted needs-discussion quansight

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

false positive `unannotated-return` for `@no_type_check` function 16 days ago

good first issue typechecking quansight

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - empty body 20 days ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - invalid assignment to `TYPE_CHECKING` 21 days ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - ban `super()` call in `NamedTuple`s 21 days ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

report an error when assigning a default value to `self` or `cls` 21 days ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

maybe mention pytest support in doc 21 days ago

documentation help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Pyrefly reports `missing-import` for workspace package exposed via `.pth` editable install 22 days ago

help wanted stale language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`untyped-import` false positive on import from `requests` module 22 days ago

typeshed help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

[sandbox] crash when switching to pyrefly.toml tab 23 days ago

sandbox help wanted crash

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

[Feature] Add ability to set command to discover the interpreter 24 days ago

configuration help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - useless overload body 26 days ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

no error when `@abstractmethod` is used on a non-`ABC` 26 days ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - unused `# type: ignore` comment 26 days ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`@dataclass` on a `NamedTuple` should be an error 27 days ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

lint rule - unused call result 27 days ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

improve the the type parameter missing error 27 days ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Support whole file suppression for specific error codes (pyrefly: ignore-errors) 27 days ago

help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

show variance when hovering over generics 27 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

hover on getitem only works with space 29 days ago

help wanted stale language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Stack overflow in resolve_get_class_attr about 1 month ago

help wanted crash

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`@dataclass_transform` metaclass + `__new__ -> "Base"` collapses subclasses to base about 1 month ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Sandbox Report Issue button causes wasm to panic about 1 month ago

sandbox help wanted crash

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Language server: Thread panicked about 1 month ago

help wanted crash language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`invalid-variance` error always appears on the first overload about 1 month ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

[VSCode][ipynb] Changing kernels causes hover to stop working about 1 month ago

help wanted language-server notebook

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

paramspec parameter don't show difference in hover about 1 month ago

good first issue language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

[pyrefly][completions][auto-import] rank collections.abc before _collections_abc about 1 month ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

support underscore variables starting with (`_`) to indicate intentionally unused variables about 1 month ago

typechecking help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

VSCode Auto-import inserts imports above `from __future__ import annotations` about 1 month ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

panic: `Key Anon already exists with value ClassDef` with fuzzed NamedTuple code about 2 months ago

typechecking help wanted crash

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Pyrefly 1.0.0 does not auto-detect project-root .venv when .venv is a symlink about 2 months ago

configuration help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

panic: `key lacking binding` with fuzzed code about 2 months ago

typechecking help wanted crash

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

stack overflow in LSP for Positron about 2 months ago

help wanted crash language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Code Conventions link in CONTRIBUTING.md leads to 404 about 2 months ago

documentation good first issue

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`in` operation on `tuple` of `Literal` doesn't narrow type about 2 months ago

typechecking help wanted narrowing

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`invalid-decorator` default severity is `warn` but the docs don't say so about 2 months ago

documentation good first issue

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

junitxml report format support about 2 months ago

help wanted report

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Feat: add config preset where all errors are enabled about 2 months ago

good first issue configuration

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Disallow overriding __setattr__/__delattr_ of frozen dataclass about 2 months ago

good first issue typechecking stale

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

inlayHints.callArgumentNames not shown in setting ui about 2 months ago

good first issue language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

panic: LookupAnswer::get failed to find key 2 months ago

help wanted crash

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

import completions don't work in the sandbox 3 months ago

sandbox help wanted stale

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

panic: `key lacking binding` with fuzzed code 3 months ago

help wanted stale crash

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

lint unnecessary type convert 3 months ago

good first issue

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

improve enum error suggestion 3 months ago

help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Calling NotImplemented (a constant, not a class) 3 months ago

good first issue typechecking v1-consider-adding

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Add GitLab Code-Quality report format 3 months ago

help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Division by zero with literal zero divisor 3 months ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Pyrefly does not flag invalid return value for method annotated with Self 3 months ago

typechecking help wanted conformance v1-consider-adding

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Duplicate Protocol base class not detected 3 months ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

hover over tuple element shows type of whole tuple 3 months ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

@dataclass applied to Protocol subclass 3 months ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`namedtuple` with `cls` in field names gives type warnings 3 months ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

@dataclass applied to Enum subclass 3 months ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

@dataclass applied to TypedDict subclass 3 months ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

__slots__ layout conflict with same slot names 3 months ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

__slots__ layout conflict in multiple inheritance 3 months ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

could the sandbox remember what i have? 3 months ago

sandbox help wanted stale

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Pytest project structure not supported by Pyrefly import root heuristics 3 months ago

configuration help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

rank items from `__init__.py` lower in symbol search 3 months ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Emit deprecated tag for `deprecated` LSP diagnostics 4 months ago

good first issue language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Open Issues Need Help