Skip to content

Rough sketch of AST/Sema support for tuple conformances #60639

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

Jump to bottom
Merged
merged 12 commits into from
Sep 10, 2022
Merged

Rough sketch of AST/Sema support for tuple conformances #60639

merged 12 commits into from
Sep 10, 2022

Conversation

slavapestov
Copy link
Contributor

No description provided.

@slavapestov slavapestov force-pushed the tuple-conformance-wip branch 3 times, most recently from 6447a6e to 0663896 Compare August 23, 2022 04:06
@slavapestov slavapestov force-pushed the tuple-conformance-wip branch 2 times, most recently from ebe02fb to 3df8d27 Compare September 8, 2022 00:57
@slavapestov slavapestov marked this pull request as ready for review September 8, 2022 03:15
@slavapestov slavapestov force-pushed the tuple-conformance-wip branch from 98f1636 to 556f81c Compare September 8, 2022 17:14
@slavapestov
Copy link
Contributor Author

@swift-ci Please smoke test

@slavapestov
AST: Introduce special Builtin.TheTupleType singleton
c1b8690
@slavapestov
AST: Change mayHaveMembers() to return true for TupleType
a2fad18
@slavapestov
AST: Teach qualified lookup to find members of tuples
de0fd63
@slavapestov
Sema: Teach the solver to find members of tuples
67d3ede
@slavapestov
AST: Implement TypeBase::getContextSubstitutions() for tuple types
935edc9
@slavapestov
AST: Add some assertions to PackType::get()
1edb9a4
@slavapestov
AST: Allow ModuleDecl::lookupConformance() to construct PackConforman…
70b553b 
…ces for PackTypes
@slavapestov
AST: ModuleDecl::lookupConformance() looks for conformances on Builti…
60e2fcb 
…n.TheTupleType given a tuple type
@slavapestov
AST: Type::transform() flattens pack types inside other pack types an…
9a875f8 
…d tuples
@slavapestov
Sema: Allow one-element tuples when -enable-experimental-variadic-gen…
da76e1e 
…erics is on
@slavapestov
Sema: Remove the older '@tuple (Int)' syntax
217c4a5
@slavapestov
AST: Invent a mangling for Builtin.TheTupleType to appease incrementa…
a57ea86 
…l dependency tracking
@slavapestov
Copy link
Contributor Author

@swift-ci Please smoke test

@slavapestov
Copy link
Contributor Author

@swift-ci Please test source compatibility

@slavapestov slavapestov merged commit 005c9f3 into swiftlang:main Sep 10, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@slavapestov