diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-10-24 13:14:27 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-10-24 13:14:27 +0200 |
| commit | 87a079d4ac59925a1da31071b35a5ef05764700e (patch) | |
| tree | e67a2a8905f907b6e1084c08d48da55f9c6353c3 /src/dotty/tools/dotc/printing/RefinedPrinter.scala | |
| parent | 935c90b1fbffb7c0b3e851a98f8b1ee441b7fb34 (diff) | |
| download | dotty-87a079d4ac59925a1da31071b35a5ef05764700e.tar.gz dotty-87a079d4ac59925a1da31071b35a5ef05764700e.tar.bz2 dotty-87a079d4ac59925a1da31071b35a5ef05764700e.zip | |
Printing trees now honors -Xprint-types option.
Diffstat (limited to 'src/dotty/tools/dotc/printing/RefinedPrinter.scala')
| -rw-r--r-- | src/dotty/tools/dotc/printing/RefinedPrinter.scala | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/src/dotty/tools/dotc/printing/RefinedPrinter.scala index 0fd9ea9ba..184a10300 100644 --- a/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -155,7 +155,7 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { import untpd._ - val txt: Text = tree match { + var txt: Text = tree match { case id: Trees.BackquotedIdent[_] => "`" ~ toText(id.name) ~ "`" case Ident(name) => @@ -364,6 +364,9 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { case _ => tree.fallbackToText(this) } + if (ctx.settings.printtypes.value && tree.hasType) + if (tree.isType) txt = toText(tree.typeOpt) + else if (!tree.isDef) txt = "<" ~ txt ~ ":" ~ toText(tree.typeOpt) ~ ">" tree match { case Block(_, _) | Template(_, _, _, _) => txt case _ => txt.close |