diff options
| author | odersky <odersky@gmail.com> | 2017-04-11 09:29:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-11 09:29:25 +0200 |
| commit | 4ff656138a2e4e127b763adeee3f0f72d515f6b6 (patch) | |
| tree | cd65d0f412217ccf5fb9cb082514fb6a0444e94b /compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala | |
| parent | 0bd782195b7bcaa2d270b6306fd02c8a649822e9 (diff) | |
| parent | 0cf17c5f63b3ec37a05da920a81337067ac335db (diff) | |
| download | dotty-4ff656138a2e4e127b763adeee3f0f72d515f6b6.tar.gz dotty-4ff656138a2e4e127b763adeee3f0f72d515f6b6.tar.bz2 dotty-4ff656138a2e4e127b763adeee3f0f72d515f6b6.zip | |
Merge pull request #2215 from dotty-staging/#2142
Fix #2142: Skolemize arguments of dependent methods if necessary
Diffstat (limited to 'compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala')
| -rw-r--r-- | compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala index 76bce7920..0b683d90c 100644 --- a/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -604,7 +604,7 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { def optText[T >: Untyped](tree: List[Tree[T]])(encl: Text => Text): Text = if (tree.exists(!_.isEmpty)) encl(blockText(tree)) else "" - override protected def TypeParamRefNameString(name: TypeName): String = + override protected def ParamRefNameString(name: Name): String = name.unexpandedName.toString override protected def treatAsTypeParam(sym: Symbol): Boolean = sym is TypeParam |