scala3
scala3 copied to clipboard
scala
The Scala 3 compiler, also known as Dotty.
Note that uncommenting line 75 still fails pickling tests. The pickling error is a change in the position of term in a @Retains clause in an inferred type. The diff...
_Originally posted by @Linyxus in https://github.com/lampepfl/dotty/issues/15175#issuecomment-1152619492_ Regarding the soundness holes caused by resetting approx state: yes, we have more soundness holes caused by this. Each time `isSubType(S, T)` (instead of...
Scala 2 Macro freshName has no equivalent in new meta-programming API.
**Note: related to #14282. I am not sure if this change is published in 3.1.3/3.2.0-RC3** ## Compiler version Tested in `3.1.3` and `3.2.0-RC3` ## Minimized code & Output Inline methods...
## Compiler version 3.2.0-RC1 ## Minimized code ```Scala import scala.compiletime.* class Vec[N
# Summary This PR adds support for the Precise Type Annotation SIP. # Links Official Proposal: https://github.com/scala/improvement-proposals/pull/48 Discussion: https://contributors.scala-lang.org/t/pre-sip-exact-type-annotation/5835 # Implementation The implementation includes the following: 1. Add `scala.annotation.precise` annotation...
## Compiler version Scala 3.1.3 ## Minimized code & Output ### Inline val (error) ```scala inline val str = "test" compiletime.error(str) ``` ``` A literal string is expected as an...
This is similar to code that would be generated for a Mirror - but I am using plain code to demonstrate that the problem is not to do with mirror...
## Minimized code First, let's implement a really simple type derivation that just prints something for every given type in a product/coproduct ```scala object EnumerateNames { inline def summonNext[T] =...
