scala3

scala3 copied to clipboard

Problem with Type of `Tuple.map` (was: type inference regression)

6

## Compiler version Works fine in 3.2.0, fails in 3.2.1-RC1-bin-20220904-b5fea82-NIGHTLY ## Minimized code ```Scala import language.implicitConversions class Inverse[F[_], G[_]] type MatchSome[X] = X match { case Some[t] => t }...

Adam-Vandervorst

Case object type class derivation from inside a macro fails

1

## Compiler version 3.2.0 and nightly ## Minimized code TypeClass.scala ```scala //> using options "-Xcheck-macros" import scala.quoted._ trait TypeClass[A]: def handle(value: A): String object TypeClass: def instance[A](f: A => String):...

jchyb

## Compiler version 3.2 ## Minimized code ```Scala import compiletime.ops.int._ import compiletime.constValue type Elem[X x case S[k] => Elem[xs, k] inline def elem[X h case _: S[k] => elem(t, constValue[k])...

jpablo

Fixes #16006 Fixes #15287 When resolving overloading using parameter lists after the first one, we used mapped symbols that forgot about the prefix of the original call and how many...

odersky

Current `ExtractSemanticDB` in dotty extracts the following information for [SymbolInformation](https://scalameta.org/docs/semanticdb/specification.html#symbolinformation), but there're some missing fields. - [x] `symbol` - [x] `language` - [x] `kind` - [x] `properties` - [x] `displayName`...

tanishiking

## Compiler version 3.2.0 ## Minimized code ```Scala type LeafElem[X] = X match case String => Char case Array[t] => LeafElem[t] case Iterable[t] => LeafElem[t] case AnyVal => X def...

peter-jerry-ye

## Compiler version 3.2.1-RC1 Possibly related: https://github.com/lampepfl/dotty/issues/14146 ## Minimized example Not sure if bug or feature request or possible misuse, also please pardon my pedestrian/inaccurate understanding of both the mechanism...

unthingable

Compiler cannot choose correct overloaded method with default argument

1

## Compiler version 3.2.0, 3.2.1-RC1, haven't checked earlier versions ## Minimized code Original code ```scala //> using scala "3.2.1-RC1" //> using lib "org.typelevel::cats-core:2.8.0" //> using lib "org.typelevel::cats-effect:3.3.11" import cats.Functor import...

kpodsiad

Regression found in [Open CB #4758](https://scala3.westeurope.cloudapp.azure.com/job/buildCommunityProject/4758/) for [wangzaixiang/wjson](https://github.com/wangzaixiang/wjson) Part of the 3.2.1-RC1 regressions tracker https://github.com/lampepfl/dotty/issues/15949 There seem to be 2 reasons why code now fails to compile: 1. In Scala...

WojciechMazur

transform.PatternMatcher crash on extracting exported macro-generated unapply

1

## Compiler version 3.2.1-RC1-bin-20220904-b5fea82-NIGHTLY ## Minimized code I failed to minimize the code and [published the code](https://github.com/Adam-Vandervorst/MacroLoop/tree/destruct-bug) (sbt `> test`). [Usage site](https://github.com/Adam-Vandervorst/MacroLoop/blob/8a1e0b676b67f50fa4d7c970ee32419554a354b4/collection/src/test/scala/VectorBasic.scala#L30): ```Scala println(SizedVector.unapply(v1)) // works fine, prints `(2,3)` val...

Adam-Vandervorst