diff options
author | odersky <odersky@gmail.com> | 2016-04-06 11:23:40 +0200 |
---|---|---|
committer | odersky <odersky@gmail.com> | 2016-04-06 11:23:40 +0200 |
commit | 474d99792fd330f59f7b75b45bee80f52ce65082 (patch) | |
tree | 325b3982993c9726e60f94d2b57d73e28c229ad4 /src/dotty/tools/dotc/printing/RefinedPrinter.scala | |
parent | 1a6eedd4fb714b3769bbb07eb8636995f961c4a6 (diff) | |
parent | f675ad9507089f8b912357fab86740653c1b8789 (diff) | |
download | dotty-474d99792fd330f59f7b75b45bee80f52ce65082.tar.gz dotty-474d99792fd330f59f7b75b45bee80f52ce65082.tar.bz2 dotty-474d99792fd330f59f7b75b45bee80f52ce65082.zip |
Merge pull request #1186 from dotty-staging/fix-#1185
Improvements to cyclic checking, avoidance, named parameters
Diffstat (limited to 'src/dotty/tools/dotc/printing/RefinedPrinter.scala')
-rw-r--r-- | src/dotty/tools/dotc/printing/RefinedPrinter.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/src/dotty/tools/dotc/printing/RefinedPrinter.scala index 55f0b244d..614a274b4 100644 --- a/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -345,7 +345,7 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { "new " ~ { tpt match { case tpt: Template => toTextTemplate(tpt, ofNew = true) - case _ => toTextLocal(tpt) + case _ => toTextLocal(tpt.typeOpt.underlyingClassRef(refinementOK = false)) } } case Pair(l, r) => |