Skip to content
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

Extension types feature specification #3182

Merged
merged 29 commits into from
Jul 21, 2023
Merged

Extension types feature specification #3182

Show file tree
Hide file tree
Changes from 5 commits
Commits
Show all changes
29 commits
Select commit Hold shift + click to select a range
b7b2068
Modifying inline class feature specification to extension type
eernstg Jun 30, 2023
37bc301
Proposal for extension type feature specification
eernstg Jun 30, 2023
52f4d2f
Allow non-extension type superinterfaces
eernstg Jun 30, 2023
873dd8b
Added rules about "inheritance" conflicts
eernstg Jun 30, 2023
031398b
Add support for named constructors based on the primary constructor s…
eernstg Jun 30, 2023
e7d0c96
Many small fixes
eernstg Jun 30, 2023
999f512
Review response
eernstg Jun 30, 2023
5967dd2
Review response
eernstg Jun 30, 2023
a42a107
Add missing <metadata> to primary constructor-ish syntax
eernstg Jul 3, 2023
900ae7e
Review response: Reword introduction to emphasize that the main case …
eernstg Jul 3, 2023
0bb106c
Review response: Removed "initializing expression", the new syntax do…
eernstg Jul 3, 2023
7edefe8
Add discussion section about `implements T` where `T` is final
eernstg Jul 4, 2023
8feeeb8
Remove the support for `final extension type`
eernstg Jul 6, 2023
afc9703
Typo
eernstg Jul 6, 2023
e2917da
Clarify description of extension type member invocation (static resol…
eernstg Jul 6, 2023
fb0dec8
Adjust the proposal to make the representation getter accessible from…
eernstg Jul 7, 2023
a6a62b8
Review response
eernstg Jul 11, 2023
631ad47
Many small adjustments: Clarify extension member invocations (static/…
eernstg Jul 12, 2023
e0aaff9
Added record types to the cannot-implement list
eernstg Jul 12, 2023
832ec4c
Extended cannot-implement list with top types
eernstg Jul 12, 2023
044e3a4
Adjusted cannot-implement list
eernstg Jul 12, 2023
c72869b
Add Function and Record to the cannot-implement list
eernstg Jul 12, 2023
b01ce27
Add change log entry
eernstg Jul 13, 2023
2056270
Add a paragraph about object patterns V() using an extension type
eernstg Jul 14, 2023
357a4a0
Typo
eernstg Jul 14, 2023
924d136
Typo
eernstg Jul 14, 2023
6496c97
Many small improvements
eernstg Jul 14, 2023
0b38d8b
Typo
eernstg Jul 14, 2023
b3f18d6
Adjust the grammar and primary constructor rule to say that it is con…
eernstg Jul 19, 2023
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
Loading