Aaron Pollack

Sandbox URL: https://pyrefly.org/sandbox/?code=CYUwZgBGD20NoBUC6AKAhgLgggNBARlggJQQC0AfNhgFAT0QB0zNNokALiAM4coAeWAJYA7DhAA+EAHLQRIPAE9hYyTLkhSlCKPFTZ82gx2R+O7usN1jDAE4gOAV1siosAUuLX69py8sgQA

Hi @hauntsaninja thanks for reaching. I wonder if the issue is ignoring the correct files? We have tasks for https://github.com/facebook/pyrefly/issues/319 and https://github.com/facebook/pyrefly/issues/321. I wonder if you have generated artifacts or...

Can you try excluding the venv directory with project_excludes https://pyrefly.org/en/docs/configuration/#project_excludes ? @connernilsen is there a way to output all of the search paths that we pull in? I don't think...

I wonder if the logic for how pyrefly is initialized in zed is related: https://github.com/zed-extensions/pyrefly/blob/main/src/pyrefly.rs

@baab7 thanks for reporting this. I tested in Pylance and I see that the autocomplete import is not available, but it does give the option to import it via quickfix....

@baab7 I tested this again and I do see the auto import available, but it's not as obvious because we don't show the yellow underline. Right now we only show...

@remixer-dec thanks for reporting this issue. Would you be able to share a bit more about the project? A pointer (if open source), lines of code or some other metric....

Great discussion all! Here is how I personally think about stubs for IDE and type checking. Our team is still discussing it, so I'm not speaking for the whole Pyrefly...