Repository navigation

Implement TypeIs (PEP 742) - #16898

Merged

JelleZijlstra merged 30 commits into

python:masterfrom

JelleZijlstra:typenarrower

Mar 1, 2024

Merged

Implement TypeIs (PEP 742)#16898
JelleZijlstra merged 30 commits into
python:masterfrom
JelleZijlstra:typenarrower

Commits on Feb 9, 2024
- Basic work on TypeNarrower
  JelleZijlstra
  committed
  8a30073
- Initial tests (many failing)
  JelleZijlstra
  committed
  58e8403
Commits on Feb 10, 2024
- Fewer test failures
  JelleZijlstra
  committed
  c8d2af8
- Fix the remaining tests
  JelleZijlstra
  committed
  f205910
- Did not actually need TypeNarrowerType
  JelleZijlstra
  committed
  75c9dec
- Error for bad narrowing
  JelleZijlstra
  committed
  4666486
- temp change typeshed
  JelleZijlstra
  committed
  25a9c79
- Fixes
  JelleZijlstra
  committed
  faa4a07
- Merge branch 'master' into typenarrower
  JelleZijlstra
  authored
  c0e0210
- [pre-commit.ci] auto fixes from pre-commit.com hooks
  pre-commit-ci[bot]
  committed
  f107e5b
- doc
  JelleZijlstra
  committed
  34700bb
- fix self check
  JelleZijlstra
  committed
  065ec92
- like this maybe
  JelleZijlstra
  committed
  aef3036
- Merge remote-tracking branch 'upstream/master' into typenarrower
  JelleZijlstra
  committed
  4b19c77
- Fix and add tests
  JelleZijlstra
  committed
  6b0e749
- [pre-commit.ci] auto fixes from pre-commit.com hooks
  pre-commit-ci[bot]
  committed
  c9e53e6
Commits on Feb 14, 2024
- Use TypeIs
  JelleZijlstra
  committed
  909e53c
- [pre-commit.ci] auto fixes from pre-commit.com hooks
  pre-commit-ci[bot]
  committed
  eb88371
Commits on Feb 22, 2024
- Apply suggestions from code review
  
  JelleZijlstra
  and
  cdce8p
  authored
  1b1e368
Commits on Feb 23, 2024
- Code review feedback, new test case, fix incorrect constraints
  JelleZijlstra
  committed
  84c69d2
- [pre-commit.ci] auto fixes from pre-commit.com hooks
  pre-commit-ci[bot]
  committed
  ae294bf
Commits on Mar 1, 2024
- Merge remote-tracking branch 'upstream/master' into typenarrower
  JelleZijlstra
  committed
  7fedbcf
- Rename error code
  JelleZijlstra
  committed
  dbc229d
- Quote name
  JelleZijlstra
  committed
  8b2fb0b
- unxfail
  JelleZijlstra
  committed
  816fd1a
- add elif test
  JelleZijlstra
  committed
  d6fcc35
- type context test
  JelleZijlstra
  committed
  ef825ce
- Add test
  JelleZijlstra
  committed
  d32956d
- Add error code test case
  JelleZijlstra
  committed
  a36a16a
- update docs
  JelleZijlstra
  committed
  b32ba80

Commits

Commits on Feb 9, 2024

Commits on Feb 10, 2024

Commits on Feb 14, 2024

Commits on Feb 22, 2024

Commits on Feb 23, 2024

Commits on Mar 1, 2024