scala3
scala3 copied to clipboard
scala
The Scala 3 compiler, also known as Dotty.
## Compiler version 3.1.3 ## Actual In https://docs.scala-lang.org/scala3/reference/contextual/derivation.html, I believe the declaration of the `Eq` typeclass has an error. The declaration ``` inline given derived[T](using m: Mirror.Of[T]): Eq[T] = ```...
## Compiler version 3.1.3 ## Minimized code ```Scala summon[CanEqual[Map[String, String], Map[String, String]]] ``` ## Output Compiler error because the `CanEqual` is not found. ## Expectation `CanEqual` should be found. ##...
## Compiler version 3.1.2 / 3.1.3 ## Minimized code This one's in production code and difficult to provide a minimized example for, so apologies ahead of time... This issue arises...
1. Recognize capture specific syntax and names only under -Ycc: - recognize -> and ?-> as function types, - recognize {...} T as a capturing type, - recognize `scala.*` as...
## Compiler version `3.2.0-RC2` (`main` branch) ## Minimized code ```Scala trait Foo case class Bar[A, T val xs0: *:[a, T] = ??? val t0: a = xs0.head[(a *: T)] val...
A new PR which takes a simpler approach - compute a prefix for the child and use `asSeenFrom` - update child accessibility check for anonymous mirrors in whyNotGenericSum. Now check...
## Compiler version `3.2.1-RC1-bin-20220705-9bb3108-NIGHTLY-git-9bb3108` ## Minimized code ```Scala package test class Foo(val name: String) object Bar extends Foo("bar") object Macros { import scala.quoted.{Expr, Quotes, Type} inline def show[A]: String =...
Where "incompatibly" means outside of sub/supertypes. Intending to resolve #11834. Actually, it's resolving what the ["Towards Improved GADT Reasoning in Scala"][1] paper calls "an Old Paradox". (cc @LPTK and @Blaisorblade)....
Level checking was first implemented #14026. The idea was to avoid level-incorrect constraints from the outset, by cloning type variables and adjusting bounds as needed. This fixed a number of...
Based on the issue found in softwaremill/tapir based on [Open CB #7872](https://scala3.westeurope.cloudapp.azure.com/job/buildCommunityProject/7872/) ## Compiler version Works in 3.2.0-RC2 Fails in 3.2.0-RC3 ## Minimized code ```Scala //> using scala "3.2.0-RC3" sealed...
