facebook / pyre-check

Performant type-checking for python.

Home Page:https://pyre-check.org/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Pyre couldn't find a required site-package

WangGithubUser opened this issue · comments

Pyre Bug

Bug description
Pyre can't find a Python Extension Module (.pyd) package in site-package

Reproduction steps
Run pyre with the following .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`

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.

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.
image

And all the files will be listed in the RECORD file, so we can filter them out.