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.

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

[records] Allow "()" as an empty record expression. #2535

Merged
merged 2 commits into from
Sep 29, 2022
Merged

Conversation

munificent
Copy link
Member

I believe we decided to do this in a previous language meeting, just catching the proposal up to that.

@leafpetersen
Copy link
Member

@chloestefantsova @johnniwinther @scheglov FYI, Record.empty goes away, replaced with ().

@munificent
Copy link
Member Author

FYI, Record.empty goes away, replaced with ().

That reminds me, I should update the CHANGELOG.

@munificent munificent merged commit 3324032 into master Sep 29, 2022
@munificent munificent deleted the empty-record branch September 29, 2022 23:50
@johnniwinther
Copy link
Member

cc @jensjoha

copybara-service bot pushed a commit to dart-lang/sdk that referenced this pull request Oct 6, 2022
dart-lang/language#2535

Change-Id: I8241119ee858ce39673472056b88c9393799e1a0
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/262600
Commit-Queue: Jens Johansen <jensj@google.com>
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Reviewed-by: Johnni Winther <johnniwinther@google.com>
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.

None yet

4 participants