Repository navigation

PEP 724: Stricter TypeGuard - #3266

Merged

JelleZijlstra merged 83 commits into

python:mainfrom

rchiodo:rchiodo/pep_725

Sep 18, 2023

Merged

PEP 724: Stricter TypeGuard#3266
JelleZijlstra merged 83 commits into
python:mainfrom
rchiodo:rchiodo/pep_725

Commits on Aug 2, 2023
- Update after Erik's feedback
  rchiodo
  committed
  f5205c6
- Erik's initial comments
  rchiodo
  committed
  9da9233
- Update after Erik's feedback
  rchiodo
  committed
  00d5247
- Merge branch 'rchiodo/pep-722-strictertypeguard' of https://github.com/rchiodo/peps into rchiodo/pep-722-strictertypeguard
  rchiodo
  committed
  79720d5
Commits on Aug 3, 2023
- Update pep-0722.rst
  rchiodo
  authored
  4c4a0e9
- Add the deliberate mistake case
  rchiodo
  committed
  4f90e9c
- Merge branch 'rchiodo/pep-722-strictertypeguard' of https://github.com/rchiodo/peps into rchiodo/pep-722-strictertypeguard
  rchiodo
  committed
  faa5768
- Update pep-0722.rst
  
  rchiodo
  and
  debonte
  authored
  f00e7a2
- Update pep-0722.rst
  
  rchiodo
  and
  debonte
  authored
  c895a0a
- Update pep-0722.rst
  
  rchiodo
  and
  debonte
  authored
  5305af4
- Update pep-0722.rst
  
  rchiodo
  and
  debonte
  authored
  b6335f0
- Update pep-0722.rst
  
  rchiodo
  and
  debonte
  authored
  f24ca7c
- More review feedback
  rchiodo
  committed
  cbf907a
- Merge branch 'rchiodo/pep-722-strictertypeguard' of https://github.com/rchiodo/peps into rchiodo/pep-722-strictertypeguard
  rchiodo
  committed
  dea607f
- More review feedback
  rchiodo
  committed
  e5a71ea
- Fix 80 column limit
  rchiodo
  committed
  a32efa4
- Update pep-0722.rst
  
  rchiodo
  and
  debonte
  authored
  708f60c
- Update pep-0722.rst
  
  rchiodo
  and
  debonte
  authored
  662341f
- More feedback
  rchiodo
  committed
  24b88ba
- Review feedback
  rchiodo
  committed
  a682219
- Some more subtle word changes
  rchiodo
  committed
  6287be5
- Change verbiage a little more
  rchiodo
  committed
  a2e0b22
Commits on Aug 4, 2023
- Merge pull request #1 from rchiodo/rchiodo/pep-722-strictertypeguard
  rchiodo
  authored
  66bdf14
- Change pep number
  rchiodo
  committed
  5850d66
- Merge branch 'rchiodo/pep-722' of https://github.com/rchiodo/peps into rchiodo/pep-722
  rchiodo
  committed
  31fb9c7
- Update PEP number
  rchiodo
  committed
  641b761
- Fix some errors in the pre-commit
  rchiodo
  committed
  1ec2207
- Merge branch 'main' into rchiodo/pep_725
  rchiodo
  authored
  ce63130
- Review feedback
  rchiodo
  committed
  6184c24
- Merge branch 'rchiodo/pep_725' of https://github.com/rchiodo/peps into rchiodo/pep_725
  rchiodo
  committed
  00e028c
- Update codeowners
  rchiodo
  committed
  7ab28d9
- Remove ``Resolution``
  AA-Turner
  authored
  dddc7cb
- Move to specification
  rchiodo
  committed
  7e51159
- Merge branch 'rchiodo/pep_725' of https://github.com/rchiodo/peps into rchiodo/pep_725
  rchiodo
  committed
  68e73a3
- Update pep-0724.rst
  
  rchiodo
  and
  AA-Turner
  authored
  a9b0407
- Formatting and grammar
  rchiodo
  committed
  106f10a
- Merge branch 'rchiodo/pep_725' of https://github.com/rchiodo/peps into rchiodo/pep_725
  rchiodo
  committed
  e44d060
- Update pep-0724.rst
  
  rchiodo
  and
  AA-Turner
  authored
  07af8f7
- More review feedback
  rchiodo
  committed
  81bc56c
- Fix footnotes
  rchiodo
  committed
  535ab81
- Update based on Eric's feedback
  rchiodo
  committed
  7b69948
- Fix build warnings
  rchiodo
  committed
  ddc4ec3
- Fixup comment
  rchiodo
  committed
  dd4bf80
Commits on Aug 5, 2023
- Add some more examples
  rchiodo
  committed
  5eab931
- Rework 'backwards compatibility'
  rchiodo
  committed
  c5449b8
- Grammar
  rchiodo
  committed
  6ff5be9
- Remove ``Resolution``
  AA-Turner
  authored
  487a47e
Commits on Aug 7, 2023
- Update pep-0724.rst
  
  rchiodo
  and
  hugovk
  authored
  4f9753a
- Update pep-0724.rst
  
  rchiodo
  and
  hugovk
  authored
  3c37ec3
- Merge branch 'main' into rchiodo/pep_725
  rchiodo
  authored
  27bac54
- Fix column width
  rchiodo
  committed
  b90df2c
Commits on Aug 8, 2023
- Another try for backwards compatibility
  rchiodo
  committed
  3263b63
- another blurb about backwards compatibility
  rchiodo
  committed
  dcf3d49
Commits on Aug 25, 2023
- Merge remote-tracking branch 'upstream/main' into rchiodo/pep_725
  rchiodo
  committed
  598d0da
- Add mypy primer test
  rchiodo
  committed
  a580f4a
- Add another rejected idea
  rchiodo
  committed
  95d4616
Commits on Aug 28, 2023
- Fix typo
  rchiodo
  committed
  b267456
Commits on Aug 30, 2023
- Update based on discussions with Eric
  rchiodo
  committed
  6b246f2
Commits on Aug 31, 2023
- Remove unnecessary lines and incorrect statement about covariance
  rchiodo
  committed
  0e24a6f
- Merge branch 'main' into rchiodo/pep_725
  rchiodo
  authored
  457ea0e
Commits on Sep 1, 2023
- Use 'math' to specify logic
  rchiodo
  committed
  5ff0408
- Merge branch 'main' into rchiodo/pep_725
  rchiodo
  authored
  b91a5ca
- Don't reference intersections as a future PEP
  rchiodo
  committed
  d8ea2cc
- Extra line
  rchiodo
  committed
  671df1f
- Improve wording
  rchiodo
  committed
  d3048de
Commits on Sep 5, 2023
- Move degenerate case
  rchiodo
  committed
  4a7039e
- Some formatting
  rchiodo
  committed
  e3fd558
- Merge branch 'main' into rchiodo/pep_725
  rchiodo
  authored
  bccb5fb
Commits on Sep 8, 2023
- Update pep-0724.rst
  JelleZijlstra
  authored
  e5f4749
Commits on Sep 9, 2023
- Merge remote-tracking branch 'upstream/main' into rchiodo/pep_725
  AA-Turner
  committed
  25fc119
- Move to ``peps/``
  AA-Turner
  committed
  44a31ae
- Whitespace
  AA-Turner
  committed
  93b1503
- Add trailing comma
  AA-Turner
  committed
  499639f
- Copyright formatting
  AA-Turner
  committed
  b181ef9
Commits on Sep 11, 2023
- Update peps/pep-0724.rst
  
  rchiodo
  and
  AA-Turner
  authored
  5963e45
- Update peps/pep-0724.rst
  
  rchiodo
  and
  AA-Turner
  authored
  867c541
- Update peps/pep-0724.rst
  
  rchiodo
  and
  AA-Turner
  authored
  2a2336a
- More review feedback
  rchiodo
  committed
  dd5fdee
Commits on Sep 15, 2023
- Updates from Eric Traut
  rchiodo
  committed
  92768e2
- Fix build and linter
  rchiodo
  committed
  159c519
- Merge branch 'main' into rchiodo/pep_725
  rchiodo
  authored
  8f28e7a
- Try fixing post history
  rchiodo
  committed
  678ce5f
- Fix post history again
  rchiodo
  committed
  f817e07

Commits

Commits on Aug 2, 2023

Commits on Aug 3, 2023

Commits on Aug 4, 2023

Commits on Aug 5, 2023

Commits on Aug 7, 2023

Commits on Aug 8, 2023

Commits on Aug 25, 2023

Commits on Aug 28, 2023

Commits on Aug 30, 2023

Commits on Aug 31, 2023

Commits on Sep 1, 2023

Commits on Sep 5, 2023

Commits on Sep 8, 2023

Commits on Sep 9, 2023

Commits on Sep 11, 2023

Commits on Sep 15, 2023