Comments (3)
@gnprice by default, pyre only pulls in the stdlib stubs from typeshed. You can add the third party directory to your .pyre_configuration
by adding the line `"search_path": ["/path/to/typeshed/third_party"]. I'll see if we can make the documentation clearer with respect to this.
from pyre-check.
@sinancepel I've hit (and was about to report, but found this issue first) errors from pyre
indicating that it's not finding third party stubs from typeshed
. To me this is quite surprising, as I'd very much expect those stubs to be being found by default.
Since most users of pyre
will be installing via pip install pyre-check
, they most likely won't know where their typeshed
is without looking for it. I see this as a good motivation for making it easier to enable use of typeshed third party stubs.
Would you be open to either or both:
- making it so that
pyre
picks up the third party stubs from the typeshed by default - providing an option which enables third party stubs to be picked up from the typeshed (perhaps
--[no-]third-party-stubs-from-typeshed
?)
I'd also be curious to understand why the default is what it is (as noted, I find it surprising that the default is to ignore part of the typeshed), so maybe covering that explicitly in the docs would be useful.
Meta: I'm assuming from this issue having been closed that the documentation change you alluded to has happened. If not, I'd be happy to review whether this is needed after that clarification is in place.
from pyre-check.
The main reason to initially support only stdlib was simplicity. As the project grows, we will start looking into 3rd-party as well.
As a matter of fact, I am working on this feature, so I am going to reopen this issue and self-assign it for clarity.
from pyre-check.
Related Issues (20)
- Parsing failure [404]: f-string expression part cannot include a backslash HOT 1
- Pyre infers set-of-literals as set[str] rather than set[MyLiteral] HOT 1
- Null
- Ask for if also import pysa-filter for `sapp` when run `pyre init-pysa`
- Allow use of pyre_extensions in pyre playground, use newer typing_extensions
- Mutable attributes of classes should be invariant in subclasses. HOT 1
- Internal crash: Raised in src/string.ml HOT 11
- Pyre doesn't understand for-else statement HOT 2
- Is it possible to taint specific values of parameters? HOT 2
- Tainting Python Builtin Functions! How do we do this? HOT 1
- Module boto3 - Taint Propagation Issue HOT 3
- Context Manager - Taint Propagation Issue
- PySpark - Incompatible parameter type & Unsupported operand HOT 1
- [Pyre setup.sh] Terminal closes while building from source HOT 2
- Pysa tutorial not working HOT 4
- Find lambdas are not checked correctly
- Errors with recursive type aliases: "JSON is declared to have type `TypeAlias` but is used as type `UnionType`"
- pyre from PyPI can't find its typeshed directory HOT 1
- Update pyre-check.org/play to use Python 3.11 HOT 2
- [BUG] Check command exited with non-zero return code: 126. HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from pyre-check.