scala3

scala3 copied to clipboard

Fixes #13774

som-snytt

Track type variable dependencies to guide instantiation decisions

11

We now keep track of reverse type variable dependencies in constraints. E.g. if a constraint contains a clause like A >: List[B] We associate with `B` info that `A` depends...

odersky

Dealias less in OrderingConstraint.replace and AvoidMap

1

Basically if the transformation doesn't apply to the dealias type, then return the original type instead of the dealiased one. In general it's reduce dealiasing to a minimum when typing,...

joroKr21

inline match breaks simple example, documentation?

10

## Compiler version 3.0.2 ## Minimized code ```Scala (transparent) inline def f(x: Int) = inline x match case 1 => 1 case _ => 0 @main def m = val...

Adam-Vandervorst

REPL: make truncation behaviour configurable

7

via `-Vrepl-max-print-elements`. The default behaviour is unchanged: ``` scala> 1.to(300).toList val res0: List[Int] = List(1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16,...

mpollmeier

warning regression from scala 2 to scala 3: Reference to uninitialized value

4

## Compiler version 3.2.0 ## Minimized code There is a regression from Scala 2 to Scala 3 in that forward reference warnings are not given. ```Scala object shouldwarn { val...

bjornregnell

Freeze GADTs more when comparing type member infos

2

dwijnand

Match types and union patterns

4

## Compiler version 3.2.0 ## Minimized code Not that minimized sadly, but I have very little idea what's going on. I'd give an implementation for HKDProductGeneric instead of just ???,...

Katrix

## Compiler version scalaVersion = 3.2.1-RC1 / 3.2.0 ## Minimized code & Output ```Scala def foo(x: Int)(y: String): Int = x val voo: (Int, String) => Int = foo //...

Sporarum

Expose reason for unchecked warning

1

dwijnand