Skip to content

Upgrade mypy to 1.6.1#4049

Merged
JelleZijlstra merged 4 commits intopsf:mainfrom
AlexWaygood:bump-mypy
Nov 18, 2023
Merged

Upgrade mypy to 1.6.1#4049
JelleZijlstra merged 4 commits intopsf:mainfrom
AlexWaygood:bump-mypy

Conversation

@AlexWaygood
Copy link
Copy Markdown
Contributor

Description

This PR bumps the pinned version of mypy to 1.7.0. Since mypy 1.7.0 includes python/mypy@940fceb, this should unblock us from creating mypyc-compiled wheels for Python 3.12 (though I don't do that here; it's deferred to a followup PR).

Checklist - did you ...

  • Add an entry in CHANGES.md if necessary?
  • Add / update tests if necessary?
  • Add new / update outdated documentation?

@AlexWaygood
Copy link
Copy Markdown
Contributor Author

AlexWaygood commented Nov 18, 2023

The CI failures look like python/mypy#16480, which was a mypyc regression in mypy 1.7.0. I guess we'll have to wait for mypy 1.7.1, which will (I assume) include python/mypy#16484 (the fix to that mypy issue).

@AlexWaygood AlexWaygood marked this pull request as draft November 18, 2023 13:38
@AlexWaygood AlexWaygood changed the title Upgrade mypy to 1.7.0 Upgrade mypy to 1.6.1 Nov 18, 2023
@AlexWaygood AlexWaygood marked this pull request as ready for review November 18, 2023 14:00
@AlexWaygood
Copy link
Copy Markdown
Contributor Author

Okay, for now I've changed the PR so that it only upgrades mypy to 1.6.1. That means that it no longer unblocks building mypycified wheels for Python 3.12, since mypy 1.6.1 doesn't include python/mypy@940fceb. But merging this PR will mean there will be fewer changes necessary to upgrade mypy to 1.7.1, once mypy 1.7.1 is released.

Comment thread tests/optional.py Outdated
@github-actions
Copy link
Copy Markdown
Contributor

diff-shades reports zero changes comparing this PR (77f9fc3) to main (85b1c71).


What is this? | Workflow run | diff-shades documentation

@JelleZijlstra JelleZijlstra merged commit d93a942 into psf:main Nov 18, 2023
@AlexWaygood AlexWaygood deleted the bump-mypy branch November 18, 2023 19:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants