scala-dev

scala-dev copied to clipboard

Align Scala 2.14 and 3.x trait initialization

3

Dotty has implemented a new encoding for trait constructors. Scala 2.14 and 3.0 should align on this implementation detail. The alignment could come from: - Scala 2.14 adopting the new...

retronym

``` $ cat sandbox/A_1.scala class C { class Inner } object Test { def main(args: Array[String]): Unit = { val c = new C val i = new c.Inner (i:...

retronym

Nested objects ACC_FINAL in bytecode?

2

adriaanm

Remove DocDef from AST

4

We have a long tail of bugs from places in the compiler that forget to unwrap them. I propose to encoded them as tree attachments rather than a wrapper node....

retronym

drop distinction between implicit conversions with call-by-value and call-by-name parameters

1

for dotty compat, see https://github.com/lampepfl/dotty/pull/5633

adriaanm

backport from https://github.com/lampepfl/dotty/pull/5754 See also deprecation of package object with extends in #441

adriaanm

SI-6103 & SI-8592 signatures of mixed in methods should use instantiated type params

2

- [ ] SI-6103 Mixin generates method signatures that confuse javac - [ ] SI-8592 mixin method overrides final method with variation on the reflect.{api,internal} pattern of abstract types implemented...

adriaanm

Treat more constructors as pure in the optimizer

3

e.g. `scala.Some` (https://github.com/scala/scala/compare/2.12.x...retronym:topic/pure-some?expand=1) Perhaps also: - `Left` / `Right` / `Success` @lrytz WDYT?

retronym

adriaanm

Allow abstract lazy vals, deprecate lazy vals overriding regular abstract vals

1

In Dotty, abstract vals cannot be overriden by lazy vals for soundness reasons (https://github.com/lampepfl/dotty/pull/1051). On the other hand, we allow abstract lazy vals unlike scalac. Could this limitation be lifted...

smarter