diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-11-11 09:46:56 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-11-11 09:46:56 +0100 |
| commit | c589109c4c1fc715642eb473ad07b767e559f26b (patch) | |
| tree | 5e71cd8aaf94268ed585f1114dde3663005109b8 /src/dotty/tools/dotc/core/Types.scala | |
| parent | d0d0d9faf75b9c98434a63fd8b239d02a78b628d (diff) | |
| download | dotty-c589109c4c1fc715642eb473ad07b767e559f26b.tar.gz dotty-c589109c4c1fc715642eb473ad07b767e559f26b.tar.bz2 dotty-c589109c4c1fc715642eb473ad07b767e559f26b.zip | |
Bringing underlyingIfRepeated up-to-date
Was still using the old-alias scheme, which is ineffective now.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index bcc447f8a..83b8cb5dc 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -243,6 +243,8 @@ object Types { case tp: TypeRef => val sym = tp.symbol if (sym.isClass) sym else tp.underlying.classSymbol + case tp: TermRef => + NoSymbol case tp: TypeProxy => tp.underlying.classSymbol case AndType(l, r) => @@ -679,7 +681,7 @@ object Types { * else the type itself. */ def underlyingIfRepeated(implicit ctx: Context): Type = - if (isRepeatedParam) dealias else this + translateParameterized(defn.RepeatedParamClass, defn.SeqClass) // ----- Access to parts -------------------------------------------- |