Steven Troxler
Steven Troxler
Update: we've fixed #73 but this bug persists. It may still be related, for example the fix might not have handled something related to BoundMethod wrapping
Thanks for the suggestion! This seems like a great idea for the long tail of package managers that we probably can't fully support with baked-in heuristics and might not always...
Looks like it is now fixed, I see no errors in sandbox
Thanks for the bug report! For whoever picks this up: my initial thought was that maybe negations for generics are generally wrong, but that doesn't seem to be the case...
Thanks for the bug report! I think you're right, we shold prefer the `collections` variants. We ideally would also downrank anything marked as `@deprecated`, but that's a separate implementation I...
I'm not 100% sure where the problem comes from (although there are two interlocking cycles here which I don't think is well-tested) so changing `solver.rs` to use prior types more...
Thanks for the bug report! The minimization is very helpful For whoever picks this up: there's another open issue on package / subpackage behavior: https://github.com/facebook/pyrefly/issues/1663 I don't know whether the...
Okay, I think I see what the problem here is - the setup in the script creates three temp directories, one each for the root and the two packages. The...
Another option given our existing limitations might be to generate a pyrefly.toml that points back to the original project in its search path, that might be easier than copying the...
cc @alexkassil this question could use a Pysa expert