diff options
author | Martin Odersky <odersky@gmail.com> | 2015-11-29 19:11:18 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2015-11-30 17:31:32 +0100 |
commit | e77428eb0bf0d9f68f4055d686cbabe111a4afdf (patch) | |
tree | 16c8fcfc8d8ebaf0ed3840aaa2a334fd3eab029b /src/dotty/tools/dotc/typer | |
parent | 4ca8744da021642d9f943224950482b3344cf089 (diff) | |
download | dotty-e77428eb0bf0d9f68f4055d686cbabe111a4afdf.tar.gz dotty-e77428eb0bf0d9f68f4055d686cbabe111a4afdf.tar.bz2 dotty-e77428eb0bf0d9f68f4055d686cbabe111a4afdf.zip |
Drop argumnt interpolation.
It turns out it's not needed because now all type arguments are
expressed as aliases. Interestingly dropping this feature shaved
20% off the time off junit tests. Which seems to indicate that the
handling of type application is really performance critical.
Diffstat (limited to 'src/dotty/tools/dotc/typer')
-rw-r--r-- | src/dotty/tools/dotc/typer/Namer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Namer.scala b/src/dotty/tools/dotc/typer/Namer.scala index 999efff09..5eebdbad1 100644 --- a/src/dotty/tools/dotc/typer/Namer.scala +++ b/src/dotty/tools/dotc/typer/Namer.scala @@ -848,7 +848,7 @@ class Namer { typer: Typer => def apply(tp: Type): Type = { tp match { case tp: RefinedType => - val args = tp.argInfos(interpolate = false).mapconserve(this) + val args = tp.argInfos.mapconserve(this) if (args.nonEmpty) { val tycon = tp.withoutArgs(args) val tparams = tycon.typeParams |