scala3
scala3 copied to clipboard
scala
The Scala 3 compiler, also known as Dotty.
## Compiler version 3.4.0-RC4 ## Problem First I want to celebrate the work that has been done for Scala 3.4 to provide Intellij with timing details so that you can...
This PR adds support for more precise analysis of type casting in global initialization checker, which filters impossible classes after reference casting and preserves only possible classes. It also automatically...
## Compiler version 3.4.0 ## Minimized code ```Scala trait Ptr[A] @capability trait Scope: def allocate(size: Int): Ptr[Unit]^{this} object Scope: def confined[A](fn: Scope ?->{cap} A): A = val scope = new...
This includes support for a single pass pipelined build, compatible with sbt's `ThisBuild/usePipelining`, - adds `-Ypickle-java` and `-Ypickle-write` flags, expected by Zinc when pipelining is enabled in sbt. - when...
The `-external-mappings` setting at use site should consider paths relative to the classpath entry's "root", currently it seems to be based on absolute paths ## Compiler version 3.4.0 ## Minimized...
## Compiler version nightly ## Context A number of `-Y*` options are considered private (`unstable`), while in reality they're widely used and could be considered production-ready. We need to look...
## Compiler version 3.3.2 ## Minimized code ```Scala dependentlyTypedMod2(Succ(Succ(Succ(Zero())))) def dependentlyTypedMod2[N Zero() case Succ(Zero()): Succ[Zero] => Succ(Zero()) case Succ(Succ(predPredN)): Succ[Succ[?]] => dependentlyTypedMod2(predPredN) type Mod2[N Succ[Zero] case Succ[Succ[predPredN]] => Mod2[predPredN] sealed...
Minimization of `tests/run/t5328.scala` ```scala // Test.scala def test = Vector(1).view.updated(0,2) ``` ``` sbt> set ThisBuild/Build.scala2Library := Build.Scala2LibraryCCTasty sbt> scala3-bootstrapped/scalac Test.scala ``` ```scala 1 |def test = Vector(1).view.updated(0,2) | ^^^^^^^^^^^^^^^^^^^^^^ |...
Fixes crash for added tests in `CompletionInterpolatorSuite` along with unification and better naming for completion pos, source pos, and span usage.
Based on forum post: https://users.scala-lang.org/t/scala-3-how-do-we-make-a-lambda-type-conform-to-a-subtype/9805 ## Compiler version 3.3.1 Last good release: 3.3.1-RC1-bin-20230514-b0ccf40-NIGHTLY First bad release: 3.3.1-RC1-bin-20230515-22b2259-NIGHTLY Bisect points to d1d6c2e9536ce331316f741b9c1c4c0520cef787 ## Minimized code ```Scala import scala.util.NotGiven type HasName1 =...
