diff options
| author | Martin Odersky <odersky@gmail.com> | 2011-01-06 17:28:26 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2011-01-06 17:28:26 +0000 |
| commit | 04f59ea9e8238cc9561a3281dfaa22808dc0a1b8 (patch) | |
| tree | b5e2b46e0a903997b40ab9076c1c04d16a71b8f6 | |
| parent | 715262fcfcefbb75788f287444c4791180e7eb67 (diff) | |
| download | scala-04f59ea9e8238cc9561a3281dfaa22808dc0a1b8.tar.gz scala-04f59ea9e8238cc9561a3281dfaa22808dc0a1b8.tar.bz2 scala-04f59ea9e8238cc9561a3281dfaa22808dc0a1b8.zip | |
One reversal wrt Pauls TypeRef -> typeRef changes.
| -rw-r--r-- | src/compiler/scala/tools/nsc/symtab/Types.scala | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/symtab/Types.scala b/src/compiler/scala/tools/nsc/symtab/Types.scala index fba3095f8d..3c526ca3cf 100644 --- a/src/compiler/scala/tools/nsc/symtab/Types.scala +++ b/src/compiler/scala/tools/nsc/symtab/Types.scala @@ -1750,7 +1750,10 @@ A type's typeSymbol should never be inspected directly. // (!result.isEmpty) IFF isHigherKinded override def typeParams: List[Symbol] = if (isHigherKinded) typeParamsDirect else List() - override def typeConstructor = typeRef(pre, sym, Nil) + override def typeConstructor = TypeRef(pre, sym, Nil) + // note: does not go through typeRef. There's no need to because neither `pre' nor `sym' changes. + // And there's a performance advantage to call TypeRef directly. + // a reference (in a Scala program) to a type that has type parameters, but where the reference does not include type arguments // note that it doesn't matter whether the symbol refers to a java or scala symbol, |