diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-06-29 19:05:20 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-07-11 13:34:59 +0200 |
| commit | af43d325b778973ad9e144b5c27c455febb98890 (patch) | |
| tree | 7803923eade05a15f0a5bbe3ef8b6fb86390643b /src/dotty/tools/dotc/typer/Namer.scala | |
| parent | 850dc6f2fb3b6228f2586ce0790621e80f664afe (diff) | |
| download | dotty-af43d325b778973ad9e144b5c27c455febb98890.tar.gz dotty-af43d325b778973ad9e144b5c27c455febb98890.tar.bz2 dotty-af43d325b778973ad9e144b5c27c455febb98890.zip | |
Abstract type parameters out from type symbols
In the new hk scheme, a type parameter can be represented by a
refinement without a corresponding symbol. Therefore, we need
to disentangle the info inherent in a type parameter from the
contents of a type symbol. We achieve this by creating a common
super trait "MemerInfo" of Symbol and RefinedType.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Namer.scala')
| -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 a8f3b8918..8437b651c 100644 --- a/src/dotty/tools/dotc/typer/Namer.scala +++ b/src/dotty/tools/dotc/typer/Namer.scala @@ -989,7 +989,7 @@ class Namer { typer: Typer => if (args.nonEmpty) { val tycon = tp.withoutArgs(args) val tycon1 = this(tycon) - val tparams = tycon.typeParams + val tparams = tycon.typeParamSymbols val args1 = if (args.length == tparams.length) etaExpandIfHK(tparams, args) else args if ((tycon1 eq tycon) && (args1 eq args)) tp else tycon1.appliedTo(args1) } else mapOver(tp) |