Skip to content

Tweak some wordings in the extension type specification. - #3398

Open
lrhn wants to merge 3 commits into
mainfrom
tweak-word
Open

Tweak some wordings in the extension type specification.#3398
lrhn wants to merge 3 commits into
mainfrom
tweak-word

Conversation

@lrhn

@lrhn lrhn commented Oct 12, 2023

Copy link
Copy Markdown
Member

Tweak some wordings in the extension type specification to be more precise.

Only actual change is saying that it's an early error to declare an abstract member.

@lrhn
lrhn requested a review from eernstg October 12, 2023 14:28

@eernstg eernstg left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

Comment on lines +438 to +440
A compile-time error occurs if the extension type declaration declares any
abstract members.

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Comment thread accepted/future-releases/extension-types/feature-specification.md
Comment thread accepted/future-releases/extension-types/feature-specification.md Outdated
Comment thread accepted/future-releases/extension-types/feature-specification.md Outdated
lrhn and others added 2 commits October 13, 2023 19:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants