diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-12-02 10:58:44 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-12-06 16:09:20 +0100 |
| commit | f89b5628a66442edcc8c31193a559c6b5c32e837 (patch) | |
| tree | 9f68cac5c14258449088d1021016377e7276c53b /src/dotty/tools/dotc/printing/RefinedPrinter.scala | |
| parent | 0fde4b4902f81f9a020dbf460925596a276ab328 (diff) | |
| download | dotty-f89b5628a66442edcc8c31193a559c6b5c32e837.tar.gz dotty-f89b5628a66442edcc8c31193a559c6b5c32e837.tar.bz2 dotty-f89b5628a66442edcc8c31193a559c6b5c32e837.zip | |
Add missing type params in test
Diffstat (limited to 'src/dotty/tools/dotc/printing/RefinedPrinter.scala')
| -rw-r--r-- | src/dotty/tools/dotc/printing/RefinedPrinter.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/src/dotty/tools/dotc/printing/RefinedPrinter.scala index 06fe0c9ef..04c9252eb 100644 --- a/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -190,14 +190,14 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { // LambdaI{...}.HK$i val simplifyArgs = new TypeMap { override def apply(tp: Type) = tp match { - case tp @ TypeRef(RefinedThis(_), name) if name.isLambdaArgName => + case tp @ TypeRef(RefinedThis(_), name) if name.isHkArgName => TypeRef(NoPrefix, tp.symbol.asType) case _ => mapOver(tp) } } (parent, simplifyArgs(tp.refinedInfo.followTypeAlias), Nil) - } else if (name.isLambdaArgName) { + } else if (name.isHkArgName) { val (prefix, body, argBindings) = decomposeHKApply(parent) (prefix, body, (name, tp.refinedInfo) :: argBindings) } else (tp, NoType, Nil) |