scala3
scala3 copied to clipboard
scala
The Scala 3 compiler, also known as Dotty.
This PR refines the `TypeVar` instantiation logic introduced by #24231. We only check the `calleeType` when there is actually a `TypeVar` in `pt` to instantiate now, prioritizing inference from the...
## Compiler version 3.8.0 ## Expectation There must needs be a quick way to run the (current) compiler. In the absence of `buildQuick`, this is onerous. Current example is that...
The example is from a typesafe tensor/matrix library I'm writing, where the matrix sizes and shapes are known at compile time. ## Compiler version 3.7.4 ## Minimized code ```scala object...
blocker for [Make -> sugar an inline method #24728](https://github.com/scala/scala3/pull/24728) ## Compiler version main branch @ https://github.com/scala/scala3/commit/ba4587574519c8a80c07504e53a9157815a69503 ## Minimized code taken from an error in `library/src/scala/collection/package.scala` when trying to make Predef.ArrowAssoc...
## Compiler version 3.8 nightly ## Minimized code I noticed that typing issues stemming from CC in closures/lambdas will point to the start of the block and not the actual...
I'm testing capture checking to ensure that resources don't leak outside of a `use` function. Things work fine when specific classes are used. When a generic type parameter is used...
Closes #22587: Implement Divergence Checking for Match Types - Addresses the issue where match type reduction relies on catching `StackOverflowError` to handle infinite recursion, which is unsafe and slow. -...
```scala package dotty.tools.dotc.core import dotty.tools.DottyTest import dotty.tools.dotc.core.Symbols.defn import dotty.tools.dotc.core.TypeOps import org.junit.Test import org.junit.Assert.assertEquals class TypesTest extends DottyTest: @Test def tuple3TypeSize = val tpe = defn.TupleType(3).nn.appliedTo(List(defn.IntType, defn.BooleanType, defn.DoubleType)) assertEquals(3, tpe.typeSize) //...
## Compiler version ba4587574519c8a80c07504e53a9157815a69503 ## Minimized code ```scala def bar[A](f: A => Unit): A = ??? def foo[A, U](f: A => U): A = bar(f) ``` ## Output ```scala --...
## Compiler version 3.7.4 ## Minimized code ```scala object PairProblem { def f0(x: Int, y: Int): (Int, Int) = val p = (x, y) p def f1(x: Int, y: Int):...
