scala3
scala3 copied to clipboard
scala
The Scala 3 compiler, also known as Dotty.
Instead of showing the underlying constraint info, which just looks bad, takes up lots of space, and shows details that aren't relevant and often includes leaked type constructors, just show...
## Compiler version 3.1.3 ## Minimized code ```Scala sealed trait NatT case class Zero() extends NatT case class Succ[N
Fix #15764: Warn for problematic parameter overriding Check overriding of class parameters This check issues a warning if the use of a class pamameter in the primary constructor potentially has...
(Also on 3.2.0) https://dotty.epfl.ch/api/scala/Tuple.html# Displays: ```scala inline def splitAt[This >: Tuple : this.type
Big to small rewritings of the Scala 3 Reference Mostly yo make it more clear or to improve structure, and fix typos But there are some specs that were out...
## Compiler version 3.2.0 ## Minimized code ```scala type Range[From Range[From, From + ((To - From) / 2)] | Range[(From + 1) + ((To - From) / 2), To] }...
## Compiler version 3.1.2 ## Minimized code [Scastie Link](https://scastie.scala-lang.org/7xUCC90dSaiDh0452TS41w) ```Scala import scala.deriving.Mirror import scala.compiletime.{erasedValue, summonFrom} inline def summonEncoders[T Nil case _: (t *: ts) => summonEncoder[t] :: summonEncoders[ts] inline def...
Regression found in the [Open CB #8414 ](https://scala3.westeurope.cloudapp.azure.com/job/buildCommunityProject/8414/) for [mjakubowski84/parquet4s](https://github.com/mjakubowski84/parquet4s) ## Compiler version Fails with 3.2.1-RC2 Works with 3.2.1-RC1 Bisect points to 57f53d0725c859bffcadc8919524b9b0d43805ba Might be related to https://github.com/lampepfl/dotty/issues/16049 and it's...
Fixes #16049 Fixes #16076
Objects ending with `_` that have a body are parsed in a surprising way. I only narrowed it down accidentally, but the symptoms were lots of compiler errors because of...
