Skip to content
New issue

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

Bump pyre-check from 0.9.18 to 0.9.23 #1237

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

dependabot[bot]
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Nov 4, 2024

Bumps pyre-check from 0.9.18 to 0.9.23.

Release notes

Sourced from pyre-check's releases.

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

Commits
  • f9b8277 Prevent users from shadowing builtins.pyi in ptt
  • 4800c02 Add a test case showing we can shadow builtins.pyi
  • 6e63d8e Add GK check to see if we should allow preempting
  • 40aa399 Retry preempted type check only if type check was interrupted by another type...
  • 7661930 Fix ParamSpec bug where we do not propagate type vars in typecheck
  • 43ba1fe remove 300px left margin on oss pyre playground
  • 275427d Move userage to 5XXX
  • f6f2a48 Do not use infer_variance with covariant and contravariant flags
  • 4570f27 Cleanup variance inference code
  • 1ff4035 Disable variance on recursive types
  • Additional commits viewable in compare view

Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

Bumps [pyre-check](https://github.com/facebook/pyre-check) from 0.9.18 to 0.9.23.
- [Release notes](https://github.com/facebook/pyre-check/releases)
- [Commits](facebook/pyre-check@v0.9.18...v0.9.23)

---
updated-dependencies:
- dependency-name: pyre-check
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>
@dependabot dependabot bot added dependencies Pull requests that update a dependency file python Pull requests that update Python code labels Nov 4, 2024
@facebook-github-bot facebook-github-bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label Nov 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. dependencies Pull requests that update a dependency file python Pull requests that update Python code
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant