Performant type-checking for python.
Biggest changes since last release (non-exhaustive):
pyre query "types(...)"
.safe_cast
that functions similar to typing.cast
but enforces subclass.search_path
configuration now allows entries of the form { "site-package": "XXX" }
binary
, typeshed
, and ignore_all_errors
.${SOURCE_DIRECTORY}
can be added to exclude
configuration to allow relative path matching in exclude
configuration.pyre-infer
annotations.sapp
is no longer bundled.