0.18.1-RC1

Notable Changes

Language

• Implement @main functions #6898
• Allow infix operators at start of line #7031
• Drop do while #6994
• Alternative Syntax for Control Expressions #7024
• Allow significant indentation syntax #7083
• Change indentation rules to allow copy-paste #7114
• Switch to the 2.13 standard library #7019
• Allow collective parameters for extension methods #6985
• Implement generic number literals #6919

Metaprogramming

• Add toExprOfTuple in scala.quoted #7037
• Make toExprOfTuple produce tuples with precise types #7076
• Add quoted.Liftable[TupleN] with N > 22 to the stdlib #6947
• Add quoted.Liftable[BigInt] and quoted.Liftable[BigDecimal] to the stdlib #6944
• Add quoted ExprOps toExprOfSeq #6935
• Re-contextualize Liftable.toExpr #6924
• toExprOfTuple method with precise types #7047
• Factor out staging from the core of scala.quoted #7077
• Add scala.quoted.Liftables to the stdlib #6928
• Remove scala.quoted.QuoteError #6925
• Create dotty-staging library #7080

Type class derivation

• Add documentation for type class derivation #7063
• Removed redundant Shape type #6964
• Support implicit scope augmentation for Mirror #6879

Other

• [DOC] Add ScalaDays 2019 talks #6984
• Release sbt-dotty 0.3.4, future-proof isDotty #7120
• In Scala.js mode, compile all lazy vals as thread-unsafe. #7026

Contributors

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

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

   106  Nicolas Stucki
    84  Martin Odersky
    68  Guillaume Martres
    26  Liu Fengyun
    24  Jamie Thompson
    23  Miles Sabin
    16  Anatolii
     8  Sébastien Doeraene
     7  bishabosha
     4  Aggelos Biboudis
     4  Michał Gutowski
     2  odersky
     2  Nikolay
     1  Master-Killer
     1  Ashwin Bhaskar
     1  Carlos Quiroz
     1  =
     1  Olivier Blanvillain
     1  SrTobi

Reporting Bugs

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

0.17.0

Release Dotty 0.17.0

0.17.0-RC1

Notable Changes

Language

• Remove support for symbol literal singleton types #6764
• Fix implicit scope implementation #6832

Metaprogramming

• Move reflection inside QuoteContext #6723
• Remove pickled type splice type tags when unpicking #6784
• Add quoted pattern type splices #6504
• Type the quoted patterns as precisely as possible #6742
• Fix #6622: Add code interpolation #6661

Organizational

• Remove 2.12 CI build #6701
• Added shapeless 3 to community build #6645
• Add issue template #6604

Feature

• String f interpolator macro #6540

Contributors

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

According to git shortlog -sn --no-merges 0.16.0-RC3..0.17.0-RC1 these are:

   119  Martin Odersky
   103  Nicolas Stucki
    38  Liu Fengyun
    33  Guillaume Martres
    33  Sara Alemanno
    17  Anatolii
    10  Aggelos Biboudis
     6  Miles Sabin
     5  Anatolii Kmetiuk
     4  Olivier Blanvillain
     4  Robert Stoll
     3  odersky
     2  Dale Wijnand
     2  Timothée Floure
     2  Rodrigo Fernandes
     2  James Thompson
     2  Steven Heidel
     1  Stéphane MICHELOUD
     1  bishabosha
     1  noti0na1
     1  Daniel Reigada
     1  Haemin Yoo
     1  Bunyod
     1  Deon Taljaard
     1  Ondra Pelech
     1  Jon Pretty

Reporting Bugs

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

0.16.0-RC3

Notable Changes

Language & Syntax

• Use =>> for type lambdas #6558
• Use ? for wildcards #6610
• Rename implied to delegate #6649

Type System Improvements

• Intersection based gadts #6398
• Improve opaque types (simpler implementation strategy, disallowing opaque as a local modifier and more) #6567

Compiler Development

• Implement Tuple operation directly in the compiler #6539
• Add mini-phase to fix constructors for enums extending java.lang.Enum #6602
• Remove dependency on scala-xml #5597
• New typeclass derivation scheme #6531

Contributors

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

According to git shortlog -sn --no-merges 0.15.0-RC1..0.16.0-RC3 these are:

    88  Martin Odersky
    51  Anatolii
    48  Nicolas Stucki
    26  Guillaume Martres
    21  Miles Sabin
    19  Liu Fengyun
    12  Aleksander Boruch-Gruszecki
    11  Sébastien Doeraene
     8  Aggelos Biboudis
     4  Olivier Blanvillain
     3  Eugene Yokota
     1  Dale Wijnand
     1  Allan Renucci
     1  Olivier ROLAND

Reporting Bugs

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

0.16.0-RC2

Release Dotty 0.16.0-RC2

0.16.0-RC1

Release Dotty 0.16.0-RC1

0.15.0

Revert to original version of scalatest and disable timeouting test

0.15.0-RC1

Notable Changes

Language & Syntax

• Type-Safe Pattern Matching (doc)
  • Fix #2578 Part 1: Tighten type checking of pattern bindings #6389
  • Fix #2578: (part 2) Make for-generators filter only if prefixed with case #6448
• Make given clauses come last #6513
• Add @infix annotation #5975 (doc)

Type System Improvements

• Fix #6199: Use a skolemized prefix in asSeenFrom when needed #6454
• Fix #6385: Don't instantiate hk type constructors too early #6467
• Skolem based gadt constraints #5736
• Fix #6288: Allow Singletons in Unions #6299

Scala 2 and Cats code support

• Fix #6484: Properly unpickle some Scala 2 type lambdas #6494
• Fix #6242: package objects leak members from Any and Object #6498

Compiler Development

• Full bootstrap: Use Dotty as the reference compiler #5923

Contributors

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

According to git shortlog -sn --no-merges 0.14.0-RC1..0.15.0-RC1 these are:

   191  Martin Odersky
   112  Nicolas Stucki
    29  Guillaume Martres
    25  Olivier Blanvillain
    21  Aleksander Boruch-Gruszecki
    17  Anatolii Kmetiuk
    10  Miles Sabin
     9  Liu Fengyun
     8  Aggelos Biboudis
     8  Jentsch
     5  Sébastien Doeraene
     2  Anatolii
     1  Fengyun Liu
     1  Olivier ROLAND
     1  phderome

Reporting Bugs

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

0.14.0

Release Dotty 0.14.0

0.14.0-RC1

Notable Changes

Syntax

• Add Export as a Dual of Import #6169
• Implement creator applications #6084
• Change syntax of splices and quotes #5918

Features

• Add the method #5893
• Add an immutable array type #5885

Issue Fixes

• Fix #6007: Get the classloader that loaded the application #6017
• Fix #3248: support product-seq pattern #5989

Other

• Don't uncondtionally emit forwarders as ACC_SYNTHETIC #6173
• Simplify Scala 2 trait support #6040
• Move Staging to Typer #5846

Contributors

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

According to git shortlog -sn --no-merges 0.13.0-RC1..0.14.0-RC1 these are:

   230  Martin Odersky
   174  Nicolas Stucki
    74  Liu Fengyun
    55  Guillaume Martres
    26  Olivier Blanvillain
    12  Aleksander Boruch-Gruszecki
    10  Aggelos Biboudis
     9  Anatolii Kmetiuk
     8  Miles Sabin
     4  Dale Wijnand
     4  Allan Renucci
     2  Lionel Parreaux
     2  Alex Zolotko
     2  Fengyun Liu
     1  tim-zh
     1  Jim Van Horn
     1  Jentsch
     1  Jasper Moeys
     1  Master-Killer
     1  Ignasi Marimon-Clos
     1  Dotty CI
     1  Dmitry Petrashko
     1  Olivier ROLAND
     1  Robert Stoll
     1  Seth Tisue
     1  Sébastien Doeraene
     1  Tomasz Godzik
     1  Victor
     1  gnp
     1  Johannes Rudolph

Reporting Bugs

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