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
2 changes: 1 addition & 1 deletion 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 @@ -162,7 +162,7 @@ object Interpreter {
}
```

Earlier Dotty releases had issues typechecking such interpreters.
Earlier Scalac and Dotty releases had issues typechecking such interpreters.
Copy link
Member

Choose a reason for hiding this comment

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

This makes it sound like recent releases of scalac have fixed this, but they haven't. Also I would use the term "Scala 2" and not "Scalac".

Copy link
Member

Choose a reason for hiding this comment

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

The most convincing thing to do would be to give an example that doesn't typecheck in Dotty but does in Scala 2.

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.

This program works in Scalac, while trickier ones trigger bugs in Scalac or Dotty. I propose to write "Scala 2 and Dotty have issues [...]", since we fixed some.

case class MapS[S, T](xs: Exp[List[S]], f: Exp[S => T]) extends Exp[List[T]]
case class Map[S, T, That](xs: Exp[List[S]], f: Exp[S => T])(implicit val cbf: CanBuildFrom[List[S], T, That]) extends Exp[That]

//...

    case m @ Map(xs, f)    =>
      //val f1: Exp[Any => Any] = f //accepted by Scalac, rejected by Dotty!
      eval(xs).map(eval(f))(m.cbf)

    case MapS(xs, f) =>
      eval(xs) map eval(f) //rejected by Dotty, not 100% sure why. Passing the 

   //alternatively:
    case m: MapS[s, t] =>
      //(eval(m.xs) map eval(m.f))(List.canBuildFrom) //fails in Dotty
      (eval(m.xs) map eval(m.f))(List.canBuildFrom[t]) //succeeds in Dotty

Failures in #4069 might be relevant.

EDIT: full example in #4076.

We have fixed multiple bugs about GADT type checking and exhaustiveness checking, especially for invariant GADTs, including
[#3666](https://github.com/lampepfl/dotty/issues/3666),
[#1754](https://github.com/lampepfl/dotty/issues/1754),
Expand Down