We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Bug description Pyre can't find a Python Extension Module (.pyd) package in site-package
Python Extension Module (.pyd)
Reproduction steps Run pyre with the following .pyre_configuration:
.pyre_configuration
{ "site_package_search_strategy": "pep561", "source_directories": [ "." ], "search_path": [ { "site-package": "ujson" } ], "taint_models_path": "Secret", "typeshed": "Secret" }
Expected behavior It should pass but not warning ƛ Site package does not exist: `ujson`
ƛ Site package does not exist: `ujson`
Logs
pyre check ƛ Site package does not exist: `ujson` ƛ No type errors found
Additional context This may due to pyre do not treat .pyd files(actully all the files that not have .py shuffix) as a package.
pyre
.pyd
The text was updated successfully, but these errors were encountered:
Fix suggestion: Every site-package must have a name-version.dist-info folder in the site root, and there will be a RECORD file in the folder.
name-version.dist-info
RECORD
And all the files will be listed in the RECORD file, so we can filter them out.
Sorry, something went wrong.
Successfully merging a pull request may close this issue.
Pyre Bug
Bug description
Pyre can't find a
Python Extension Module (.pyd)
package in site-packageReproduction steps
Run pyre with the following
.pyre_configuration
:Expected behavior
It should pass but not warning
ƛ Site package does not exist: `ujson`
Logs
Additional context
This may due to
pyre
do not treat.pyd
files(actully all the files that not have .py shuffix) as a package.The text was updated successfully, but these errors were encountered: