Skip to content

Commit 6ac7e5c

Browse files
More stress on full bootstrap
1 parent 9bb0de8 commit 6ac7e5c

File tree

1 file changed

+4
-3
lines changed

1 file changed

+4
-3
lines changed

docs/blog/_posts/2019-05-24-15th-dotty-milestone-release.md

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,14 @@
11
---
22
layout: blog-page
3-
title: Announcing Dotty 0.15.0-RC1 with the new infix operator rules, type safe pattern bindings and more
3+
title: Announcing Dotty 0.15.0-RC1 the fully bootstrapped compiler
44
author: Anatolii Kmetiuk
55
authorImg: /images/anatolii.png
66
date: 2019-05-24
77
---
88

9-
Hi! In this article, we'd like to announce the 15th release of Dotty. With this release comes a bunch of new features and improvements, such as the ability to enforce whether an operator is intended to be used in an infix position, the type safe pattern bindings and more.
9+
Hi! In this article, we'd like to announce the 15th release of Dotty. The most exciting thing in this release is the full bootstrap for Dotty introduced by PR [#5923](https://github.com/lampepfl/dotty/pull/5923). This means that we are able to compile Dotty with Dotty itself, and hence use all the new features in the compiler code base.
10+
11+
With this release comes a bunch of new features and improvements, such as the ability to enforce whether an operator is intended to be used in an infix position, the type safe pattern bindings and more.
1012

1113
This release serves as a technology preview that demonstrates new
1214
language features and the compiler supporting them.
@@ -162,7 +164,6 @@ We've also plugged a few soundness problems caused by inferring too much when ma
162164
## Other changes
163165
Some of the other notable changes include the following:
164166

165-
- Dotty is now fully boostrapped. This means that we are able to compile Dotty with Dotty itself, and hence use all the new features in the compiler code base.
166167
- Singletons are now allowed in union types. E.g. the following is allowed: `object foo; type X = Int | foo.type`.
167168
- A bunch of improvements was made for the type inference system – see, e.g., PRs [#6454](https://github.com/lampepfl/dotty/pull/6454) and [#6467](https://github.com/lampepfl/dotty/pull/6467).
168169
- Improvements to the Scala 2 code support which, in particular, improves Cats support – see PRs [#6494](https://github.com/lampepfl/dotty/pull/6494) and [#6498](https://github.com/lampepfl/dotty/pull/6498).

0 commit comments

Comments
 (0)