PEP695 v0

We support basic PEP695 syntax, which includes writing generic type variables, param spec and type var tuples in the new style. We also support bounds. Let us list some sandbox examples:

1- Generic type variables for classes and methods, with bounds
2- Generic type variables for functions
3- ParamSpec
4- TypeVarTuple
5- Type Statements
6- Fully conformant bound checking

What are we not conformant on?

1- Mixing legacy and PEP695 syntax
2- PEP695 variables cannot be used in the same way that legacy style syntax when it comes to declaring them
3- We have to keep track type variable redefinitions within the program itself

Pyre v0.9.18

• Experimental Buck2 support
• Experimental support for unawaited awaitable check
• Recognize {typing,typing_extensions}.override
• Type check messages in assert

Pyre v0.9.11

• Better source location if there are type errors within type comments.
• Basic support for PEP 681 (dataclass transforms).
• Prototype support for LSP hovering and goto-definition (needs to opt-in via configuration but this may change in the future).
• Basic support for PEP 561 (needs to opt-in via configuration but this may change in the future).
• Parsing is now performed lazily. This should significantly reduce the type checking time for small projects.

Pyre v0.9.10

• Fixed parser crashes on files with non-utf codec.
• Fixed bad JSON error in setup.py.
• Various fixes regarding tuple expansions at callsites.

Pyre v0.9.9

Preserve `taint/` subdirectory structure when building `pyre-check` w…

Pyre v0.9.3

Update Pysa quickstart

Reviewed By: gbleaney

Differential Revision: D28416629

fbshipit-source-id: 8ebc243adc0a7e2bcd9823da34216724146c2de2

Pyre v0.0.59

Incomprehensive list of changes since last release:

• Add support for generic type aliases.
• Experimental support for recursive type aliases.
• Deprecated several queries that are no longer actively maintained.
• Automatically add all site packages to search_path if none is specified and a virtual env is activated.

Pyre v0.0.56

Fix an issue with cursor eating and another issue with incorrect auto-determined path for bundled typeshed.

Pyre v0.0.55

Fixed #315

Pyre v0.0.54

Fix pyre init breakage in v0.0.53.