Repository navigation

gh-103763: Implement PEP 695 - #103764

Merged

JelleZijlstra merged 232 commits into

python:mainfrom

JelleZijlstra:tvobject

May 16, 2023

Commits on Apr 9, 2023
- Moved portions of earlier prototype into latest main CPython branch. This commit includes:
  msfterictraut
  committed
  9c8cd71
Commits on Apr 13, 2023
- Run Tools/build/generate_global_objects.py
  JelleZijlstra
  committed
  609ac0d
- Basic C implementation of TypeVar, TypeVarTuple, ParamSpec
  JelleZijlstra
  committed
  7a5e457
- fix TypeVar signature
  JelleZijlstra
  committed
  1e0b74c
- fix TypeVar argument parsing
  JelleZijlstra
  committed
  2a5023a
Commits on Apr 14, 2023
- ParamSpecArgs/Kwargs
  JelleZijlstra
  committed
  1bc8574
- make typing importable
  JelleZijlstra
  committed
  ed42796
- Add some things
  JelleZijlstra
  committed
  d06f43d
- Updated unit tests to reflect the latest PEP 695 spec.
  msfterictraut
  committed
  830b36a
Commits on Apr 15, 2023
- Merge remote-tracking branch 'erictraut/type_param_syntax4' into tvobject
  JelleZijlstra
  committed
  b6bf2bc
- Make *Ts work
  JelleZijlstra
  committed
  6bb4795
- Just call typing.py
  JelleZijlstra
  committed
  c7c1618
- attempt at pickling
  JelleZijlstra
  committed
  772920f
- better approach
  JelleZijlstra
  committed
  6ff6f5a
- fix a few tests and refcount bugs
  JelleZijlstra
  committed
  9fdf373
Commits on Apr 16, 2023
- Use Name expr for TypeAlias
  cdce8p
  committed
  f7c513d
- Add ast optimizer for typeparam
  cdce8p
  committed
  1d7b035
- Use Name expr for TypeParameter
  cdce8p
  committed
  85a4409
Commits on Apr 17, 2023
- Revert AST changes for TypeParams
  cdce8p
  committed
  55d0fd9
Commits on Apr 18, 2023
- Merge pull request #7 from cdce8p/eric-ast-changes
  erictraut
  authored
  618e173
- broken compiler before merge
  JelleZijlstra
  committed
  bef978f
- Merge remote-tracking branch 'erictraut/type_param_syntax4' into tvobject
  JelleZijlstra
  committed
  3cd026a
- Works for functions
  JelleZijlstra
  committed
  b12663d
- fall back to normal scope
  JelleZijlstra
  committed
  bb9c43c
Commits on Apr 19, 2023
- does not exactly work
  JelleZijlstra
  committed
  037ddfa
Commits on Apr 21, 2023
- commit before new approach
  JelleZijlstra
  committed
  a62f0c2
- New approach
  JelleZijlstra
  committed
  9c7a153
- correctly make it a cellvar
  JelleZijlstra
  committed
  aa8ea68
- Now it works
  JelleZijlstra
  committed
  ab6b718
- fix defaults
  JelleZijlstra
  committed
  dba4293
- undo some unnecessary changes
  JelleZijlstra
  committed
  e36c5f5
- support async def
  JelleZijlstra
  committed
  21e1b1a
- start class support
  JelleZijlstra
  committed
  8505134
- detect duplicate type params
  JelleZijlstra
  committed
  338b978
Commits on Apr 22, 2023
- clean up some whitespace
  JelleZijlstra
  committed
  04bc911
- Improve some tests
  JelleZijlstra
  committed
  521bd81
- No runtime error there
  JelleZijlstra
  committed
  f2d91b0
- actually generate a typevar
  JelleZijlstra
  committed
  ccf68d9
- refactor typeparam blocks
  JelleZijlstra
  committed
  6159d75
- Fix nested class scopes (functions)
  JelleZijlstra
  committed
  d9c0d90
- fix it in classes too
  JelleZijlstra
  committed
  d26b82a
- Support bounds
  JelleZijlstra
  committed
  423d2de
- Use dummy class to get TypeVar-like types
  JelleZijlstra
  committed
  fdd8877
- fix typo in test
  JelleZijlstra
  committed
  2461ed5
- Add union support to TypeVar (and ParamSpec, somewhat dubiously)
  JelleZijlstra
  committed
  e9a196f
Commits on Apr 23, 2023
- add function.__type_variables__
  JelleZijlstra
  committed
  536cf13
- Generic work
  JelleZijlstra
  committed
  c0b04e3
- Use _Py_DECLARE_STR
  JelleZijlstra
  committed
  59e6fa0
- Support inheriting from Generic
  JelleZijlstra
  committed
  5521c7d
- Fix up qualnames
  JelleZijlstra
  committed
  b9d8fbb
- Update the magic number, rearrange typing.py accordingly
  JelleZijlstra
  committed
  f3340c2
- fix missing initialization
  JelleZijlstra
  committed
  b5de372
- set __type_variables__ on classes
  JelleZijlstra
  committed
  fa81c01
- Add docs to typevarobject.c
  JelleZijlstra
  committed
  7aeee08
- drop Python implementations of Generic, TypeVar, etc.
  JelleZijlstra
  committed
  a7e6bcb
- fix Generic
  JelleZijlstra
  committed
  fe84458
- make generics instantiable
  JelleZijlstra
  committed
  34c024d
- fix NamedTuple
  JelleZijlstra
  committed
  d9ec56e
- fix some tests
  JelleZijlstra
  committed
  6ab8b1e
- one more
  JelleZijlstra
  committed
  d916974
Commits on Apr 24, 2023
- Use a heap type for Generic
  JelleZijlstra
  committed
  b38dea4
- Better way to set __type_variables__ in the class
  JelleZijlstra
  committed
  8991bb1
- Fix TypeVar | "ForwardRef"
  JelleZijlstra
  committed
  c3f520a
- Make ParamSpecArgs and Kwargs not subclassable
  JelleZijlstra
  committed
  e668ed8
- Correctly unpack TypeVarTuple
  JelleZijlstra
  committed
  2b844f4
- Add support for type aliases (but not for computing the value)
  JelleZijlstra
  committed
  47d24d9
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  8ad0b5b
- fix merge
  JelleZijlstra
  committed
  6312d7b
- Avoid complicating compile_call_helper
  JelleZijlstra
  committed
  48e23b0
- Apparently it is a length-0 list if there are no typeparams, not NULL
  JelleZijlstra
  committed
  dec31ae
- Fix GC for TypeAlias
  JelleZijlstra
  committed
  062999c
- fix warnings
  JelleZijlstra
  committed
  9147a4a
- Add to globals-to-fix
  JelleZijlstra
  committed
  1b043c8
- Add to _freeze_module.vcxproj
  JelleZijlstra
  committed
  16cb6a5
- Use heap types, fixing pickling
  JelleZijlstra
  committed
  1bdfb75
- Fix GC
  JelleZijlstra
  committed
  308c7c1
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  ff22d22
- Self-review
  JelleZijlstra
  committed
  c4ce394
Commits on Apr 25, 2023
- It's supposed to be called TypeAliasType
  JelleZijlstra
  committed
  f02199f
- Allow evaluating TypeAlias
  JelleZijlstra
  committed
  3fe019b
- Support __or__ on type aliases
  JelleZijlstra
  committed
  737d96a
- fix | and subscripting on TypeAliasType
  JelleZijlstra
  committed
  6fe9476
- Test fixes and new tests
  JelleZijlstra
  committed
  80a9efb
- Add syntax error for nonlocal as specified by the PEP
  JelleZijlstra
  committed
  21b3aec
- Implement TypeAlias repr
  JelleZijlstra
  committed
  30487a5
- __type_variables__ -> __type_params__
  JelleZijlstra
  committed
  1575c66
- Remove POP_NULL
  JelleZijlstra
  committed
  a6045f0
- Lazily evaluate TypeVar bounds/constraints
  JelleZijlstra
  committed
  2c8b4f1
- Add NEWS
  JelleZijlstra
  committed
  66851e6
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  be059c1
- Disallow yield/yield from/await/walrus
  JelleZijlstra
  committed
  ac7f722
- fix doctests
  JelleZijlstra
  committed
  0f70925
- Stop altering the execution environment
  JelleZijlstra
  committed
  e17c3b0
- Disallow walrus/yield while evaluating generics
  JelleZijlstra
  committed
  45696ae
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  02e0a8a
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  7a8fc14
- regen all, minor quality improvements
  JelleZijlstra
  committed
  7195162
- fix leaked ref to the TypeAlias type
  JelleZijlstra
  committed
  5fbd4d5
- Fix another leak
  JelleZijlstra
  committed
  f86be9c
- Deallocate Generic correctly
  JelleZijlstra
  committed
  77b3807
- Avoid a new funcflags
  JelleZijlstra
  committed
  f448248
- Fix missing INCREF
  JelleZijlstra
  committed
  d32bc61
- Fix repr() for recursive type aliases
  JelleZijlstra
  committed
  27a8a4c
Commits on Apr 26, 2023
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  44b9222
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  445a39b
- Fix refleak in ParamSpecArgs/Kwargs
  JelleZijlstra
  committed
  7fa37b4
- Add tp_clear methods
  JelleZijlstra
  committed
  880f066
- regen-global-objects
  JelleZijlstra
  committed
  3d8e24e
- Apparently not
  JelleZijlstra
  committed
  74c1a0d
- Merge branch 'main' into tvobject
  JelleZijlstra
  authored
  d5b86c5
- Add lookahead to grammar
  JelleZijlstra
  committed
  3b6098d
- First try! It fails! James Powell rules apply.
  larryhastings
  committed
  9632c02
- simplify the intrinsic
  JelleZijlstra
  committed
  8a0ecb7
- Changed strategy, func_class_dict and *_CLASS_DICT.
  larryhastings
  committed
  0bb175a
- Update comment on new magic number.
  larryhastings
  committed
  5e4ec0e
- Cleanup leftover gunk from previous approach.
  larryhastings
  committed
  12d3004
- Add class.__globals__, fix refcnt bugs. Thx Jelle!
  larryhastings
  committed
  6c3f65a
- LOAD_CLASS_DICT also checks globals. Thx Jelle!
  larryhastings
  committed
  84a00ce
- Make LOAD_CLASS_DICT also look in the global namespace and rename it to LOAD_CLASS_OR_GLOBAL
  JelleZijlstra
  committed
  e0acb87
- Merge branch 'loadclass' into tvobject
  JelleZijlstra
  committed
  d77c4fb
Commits on Apr 27, 2023
- Use INTRINSIC_SET_CLASS_DICT
  JelleZijlstra
  committed
  ea66c7c
- Correctly handle class namespaces in TV bounds
  JelleZijlstra
  committed
  b314a3f
- Same for type aliases
  JelleZijlstra
  committed
  2e913ca
- Add test cases
  JelleZijlstra
  committed
  394d128
- Handle name mangling
  JelleZijlstra
  committed
  bd49622
- I don't need __globals__ and it causes a lot of failures
  JelleZijlstra
  committed
  bf45a8e
- Fix another test
  JelleZijlstra
  committed
  ce7fe9c
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  e5a6c21
- Extend NEWS entry, give credit to Larry
  JelleZijlstra
  committed
  96324a5
- Fix GC tracking in error conditions
  JelleZijlstra
  committed
  fd0f7b4
- More error paths
  JelleZijlstra
  committed
  e784da1
- Fix the NEWS?
  JelleZijlstra
  committed
  72fc40c
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  4b6a815
- Can't have multi-line bulleted lists in NEWS
  JelleZijlstra
  committed
  93a4552
- More test cases, remove redundant comment
  JelleZijlstra
  committed
  b36b7af
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  a85fb6c
- Add LOAD_CLASSDICT_OR_DEREF
  JelleZijlstra
  committed
  6454026
- Remove outdated comment
  JelleZijlstra
  committed
  21667d9
- Add helper function to tests
  JelleZijlstra
  committed
  e65d668
- Expose TypeVar and friends through _typing
  JelleZijlstra
  committed
  e0a0b04
- Remove unnecessary symtable entry
  JelleZijlstra
  committed
  d5c44f5
- Rename variable for clarity
  JelleZijlstra
  committed
  ce6a990
- fix shadowed test
  JelleZijlstra
  committed
  2fc9cc7
- Use run_code in test_type_aliases too
  JelleZijlstra
  committed
  3f71911
- Update NEWS
  JelleZijlstra
  committed
  0891a61
- type is a soft keyword too
  JelleZijlstra
  committed
  78a9ba2
- add to test_ast
  JelleZijlstra
  committed
  c0b45e1
- Move functions closer together
  JelleZijlstra
  committed
  16a037f
Commits on Apr 28, 2023
- try this way
  JelleZijlstra
  committed
  c5d9378
- comments
  JelleZijlstra
  committed
  0399ed4
- Maybe this
  JelleZijlstra
  committed
  782fc35
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  a092896
- avoid special qualname handling
  JelleZijlstra
  committed
  0241da5
- Fix opcode classification
  JelleZijlstra
  committed
  5b3a204
- Fix qualname test
  JelleZijlstra
  committed
  78f3f4b
- Harmonize implementation of the two intrinsics
  JelleZijlstra
  committed
  9d3177b
- Simplify LOAD_LOCALS at the cost of compiler complexity
  JelleZijlstra
  committed
  c52179c
Commits on Apr 29, 2023
- fix WASM
  JelleZijlstra
  committed
  d0fa718
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  f0936de
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  5259096
- Fix compiler warning
  JelleZijlstra
  committed
  c3d6464
Commits on Apr 30, 2023
- use check_syntax_error
  JelleZijlstra
  committed
  f580583
- Better error messages for illegal bounds/constraints
  JelleZijlstra
  committed
  17c8060
- Add CHECK_VERSION for type param lists
  JelleZijlstra
  committed
  f4ea500
Commits on May 3, 2023
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  43bcd02
- Test that super() works correctly within a hidden function
  JelleZijlstra
  committed
  827b9e5
Commits on May 7, 2023
- Use a __classdict__ cell to store the class namespace (#3)
  JelleZijlstra
  authored
  71cef78
- Merge branch 'main' into tvobject
  JelleZijlstra
  authored
  80ffbf3
- Fix a test
  JelleZijlstra
  committed
  e786382
Commits on May 9, 2023
- Remove stray function declarations
  JelleZijlstra
  committed
  2a8f0ef
- More thorough tests
  JelleZijlstra
  committed
  967f100
- More CR on tests
  JelleZijlstra
  committed
  4cbbd24
- Update comment
  JelleZijlstra
  committed
  8dfb93d
- Real error for type_check
  JelleZijlstra
  committed
  43f0270
- Use vectorcall
  JelleZijlstra
  committed
  0b35c6c
- Small fixes to typevarobject.c
  JelleZijlstra
  committed
  a2f3c75
- mod, not mad
  JelleZijlstra
  committed
  c51b9fc
- Use dict_add_o for class cells
  JelleZijlstra
  committed
  047abba
- Small compiler fixes
  JelleZijlstra
  committed
  51a4655
- Refactor compiler_function for correct scope handling
  JelleZijlstra
  committed
  5e68cd8
- Same for classes
  JelleZijlstra
  committed
  3b63b76
- And for type aliases
  JelleZijlstra
  committed
  281f575
- fixup
  JelleZijlstra
  committed
  a3cd2e7
- Remove unnecessary LOAD_LOCALS
  JelleZijlstra
  committed
  a4f6076
- Remove .type_params for functions
  JelleZijlstra
  committed
  88ac5dc
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  32fc89c
- Forgot one regen
  JelleZijlstra
  committed
  02f1fca
- Simplify bytecode as suggested by Carl
  JelleZijlstra
  committed
  249ca43
- Add some test cases for unusual calls
  JelleZijlstra
  committed
  645b08b
- Avoid compiler_nameop change
  JelleZijlstra
  committed
  17c30f6
Commits on May 10, 2023
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  0067e00
- Rip out making bound a set
  JelleZijlstra
  committed
  39ace71
- New solution for nonlocal
  JelleZijlstra
  committed
  a1c59f7
- Simplify TypeAliasType.__repr__
  JelleZijlstra
  committed
  f7e6219
- Remove bogus assertions
  JelleZijlstra
  committed
  8f54b02
- Remove redundant condition
  JelleZijlstra
  committed
  bb2df61
- Use compiler_addop_o
  JelleZijlstra
  committed
  fdf65ad
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  4fecf7d
Commits on May 11, 2023
- Undo unnecessary bracing changes
  JelleZijlstra
  committed
  f8406ce
- Separate out and expand nonlocal tests
  JelleZijlstra
  committed
  fd4fe5c
- Add comments to the enum
  JelleZijlstra
  committed
  0b94580
- Some more tests and consistent naming
  JelleZijlstra
  committed
  e952d61
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  785dd45
- Use _PyST_IsFunctionLike in comprehension inlining code
  JelleZijlstra
  committed
  be70e3c
- Simplify Generic creation
  JelleZijlstra
  committed
  92c29e7
Commits on May 12, 2023
- Public constructor for TypeAlias
  JelleZijlstra
  committed
  529c74d
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  531fcf7
- regen opcode_targets.h
  JelleZijlstra
  committed
  497e22a
- Add test now that it no longer crashes
  JelleZijlstra
  committed
  bfb5ac0
- Fix one refleak
  JelleZijlstra
  committed
  a1be61d
- Fix the other refleak
  JelleZijlstra
  committed
  1e9273c
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  bc37579
- Fix one more refleak
  JelleZijlstra
  committed
  3817ab4
- Remove unrelated change
  JelleZijlstra
  committed
  f2a9393
- remove stray raw assert
  JelleZijlstra
  committed
  4f1223e
- Merge branch 'main' into tvobject
  JelleZijlstra
  authored
  d490251
- Update typevarobject.c: use Py_RETURN_NONE
  JelleZijlstra
  authored
  33f4c12
- Review feedback
  JelleZijlstra
  committed
  b9f4540
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  a64922f
- Update Lib/test/support/__init__.py
  
  JelleZijlstra
  and
  AlexWaygood
  authored
  8a783b3
Commits on May 13, 2023
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  9e6658a
Commits on May 14, 2023
- Use PyObject for TypeVar etc. names
  JelleZijlstra
  committed
  0aad1f4
- Reorganize compiler opcodes; no more LOAD_CLASSDEREF
  JelleZijlstra
  committed
  a22a08f
- Merge branch 'main' into tvobject
  JelleZijlstra
  authored
  1328c75
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  7d6016e
- Fix another class scoping oddity
  JelleZijlstra
  committed
  1401209
- Make test still succeed under PEP 649
  JelleZijlstra
  committed
  e049f5a
- Fix bug with explicit global in class scope; rename flag for clarity
  JelleZijlstra
  committed
  c4d9ec4
- Fix more similar cases
  JelleZijlstra
  committed
  b93f85e
Commits on May 15, 2023
- Merge remote-tracking branch 'upstream/main' into tvobject
  JelleZijlstra
  committed
  f412f49
- A few more tests
  JelleZijlstra
  committed
  d4e72a5
- Remove redundant function
  JelleZijlstra
  committed
  08d931c

Commits

Commits on Apr 9, 2023

Commits on Apr 13, 2023

Commits on Apr 14, 2023

Commits on Apr 15, 2023

Commits on Apr 16, 2023

Commits on Apr 17, 2023

Commits on Apr 18, 2023

Commits on Apr 19, 2023

Commits on Apr 21, 2023

Commits on Apr 22, 2023

Commits on Apr 23, 2023

Commits on Apr 24, 2023

Commits on Apr 25, 2023

Commits on Apr 26, 2023

Commits on Apr 27, 2023