0.23.0-RC1

Notable Changes

Language

Syntax

Change to (using x: T) => E for context functions #8305
Drop given parameter syntax #8270
Fix #8256: Disallow silent indent for template bodies #8264

Features

Add bitwise Int compiletime operations #8377
Safe initialization for Scala #7789

Metaprogramming

Add scala.compiletime.summonInline #8483
Move Unliftable extractors in Unlifted #8517
Rename ValueOfExpr to Unliftable #8503
Refactor scala.quoted.matching #8479
Simplify import of qctx.tasty.rootContext #8438

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 0.22.0-RC1..0.23.0-RC1 these are:

   165  Martin Odersky
   124  Nicolas Stucki
   121  Liu Fengyun
    45  Robert Stoll
    15  Guillaume Martres
    15  Anatolii
    10  gzoller
     8  Som Snytt
     8  Stéphane Micheloud
     5  Ausmarton Zarino Fernandes
     5  Oron Port
     3  Adam Fraser
     3  Gabriele Petronella
     3  Uko
     3  Anatolii Kmetiuk
     2  ybasket
     2  Dale Wijnand
     2  Dani Rey
     2  Jamie Thompson
     2  Olivier Blanvillain
     2  Tomasz Godzik
     2  Travis Brown
     2  Vlastimil Dort
     1  tanaka takaya
     1  Miles Sabin
     1  Andrew Valencik
     1  bishabosha
     1  fhackett
     1  Lionel Parreaux
     1  kenji yoshida
     1  manojo
     1  odersky
     1  Raj Parekh
     1  Sébastien Doeraene
     1  xuwei-k

Reporting Bugs

If you encounter a bug, please open an issue! 🙏

0.22.0

Release Dotty 0.22.0

0.22.0-RC1

Notable Changes

Syntax

New syntax for collective extension methods #7917
Fix #7139: Implement kind-projector compatibility #7775
Change to given/using syntax #8162

Metaprogramming

API

Add constructors for TypeOrBounds that are not refs or PolyType #7961
Move unsafe operations from Expr to UnsafeExpr #8041
Add requiredXYZ symbols to TASTy reflect context #7903

Semantics

Fix #7142: Detect scope extrusions in macros and run #8000
Disallow phase inconsistent inline parameters #8061
Redefine semantics of inline parameters #8060

Other Highlights

Add primitive compiletime operations on singleton types #7628
Make suggestions of missing implicits imports on type errors #7862
Fix #6849: support irrefutable sequence match #6850
Upgrade to sbt 1.3.6, release sbt-dotty 0.4.0 #7953
Fix #7991: don't set JavaDefined for Dotty Enum module class #8008
IArray extension methods #7795
Put erased under -Yerased-terms flag #7906

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 0.21.0-RC1..0.22.0-RC1 these are:

   192  Martin Odersky
    85  Nicolas Stucki
    57  Antoine Brunner
    42  Liu Fengyun
    29  Guillaume Martres
    23  Aggelos Biboudis
    17  Maxime Kjaer
    10  Anatolii
     7  Jamie Thompson
     4  Minghao Liu
     3  Travis Brown
     3  Andrew Valencik
     2  fhackett
     2  Dvir Faivel
     2  Nadezhda Balashova
     2  Ruslan Shevchenko
     2  Lan, Jian
     2  Anatolii Kmetiuk
     2  Yevgen Nerush
     1  Dale Wijnand
     1  odersky
     1  Dmitrii Naumenko
     1  Eric K Richardson
     1  Eric Loots
     1  Jaap van der Plas
     1  Keith Pinson
     1  Miles Sabin
     1  Alexander Shamukov
     1  Som Snytt
     1  Taisuke Oe
     1  Timothée Floure
     1  bishabosha
     1  gzoller

Reporting Bugs

If you encounter a bug, please open an issue! 🙏

0.21.0

Release Dotty 0.21.0

0.21.0-RC1

Notable Changes

• Dotty with explicit nulls (and flow typing) #7546
• Add SemanticDB extractor #7379
• Add quoted.util.ExprMap #7570
• Improve performance of tuple operations #7689
• Change extension method syntax #7557
• Independent tasty-core library #7616

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 0.20.0-RC1..0.21.0-RC1 these are:

   176  Martin Odersky
   171  Bryan Abate
    88  Nicolas Stucki
    81  Jamie Thompson
    44  noti0na1
    29  Anatolii
    28  bishabosha
    23  Antoine Brunner
    19  Guillaume Martres
    10  Aleksander Boruch-Gruszecki
     8  Guillaume Raffin
     6  Olafur Pall Geirsson
     5  Sébastien Doeraene
     4  Aggelos Biboudis
     4  Liu Fengyun
     4  Paolo G. Giarrusso
     3  Andrea Mocci
     3  Martijn Hoekstra
     2  Ben Elliott
     2  Patrik Mada
     2  Rafal Piotrowski
     2  odersky
     1  Markus Kahl
     1  Richard Beddington
     1  Vlastimil Dort
     1  Anatolii Kmetiuk
     1  Raphael Jolly
     1  Lucas
     1  Nikita Eshkeev
     1  Brian Wignall
     1  Olivier Blanvillain
     1  张志豪

Reporting Bugs

If you encounter a bug, please open an issue! 🙏

0.20.0

Release Dotty 0.20.0

0.20.0-RC1

Notable Changes

Language

• Syntax change for type parameters of extension methods #7455
• Infer private[this] #7411
• Tweaks to indent syntax #7363
• Fix #7078: Allow <: T in given alias definitions #7334
• Allow normal parameters after given parameters #7317
• Make then optional at line end #7276

Metaprogramming

• Fix #7189: Do not try to load contents if file does not exist #7476
• Add customizable names for definitions in quotes #7346
• Rename scala.quoted.matching.{Bind => Sym} #7332
• Replace AsFunction implicit class with Expr.reduce #7299

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 0.19.0-RC1..0.20.0-RC1 these are:

    99  Martin Odersky
    64  Nicolas Stucki
    16  Nikita Eshkeev
    15  Guillaume Martres
     9  Robert Stoll
     8  Anatolii
     5  Liu Fengyun
     5  Olivier Blanvillain
     3  Miles Sabin
     2  Aggelos Biboudis
     2  Jamie Thompson
     2  Antoine Brunner
     2  Ben Elliott
     2  Guillaume R
     1  noti0na1
     1  Ashwin Bhaskar
     1  Batanick
     1  Bojan Dunaj
     1  Harpreet Singh
     1  Lucas
     1  Lucas Jenß
     1  Martijn Hoekstra
     1  bishabosha
     1  brunnerant

Reporting Bugs

If you encounter a bug, please open an issue! 🙏

0.19.0

Release Dotty 0.19.0

0.19.0-RC1

Notable Changes

Syntax

• Make indentation significant in old-style control syntax #7235
• Don't require colon after class or object signatures #7185
• Replace the[...] by summon[...] #7205
• Allow given bindings in patterns #7194
• Replace delegate match with summonFrom. #7201
• Switch to ? for wildcard types #7144
• Require (...) around parameters of a lambda #7156
• Drop old syntax styles for givens #7245

Macros

• Upgrade to scala-library 2.13.1 #7263
• Detect macro dependencies within the current run #7192
• Add dotty-staging.g8 in the staging documentation #7165
• Intrinsify scala.compiletime.testing.typeChecks #7129

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 0.18.1-RC1..0.19.0-RC1 these are:

    87  Martin Odersky
    50  Nicolas Stucki
    42  Guillaume R
    33  Nikita Eshkeev
    20  Guillaume Martres
     9  Liu Fengyun
     8  Anatolii
     5  Robert Stoll
     3  Miles Sabin
     1  Sam Desborough
     1  Anatolii Kmetiuk
     1  Jon Pretty
     1  Oron Port
     1  Aggelos Biboudis

Reporting Bugs

If you encounter a bug, please open an issue! 🙏

0.18.1

Release Dotty 0.18.1