Skip to content

Conversation

@hauntsaninja
Copy link
Collaborator

@hauntsaninja hauntsaninja commented Jan 5, 2022

I don't know that these have caught any real issues in the last couple
years, however, the standard library ones have been a bit of a pain,
most recently in #11905.

Jukka was okay removing the stdlib samples two years ago, see
#8838 (comment)
We now have tooling like mypy primer that runs mypy over a much larger
and more varied corpus of code on every PR.

The other samples haven't caused me much bother (except for crawl,
which I removed in #9375), but except for crawl2, they're all very simple.
I don't think they provide us much value, unless they have sentimental or
historical value.

I don't know that these have caught any real issues in the last couple
years, however, the standard library ones have been a bit of a pain,
most recently in python#11905.

Jukka was okay removing the stdlib samples two years ago, see
python#8838 (comment)
We now have tooling like mypy primer that runs mypy over a much larger
and more varied corpus of code on every PR.

The other samples haven't caused me much bother, but except for crawl2,
they're all very simple. I don't think they provide us much value,
unless they have sentimental or historical value.
@hauntsaninja hauntsaninja mentioned this pull request Jan 5, 2022
@hauntsaninja hauntsaninja merged commit 531a1f0 into python:master Jan 8, 2022
@hauntsaninja hauntsaninja deleted the samp branch January 8, 2022 00:08
tushar-deepsource pushed a commit to DeepSourceCorp/mypy that referenced this pull request Jan 20, 2022
I don't know that these have caught any real issues in the last couple
years, however, the standard library ones have been a bit of a pain,
most recently in python#11905.

Jukka was okay removing the stdlib samples two years ago, see
python#8838 (comment)
We now have tooling like mypy primer that runs mypy over a much larger
and more varied corpus of code on every PR.

The other samples haven't caused me much bother (except for crawl,
which I removed in python#9375), but except for crawl2, they're all very simple.
I don't think they provide us much value, unless they have sentimental or
historical value.
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.

1 participant