Skip to content
This repository was archived by the owner on Mar 27, 2025. It is now read-only.

Bump to dotty 0.27.0-RC1 #67

Merged
merged 6 commits into from
Sep 22, 2020
Merged

Bump to dotty 0.27.0-RC1 #67

merged 6 commits into from
Sep 22, 2020

Conversation

eloots
Copy link
Contributor

@eloots eloots commented Sep 1, 2020

Bump from Dotty 0.25.0 to 0.27.0-RC1

  • The biggest change in 0.27.0-RC1 is the change in the extension methods
    syntax
  • Because of #9688 a temporary fix was applied in calls to log.xxx that
    pass in a single object to log

- The biggest change in 0.27.0-RC1 is the change in the extension methods
  syntax
- Because of [#9688](scala/scala3#9688) a temporary
  fix was applied in calls to `log.xxx` that pass in a single object to log
@eloots eloots requested review from njlbenn and robinraju September 1, 2020 13:49
@@ -40,7 +40,8 @@ class SudokuProgressTracker private (
case NewUpdatesInFlight(updateCount) =>
trackProgress(updatesInFlight + updateCount)
case msg: SudokuDetailState =>
context.log.error("Received unexpected message in state 'trackProgress': {}", msg)
// context.log.error("Received unexpected message in state 'trackProgress': {}", msg)
Copy link
Contributor

Choose a reason for hiding this comment

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

Maybe we can add an issue in this repo that is a TODO to go back and fix this when the dotty issue (scala/scala3#9688) is addressed? And the issue in our course repo can link the issue in the dotty repo. And then in the code you can add a link to the new issue (otherwise the commented out code isn't really useful by itself)

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Good call!

Will do as otherwise, there's the risk that we forget to revert the workaround when it's no longer needed.

Copy link
Contributor

@robinraju robinraju left a comment

Choose a reason for hiding this comment

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

👍

@eloots eloots merged commit a5b6804 into main Sep 22, 2020
@eloots eloots deleted the bump-to-dotty-0.27.0-RC1 branch September 22, 2020 14:10
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants