pyre-check v0.1.2 Release Notes

Release Date: 2019-08-31 // about 2 years ago

Previous changes from v0.0.30

  • ๐Ÿš€ Biggest changes since last release (non-exhaustive):

    • ๐Ÿ›  Fixed support for nested recursive function.
    • ๐Ÿ›  Fixed several issues where the type of globally-accessible values are erroneously locally refined.
    • ๐Ÿ‘Œ Support batch type lookup query pyre query "types(...)".
    • ๐Ÿ‘Œ Support basic variadic generics on functions & classes.
    • โž• Added a safe_cast that functions similar to typing.cast but enforces subclass.
    • ๐Ÿ›  Fixed several issues with search path construction & error filtering.
    • ๐Ÿ”ง search_path configuration now allows entries of the form { "site-package": "XXX" }
    • Support specifying relative paths in binary, typeshed, and ignore_all_errors.
    • ๐Ÿ”ง Special placeholder ${SOURCE_DIRECTORY} can be added to exclude configuration to allow relative path matching in exclude configuration.
    • ๐Ÿ‘Œ Improved the quality of pyre-infer annotations.
    • sapp is no longer bundled.