Skip to content

Blog Post: Announcing Dotty 0.6.0 and 0.7.0-RC1 #4053

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.

Sign up for GitHub

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

Merged
merged 23 commits into from
Mar 6, 2018
Merged

Blog Post: Announcing Dotty 0.6.0 and 0.7.0-RC1 #4053

Changes from 1 commit
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
7bb287c
Blog Post: Announcing Dotty 0.6.0 and 0.7.0-RC1
allanrenucci Mar 1, 2018
bf77e84
Drop dup link
Blaisorblade Mar 1, 2018
86f24d2
Add section on `unused`
nicolasstucki Mar 1, 2018
bbdd2af
Rename `unused` to `ghost`
nicolasstucki Mar 2, 2018
3bd057f
Small revisions
Blaisorblade Mar 2, 2018
dde9330
Emphasize phantom types are being replaced
Blaisorblade Mar 2, 2018
ffbedef
Fix typos in code snippets
Blaisorblade Mar 2, 2018
dc81fd3
Update ghost section with real life example
allanrenucci Mar 4, 2018
a5dcce7
Add IDE section and use absolute links (better when read on GitHub)
allanrenucci Mar 4, 2018
ccb1dae
List GADT issues fixed
Blaisorblade Mar 4, 2018
a18f371
Small example of GADTs WIP
Blaisorblade Mar 4, 2018
ae8e102
Add proper GADT example, adapted from #3666
Blaisorblade Mar 4, 2018
2fdb46d
Rename ghost parameter to erased
allanrenucci Mar 5, 2018
5c4fac2
Fix code snippet, thanks to Allan for pointing it out
Blaisorblade Mar 5, 2018
88e97bd
Drop BooleanLit
Blaisorblade Mar 5, 2018
5d9440a
Revise GADT text
Blaisorblade Mar 5, 2018
6006650
Address review, point out Scalac had issues
Blaisorblade Mar 5, 2018
cf9db16
Polishing
allanrenucci Mar 6, 2018
8e29d89
Address review comment
Blaisorblade Mar 6, 2018
61e7829
Add contributors
allanrenucci Mar 6, 2018
b636b84
Rewritten GADT section
smarter Mar 6, 2018
0226693
Fix typos
Blaisorblade Mar 6, 2018
5dcf789
Polishing
allanrenucci Mar 6, 2018
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions docs/blog/_posts/2018-03-05-seventh-dotty-milestone-release.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -159,8 +159,8 @@ object Interpreter {
}
```

Earlier Scalac and Dotty releases had issues typechecking such interpreters.
We fixed multiple bugs about GADT type checking and exhaustiveness checking, including
Scala 2 and Dotty have issues typechecking such interpreters.
In this release we fixed multiple bugs about GADT type checking and exhaustiveness checking, including
Copy link
Contributor

@Blaisorblade Blaisorblade Mar 6, 2018 •
edited
Loading

Choose a reason for hiding this comment

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

@smarter @allanrenucci WDYT? A bit less bold, which seems appropriate.

[#3666](https://github.com/lampepfl/dotty/issues/3666),
[#1754](https://github.com/lampepfl/dotty/issues/1754),
[#3645](https://github.com/lampepfl/dotty/issues/3645),
Expand Down