Skip to content

Commit b3b1bd9

Browse files
committed
Disable FromTasty test
I got the following difference for i0306.scala ``` < val x: scala.AnyRef = new bar.C[scala.collection.Seq[_ >: scala.Nothing <: scala.Any]]() --- > val x: scala.AnyRef = new ([T >: scala.Nothing <: scala.collection.Seq[_ >: scala.Nothing <: scala.Any]] => bar.C[T])[scala.collection.Seq[_ >: scala.Nothing <: scala.Any]]() That is, the output has eta expanded bar.C to [T] => bar.C[T]. It's not done during unpickling as far as I can see, so some code must do it afterwards.
1 parent d9a9952 commit b3b1bd9

File tree

4 files changed

+10
-3
lines changed

4 files changed

+10
-3
lines changed

compiler/src/dotty/tools/dotc/config/Config.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -161,7 +161,7 @@ object Config {
161161
final val showCompletions = false
162162

163163
/** If set, enables tracing */
164-
final val tracingEnabled = false
164+
final val tracingEnabled = true
165165

166166
/** Initial capacity of uniques HashMap.
167167
* Note: This MUST BE a power of two to work with util.HashSet

compiler/test/dotc/pos-from-tasty.blacklist

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -27,3 +27,7 @@ t6278-synth-def.scala
2727

2828
# Need to print empty tree for implicit match
2929
i5938.scala
30+
31+
# decompiled output has an extra eta-expansion (due to dealiasing?)
32+
i0306.scala
33+

docs/docs/reference/features-classification.md

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -44,8 +44,9 @@ These features replace existing constructs with the aim of making the language s
4444
of value classes while guaranteeing absence of boxing,
4545
- [Toplevel definitions](https://dotty.epfl.ch/docs/reference/dropped-features/package-objects.html) replace package objects, dropping syntactic boilerplate,
4646
- [Vararg patterns](https://dotty.epfl.ch/docs/reference/changed-features/vararg-patterns.html) now use the form `: _*` instead of `@ _*`, mirroring vararg expressions,
47-
- [Synthesized creation methods](https://contributors.scala-lang.org/t/expunging-new-from-scala-3/2868/81) allow to use simple function call syntax
48-
instead of `new` expressions (under discussion, not implemented).
47+
- [Creator applications](https://dotty.epfl.ch/docs/reference/other-new-features/creator-applications.html) allow to use simple function call syntax
48+
instead of `new` expressions. `new` expressions stay around as a fallback for
49+
the cases where creator applications cannot be used.
4950

5051
With the exception of early initializers and old-style vararg patterns, all superseded features continue to be available in Scala 3.0. The plan is to deprecate and phase them out later.
5152

docs/sidebar.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -69,6 +69,8 @@ sidebar:
6969
subsection:
7070
- title: Trait Parameters
7171
url: docs/reference/other-new-features/trait-parameters.html
72+
- title: Creator Applications
73+
url: docs/reference/other-new-features/creator-applications.html
7274
- title: Inlining by Rewriting
7375
url: docs/reference/other-new-features/inline.html
7476
- title: Meta Programming

0 commit comments

Comments
 (0)