Skip to content

Fail with an explicit error on PyPy - #20384

Merged
ilevkivskyi merged 4 commits into
python:masterfrom
ilevkivskyi:fail-explicit-pypy
Dec 9, 2025
Merged

Fail with an explicit error on PyPy#20384
ilevkivskyi merged 4 commits into
python:masterfrom
ilevkivskyi:fail-explicit-pypy

Conversation

@ilevkivskyi

Copy link
Copy Markdown
Member

Fixesmypyc/librt#21

Fail with an explicit user-friendly error on PyPy.

@github-actions

This comment has been minimized.

@github-actions

Copy link
Copy Markdown
Contributor

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅

@ilevkivskyi
ilevkivskyi merged commit 284ba55 into python:masterDec 9, 2025
23 checks passed
@ilevkivskyi
ilevkivskyi deleted the fail-explicit-pypy branch December 9, 2025 14:08

@hauntsaninjahauntsaninja left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Not sure error in setup.py is the best, since PyPy will presumably pull the pure Python wheel. Maybe we should import librt in main at runtime and error if it fails

@ilevkivskyi

Copy link
Copy Markdown
MemberAuthor

Oh, hm, TBH I don't know how PyPy works, but yeah, that may be more robust. I think we don't even need to try importing librt, simply fail unconditionally in main on PyPy.

@ilevkivskyi

Copy link
Copy Markdown
MemberAuthor

Follow up in #20389

@ilevkivskyiilevkivskyi mentioned this pull request Dec 10, 2025
ilevkivskyi added a commit that referenced this pull request Dec 10, 2025
hauntsaninja pushed a commit that referenced this pull request Dec 13, 2025
Fixesmypyc/librt#21
Fail with an explicit user-friendly error on PyPy.
hauntsaninja pushed a commit that referenced this pull request Dec 13, 2025
Delgan added a commit to Delgan/loguru that referenced this pull request Apr 5, 2026
Latest Mypy versions are incompatible with PyPy:
- python/mypy#20329
- python/mypy#20384
Sign up for freeto 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.

0.7.0 does not install with pypy 3.10 or 3.11

3 participants

@ilevkivskyi@hauntsaninja@RiyaPrabhakar-git