diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-10-24 00:04:15 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-10-24 00:04:15 +0200 |
| commit | 6f4f941d09d11e9e44e1b46e1ec84da40eb399b6 (patch) | |
| tree | defc428e64f347f8298ddcd8eb9dabf2107bc97b /src/dotty/tools/dotc/printing | |
| parent | 8a41f33a44693fa777a59fcb8b06c1fb8414fdf5 (diff) | |
| download | dotty-6f4f941d09d11e9e44e1b46e1ec84da40eb399b6.tar.gz dotty-6f4f941d09d11e9e44e1b46e1ec84da40eb399b6.tar.bz2 dotty-6f4f941d09d11e9e44e1b46e1ec84da40eb399b6.zip | |
More informative printing of typed identifiers.
Diffstat (limited to 'src/dotty/tools/dotc/printing')
| -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 93e77ac2f..0fd9ea9ba 100644 --- a/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -159,7 +159,10 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { case id: Trees.BackquotedIdent[_] => "`" ~ toText(id.name) ~ "`" case Ident(name) => - toText(name) + tree.typeOpt match { + case tp: NamedType => toTextPrefix(tp.prefix) ~ selectionString(tp) + case _ => toText(name) + } case Select(qual, name) => toTextLocal(qual) ~ ("." ~ toText(name) provided name != nme.CONSTRUCTOR) case This(name) => |