Skip to content

Support recursive TypedDicts #13373

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
ilevkivskyi merged 15 commits into from
Aug 11, 2022
Merged

Support recursive TypedDicts #13373

Changes from 1 commit
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
f0163c4
Try another approach
ilevkivskyi Aug 9, 2022
dde4b92
Fix/simplify things
ilevkivskyi Aug 9, 2022
50279ba
Add more tests; fix fine-grained
ilevkivskyi Aug 9, 2022
68263ee
Fix regular tuple bases and newtypes
ilevkivskyi Aug 9, 2022
786655b
Fix newtype tests
ilevkivskyi Aug 9, 2022
952692b
Cleanup; add more tests
ilevkivskyi Aug 9, 2022
3aeb470
More cleanup and tests
ilevkivskyi Aug 9, 2022
404d8d1
Fix mypyc
ilevkivskyi Aug 9, 2022
27b8e35
Merge remote-tracking branch 'upstream/master' into recursive-named-t…
ilevkivskyi Aug 9, 2022
786f256
Support recursive TypedDicts
ilevkivskyi Aug 9, 2022
2dfd5c2
Fix accidentaly uncovered NewType bug
ilevkivskyi Aug 10, 2022
f377d6b
Add a comment
ilevkivskyi Aug 10, 2022
fd6620f
Merge remote-tracking branch 'upstream/master' into recursive-typed-d…
ilevkivskyi Aug 10, 2022
a5e06dc
Fix merge
ilevkivskyi Aug 10, 2022
bb94c80
Fix self-check; formatting; more tests
ilevkivskyi Aug 10, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Fix accidentaly uncovered NewType bug
  • Loading branch information
@ilevkivskyi
ilevkivskyi committed Aug 10, 2022
commit 2dfd5c2e6277f615c4448dbd4dbd9929bbccf33b
5 changes: 4 additions & 1 deletion mypy/semanal_newtype.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -81,6 +81,8 @@ def process_newtype_declaration(self, s: AssignmentStmt) -> bool:
old_type = get_proper_type(old_type)
if not call.analyzed:
call.analyzed = NewTypeExpr(var_name, old_type, line=call.line, column=call.column)
else:
call.analyzed.old_type = old_type
if old_type is None:
if should_defer:
# Base type is not ready.
Expand Down Expand Up @@ -230,6 +232,7 @@ def build_newtype_typeinfo(
existing_info: Optional[TypeInfo],
) -> TypeInfo:
info = existing_info or self.api.basic_new_typeinfo(name, base_type, line)
info.bases = [base_type] # Update in case there were nested placeholders.
info.is_newtype = True

# Add __init__ method
Expand All @@ -250,7 +253,7 @@ def build_newtype_typeinfo(
init_func._fullname = info.fullname + ".__init__"
info.names["__init__"] = SymbolTableNode(MDEF, init_func)

if info.tuple_type and has_placeholder(info.tuple_type):
if has_placeholder(old_type) or info.tuple_type and has_placeholder(info.tuple_type):
self.api.defer(force_progress=True)
return info

Expand Down