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

chore: Bump to Dart 3 and latest Flutter 3.10.5 #867

Merged
merged 2 commits into from
Jun 30, 2023
Merged

Conversation

klochowicz
Copy link
Contributor

Dart 3 is a big release, that introduces many Rust-like features.
Thankfully, all our code was compatible with it, so it was trivial to bump at
this stage.

Some highlights of Dart 3:

  • sound null-safety,
  • destructuring,
  • patterns (better switch and if statements)
  • records
  • sealed classes (and other class modifiers)

More info:

- Fix a few lints (new `const` constructors)
- ensure CI is building the same version
- bump dependencies that were not compatible with Dart 3

Dart 3 is a big release, that introduces many Rust-like features.
Thankfully, all our code was compatible with it, so it was trivial to bump at
this stage.

Some highlights of Dart 3:
- sound null-safety,
- destructuring,
- patterns (better switch and if statements)
- records
- sealed classes (and other class modifiers)

More info:
- https://medium.com/dartlang/announcing-dart-3-53f065a10635
- https://codewithandrea.com/articles/whats-new-dart-3-introduction/
We could not bump it all the way before as it needs Dart 3.
Copy link
Contributor

@luckysori luckysori left a comment

Choose a reason for hiding this comment

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

Cool!

@klochowicz
Copy link
Contributor Author

bors r+

@bors
Copy link
Contributor

bors bot commented Jun 30, 2023

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

@bors bors bot merged commit 8845123 into main Jun 30, 2023
@bors bors bot deleted the chore/bump-to-dart-3 branch June 30, 2023 02:49
@da-kami
Copy link
Contributor

da-kami commented Jun 30, 2023

Cool, thanks for upgrading!

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.

3 participants