diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-07-19 13:02:36 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-09-18 18:07:27 +0200 |
| commit | 83ae926dad0caf945a8633b39b557567415b2bbe (patch) | |
| tree | ee4e0b2417c2c94b68e30cc02b0d2deb11633d12 | |
| parent | 05a4660886276284f966896bc800c8862919c01f (diff) | |
| download | dotty-83ae926dad0caf945a8633b39b557567415b2bbe.tar.gz dotty-83ae926dad0caf945a8633b39b557567415b2bbe.tar.bz2 dotty-83ae926dad0caf945a8633b39b557567415b2bbe.zip | |
Try to eta reduce type applications.
Rewrite a type application like
([HK$0] => C[HK$0])(T) to C[T]
Avoids application cahins to become unnecessarly large.
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeApplications.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeApplications.scala b/src/dotty/tools/dotc/core/TypeApplications.scala index d0909fed4..dca56e812 100644 --- a/src/dotty/tools/dotc/core/TypeApplications.scala +++ b/src/dotty/tools/dotc/core/TypeApplications.scala @@ -192,7 +192,9 @@ class TypeApplications(val self: Type) extends AnyVal { matchParams(tp, safeTypeParams, args) } case tp: RefinedType => - tp.derivedRefinedType( + val redux = tp.EtaReduce + if (redux.exists) redux.appliedTo(args) // Rewrite ([HK$0] => C[HK$0])(T) to C[T] + else tp.derivedRefinedType( instantiate(tp.parent, original), tp.refinedName, tp.refinedInfo) |