diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-07-03 18:15:41 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-07-11 13:35:07 +0200 |
| commit | eebb4b07bf3011de56f297e7d5357cbc1ee7d623 (patch) | |
| tree | ad1e427a84cde3ff08fe1b03f98628ecc33829d8 /src/dotty | |
| parent | beff8f857b53096326f62b615250e39386c579c6 (diff) | |
| download | dotty-eebb4b07bf3011de56f297e7d5357cbc1ee7d623.tar.gz dotty-eebb4b07bf3011de56f297e7d5357cbc1ee7d623.tar.bz2 dotty-eebb4b07bf3011de56f297e7d5357cbc1ee7d623.zip | |
Fix bug in printing untyped New nodes.
Printed as <notype> before.
Diffstat (limited to 'src/dotty')
| -rw-r--r-- | src/dotty/tools/dotc/printing/RefinedPrinter.scala | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/src/dotty/tools/dotc/printing/RefinedPrinter.scala index 34456d0b9..ca62827af 100644 --- a/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -299,7 +299,11 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { "new " ~ { tpt match { case tpt: Template => toTextTemplate(tpt, ofNew = true) - case _ => toTextLocal(tpt.typeOpt.underlyingClassRef(refinementOK = false)) + case _ => + if (tpt.hasType) + toTextLocal(tpt.typeOpt.underlyingClassRef(refinementOK = false)) + else + toTextLocal(tpt) } } case Pair(l, r) => |