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

Put `erased` under `-Yerased-terms` flag #7906

Merged
merged 1 commit into from Jan 8, 2020

Conversation

@nicolasstucki
Copy link
Contributor

nicolasstucki commented Jan 6, 2020

erased will not be included in Scala 3.0 but could be added in future version.
This feature will only be available with -Yerased-terms.

@nicolasstucki nicolasstucki force-pushed the dotty-staging:remove-erased-terms branch 2 times, most recently from bac47ef to fd27202 Jan 6, 2020
@nicolasstucki nicolasstucki self-assigned this Jan 7, 2020
@nicolasstucki nicolasstucki mentioned this pull request Jan 7, 2020
@nicolasstucki nicolasstucki force-pushed the dotty-staging:remove-erased-terms branch 4 times, most recently from 563111e to 3d8a96f Jan 7, 2020
@nicolasstucki nicolasstucki force-pushed the dotty-staging:remove-erased-terms branch 2 times, most recently from c8e5ddb to 5acba58 Jan 7, 2020
`erased` will not be included in Scala 3.0 but could be added in future version.
This feature will only be available with `-Yerased-terms`.
@nicolasstucki nicolasstucki force-pushed the dotty-staging:remove-erased-terms branch from 5acba58 to 0d0453f Jan 7, 2020
@nicolasstucki nicolasstucki marked this pull request as ready for review Jan 7, 2020
@nicolasstucki nicolasstucki requested a review from anatoliykmetyuk Jan 7, 2020
@bmeesters

This comment has been minimized.

Copy link

bmeesters commented Jan 8, 2020

Unrelated to the PR itself, but why is erased not planned for Scala 3? I cannot find anything in the SIP meeting minutes.

@anatoliykmetyuk anatoliykmetyuk merged commit 4c8c502 into lampepfl:master Jan 8, 2020
2 checks passed
2 checks passed
CLA User signed CLA
Details
continuous-integration/drone/pr Build is passing
Details
@anatoliykmetyuk anatoliykmetyuk deleted the dotty-staging:remove-erased-terms branch Jan 8, 2020
@nicolasstucki

This comment has been minimized.

Copy link
Contributor Author

nicolasstucki commented Jan 8, 2020

It never made it to the SIPs. This feature might be considered for a future version of Scala (maybe 3.2+ or later).
It was not included because the main motivation for this feature is an effect system that will also not go in Scala 3.0.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

3 participants
You can’t perform that action at this time.