scala3
scala3 copied to clipboard
scala
The Scala 3 compiler, also known as Dotty.
At typer, fail if implementing a deferred given picks the implementing member, which can happen in the companion to the type class. The recursion is not detected by `CheckLoopingImplicits`, where...
Resolves #24720 Piggy backs fixes that would be required to have correct assertions in generated scaladoc (would be most likelly cherry-picked before merge): - allow to specific `sc-opts:*` to pass...
Based on https://github.com/scala/scala3/blob/577721f395350461499c3a71a7a0c934aa09109c/compiler/src/dotty/tools/dotc/reporting/ErrorMessageID.scala we should create a documented an searchable list of compiler error codes that can be easily googled by the users. Each entry should contain an explanation of...
Must wait for 3.10.0 currently it is transparent inline, to avoid inline proxy objects appearing in capture sets and breaking type checking. fixes #24715
## Minimized code ```Scala case class Key[T]()(val value: T) def foo[K[_], A, B](k0: K[A], k1: K[B]): Option[k1.type] = k0 match { case k: k1.type => Some(k) case _ => None...
Continuation of https://github.com/scala/scala3/pull/24626 Fixes #22041 [skip ci]
This issue collects items that should be looked at in the work to improve performance of `dotc`. The following items should definitely be worked on: - [x] Port the improvements...
Sometimes we have more than one representation of the same symbol, i.e. both `^` and `cap`, or both `=>` and `cap`. If the cap is rendered first, we expand the...
Improve rendering of messages with multi-line code positions, in two ways: - Add a blank line between the error message proper and the code lines that follow it. - If...
The callee part is separated from #24697 for further investigation When typing a function literal's expression to infer the callee type, we now create placeholder tree for each argument, and...
