Danny Yang
Danny Yang
> Instead, the general advice is to use [micropip.install()](https://micropip.pyodide.org/en/stable/project/api.html#micropip.install) for everything except in the following cases where [pyodide.loadPackage()](https://pyodide.org/en/stable/usage/api/js-api.html#pyodide.loadPackage) might be more appropriate: to load micropip itself, when you are optimizing...
https://github.com/facebook/pyrefly/issues/119 This also looks related
As steven mentioned, this could be split on 2 parts: 1. downranking deprecated imports 2. fixing `_collections_abc` to be `collections.abc` I'm not sure how to do the second one (cc...
> Maybe length would work? That captures the general idea that top-level libraries are more public facing. As a general case maybe that makes sense, but in this specific case...
cc @stroxler for opinions on the approach
https://pyre-check.org/docs/installation/#ide-integration I think `pyre persistent` is the command to create a language server
There are two issues: first is that if `x: A | B` and we match `x` with some pattern `A()` it doesn't actually narrow `x` to `A` second is that...
the latter point also applies for keys in mapping patterns & indices in sequence patterns
> First, pyright includes (and requires) a bundled version of the typeshed stubs, which it accesses via file system APIs I don't know enough to know whether this could be...
We can only assign issues to people who have commented on the issue (I guess a github limitation to prevent spam?) Not sure if there's a workaround but maybe the...