diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-12-02 17:29:44 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-12-06 16:09:21 +0100 |
| commit | 91a865cf9e5fff097249b3f14ced9deb0006fafe (patch) | |
| tree | 587da671d5f231851229fc85c927d1fbb6e20131 /src/dotty/tools/dotc/core/TypeApplications.scala | |
| parent | 73bf06b4735b8a74c99ed185e52ae3350181f426 (diff) | |
| download | dotty-91a865cf9e5fff097249b3f14ced9deb0006fafe.tar.gz dotty-91a865cf9e5fff097249b3f14ced9deb0006fafe.tar.bz2 dotty-91a865cf9e5fff097249b3f14ced9deb0006fafe.zip | |
Base Application extractor on classSymbols
typeSymbols always have empty type parameter list.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeApplications.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeApplications.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/TypeApplications.scala b/src/dotty/tools/dotc/core/TypeApplications.scala index 618dd35e8..3cd9727e7 100644 --- a/src/dotty/tools/dotc/core/TypeApplications.scala +++ b/src/dotty/tools/dotc/core/TypeApplications.scala @@ -125,7 +125,7 @@ object TypeApplications { matchParams(RefinedType(tp, tparam.name, arg.toBounds(tparam)), tparams1, args1) } catch { case ex: MatchError => - println(s"applied type mismatch: $tp $args, typeParams = ${tp.typeSymbol.typeParams}") // !!! DEBUG + println(s"applied type mismatch: $tp $args, typeParams = ${tp.classSymbol.typeParams}") // !!! DEBUG println(s"precomplete decls = ${tp.typeSymbol.unforcedDecls.toList.map(_.denot).mkString("\n ")}") throw ex } @@ -144,7 +144,7 @@ object TypeApplications { private def unapp(tp: Type)(implicit ctx: Context): Option[(Type, List[Type])] = tp match { case _: RefinedType => - val tparams = tp.typeSymbol.typeParams + val tparams = tp.classSymbol.typeParams if (tparams.isEmpty) None else { val argBuf = new mutable.ListBuffer[Type] |