facebook / facebook/pyrefly

[zed] type errors do not update across files

Open
#3,379 2 comments 0 reactions 0 assignees View on GitHub
language-server
Dominant language
Rust
Stars
7k
Forks
516
PR merge metrics
No merged PRs in 30d

Description

### Describe the Bug

seems like the zed extension is incapable of applying changes to other files
for test I created a fresh project
created a file named a.py and inside it created a class named Base
after that created another file named b.py and tried to do from .a import Base but I'm getting
Could not import `Base` from `a` (Pyrefly missing-module-attribute)

after I restarted the LSP server manually it now detects the Base but again if I change Base in a.py to any other name b.py stll think the name is Base

Image

### Sandbox Link

_No response_

### (Only applicable for extension issues) IDE Information

_No response_

from https://discord.com/channels/1319086885024567347/1504087360294490233/1504155378416353360

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.