Commit Graph

7 Commits

Author SHA1 Message Date
Jelle Zijlstra 353b71c852
Various PEPs: Add acceptance dates (#4064)
Continuing #4054. I added acceptance dates to all PEPs in the packaging
and typing topics with numbers over 700, and then to a few other recent PEPs
where it seemed useful.
2024-10-17 05:49:39 -07:00
Hugo van Kemenade 752fb666bd
PEP 742: Mark as Final (#3937) 2024-09-03 08:34:38 -07:00
Jelle Zijlstra f8f3ec0be2
PEP 742: Mark as Accepted (#3747) 2024-04-03 14:06:43 -04:00
Jelle Zijlstra b70f26b7c4
PEP 742: Allow inferring the intersection type; carry over TypeGuard spec change (#3696) 2024-02-29 07:37:45 -08:00
Jelle Zijlstra c576162334
PEP 742: Expand "How to Teach This" (#3683)
Example sections on:
- When to use TypeIs
- How to write a safe TypeIs
- TypeIs vs. TypeGuard

Also note the implementations in typing-extensions, pyright, and pyanalyze.
2024-02-22 20:55:29 -08:00
Jelle Zijlstra b9cc1fcc61
PEP 742: Add Discussions-To; use TypeIs (#3665) 2024-02-15 17:16:03 -08:00
Jelle Zijlstra 53c3d1a703
PEP 742: TypeNarrower (#3649)
Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
2024-02-10 20:14:42 -08:00