Skip to content

Add first version of extension type feature specification #1452

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
merged 23 commits into from
Apr 9, 2021
Merged

Add first version of extension type feature specification #1452

Changes from all commits
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
a8aba29
Add first version of extension type feature specification
eernstg Feb 15, 2021
4cd918f
Renamed to avoid spaces in path (since there are other non-space path…
eernstg Feb 15, 2021
4f1e723
Adjusted wording of initial sentence
eernstg Feb 15, 2021
003290a
Add section about `implements ...` in extension type declarations
eernstg Feb 16, 2021
500314d
Added unbox
eernstg Feb 16, 2021
6a38c44
Review response
eernstg Feb 17, 2021
c481401
Enabled constructors for all explicit extension types
eernstg Feb 18, 2021
cfdb174
Responding to review from Leaf
eernstg Feb 18, 2021
ed8d70e
Added rule that it is an error to have an implicit downcast from dyna…
eernstg Feb 20, 2021
a41372d
Adding discussion section about a `verifyThis` getter, used to enable…
eernstg Feb 22, 2021
eef482c
Added a commentary paragraph on verifyThis
eernstg Feb 22, 2021
3a41064
Correct grammar rule to allow `extension<X> ...`
eernstg Feb 25, 2021
5c7aa18
Adding support for show/hide parts in extensions using `get/set x`
eernstg Feb 25, 2021
6a1f57b
Add commentary to explain the special status of `this` in `verifyThis`
eernstg Feb 25, 2021
46287c4
Changed the desugaring of extension method invocations back to use `a…
eernstg Mar 4, 2021
21986a9
Review response
eernstg Mar 4, 2021
b188a7c
Removed protected extension types to a different document, to be disc…
eernstg Mar 12, 2021
88070a9
Revised the proposal
eernstg Mar 12, 2021
428cac7
Add a section about the extends clause of an extension
eernstg Mar 19, 2021
7af672d
Review response
eernstg Apr 8, 2021
fe7ee08
One more review comment response
eernstg Apr 8, 2021
c032e36
Review response plus small fixes
eernstg Apr 9, 2021
75b294b
Updated revision date to actual landing date
eernstg Apr 9, 2021
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