diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-12-02 16:00:07 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-12-06 16:09:21 +0100 |
| commit | 73bf06b4735b8a74c99ed185e52ae3350181f426 (patch) | |
| tree | 60320e0261ebc0eecf54e5aedf99311f762cef78 /src/dotty/tools/dotc/core/TypeApplications.scala | |
| parent | 2abcd02d2a2067ba78430262664f5d3ab9b61d00 (diff) | |
| download | dotty-73bf06b4735b8a74c99ed185e52ae3350181f426.tar.gz dotty-73bf06b4735b8a74c99ed185e52ae3350181f426.tar.bz2 dotty-73bf06b4735b8a74c99ed185e52ae3350181f426.zip | |
More uses of adaptIfHK
Also: fix EtaExpansion.
Also: Add some debug code to Applications, awaiting further fixes.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeApplications.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeApplications.scala | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/TypeApplications.scala b/src/dotty/tools/dotc/core/TypeApplications.scala index b1ffe0169..618dd35e8 100644 --- a/src/dotty/tools/dotc/core/TypeApplications.scala +++ b/src/dotty/tools/dotc/core/TypeApplications.scala @@ -62,7 +62,6 @@ object TypeApplications { def unapply(tp: Type)(implicit ctx: Context): Option[(List[Int], List[TypeBounds], Type)] = tp match { case app @ RefinedType(prefix, tpnme.hkApply) => - println(s"type lam $tp") val cls = prefix.typeSymbol val variances = cls.typeParams.map(_.variance) val argBounds = prefix.argInfos.map(_.bounds) @@ -89,7 +88,7 @@ object TypeApplications { val tparams = tycon.typeParams val variances = tycon.typeParams.map(_.variance) TypeLambda(tparams.map(_.variance), tycon.paramBounds, - rt => tycon.appliedTo(tparams.map(RefinedThis(rt).select(_)))) + rt => tycon.appliedTo(argRefs(rt, tparams.length))) } def unapply(tp: Type)(implicit ctx: Context): Option[TypeRef] = { |