Code

PEP 724: Stricter TypeGuard#3266

Code

Merged

JelleZijlstra merged 83 commits intopython:mainpython/peps:mainfrom rchiodo:rchiodo/pep_725rchiodo/peps:rchiodo/pep_725Copy head branch name to clipboardSep 18, 2023

+332

Commits

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

  Show description for f00e7a2
  

  rchiodo

  and

  debonte

  authored
  f00e7a2

• Update pep-0722.rst

  Show description for c895a0a
  

  rchiodo

  and

  debonte

  authored
  c895a0a

• Update pep-0722.rst

  Show description for 5305af4
  

  rchiodo

  and

  debonte

  authored
  5305af4

• Update pep-0722.rst

  Show description for b6335f0
  

  rchiodo

  and

  debonte

  authored
  b6335f0

• Update pep-0722.rst

  Show description for f24ca7c
  

  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

  Show description for 708f60c
  

  rchiodo

  and

  debonte

  authored
  708f60c

• Update pep-0722.rst

  Show description for 662341f
  

  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

  Show description for 66bdf14
  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

  Show description for a9b0407
  

  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

  Show description for 07af8f7
  

  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

  Show description for 4f9753a
  

  rchiodo

  and

  hugovk

  authored
  4f9753a

• Update pep-0724.rst

  Show description for 3c37ec3
  

  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

  Show description for 5ff0408
  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

  Show description for e5f4749
  JelleZijlstra

  authored
  e5f4749

Commits on Sep 9, 2023

• Merge remote-tracking branch 'upstream/main' into rchiodo/pep_725

  Show description for 25fc119
  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

  Show description for 5963e45
  

  rchiodo

  and

  AA-Turner

  authored
  5963e45

• Update peps/pep-0724.rst

  Show description for 867c541
  

  rchiodo

  and

  AA-Turner

  authored
  867c541

• Update peps/pep-0724.rst

  Show description for 2a2336a
  

  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