diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-11-16 12:20:26 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-12-14 14:30:10 +0100 |
| commit | a0b29722ff5c3f4d5a6c8e2f2868df755933d298 (patch) | |
| tree | 1eff829f823e135f0dede34a672406b6f0698827 /src/dotty/tools/dotc/printing/RefinedPrinter.scala | |
| parent | 44782f2e60a05b84676621f1399d59f657a636fd (diff) | |
| download | dotty-a0b29722ff5c3f4d5a6c8e2f2868df755933d298.tar.gz dotty-a0b29722ff5c3f4d5a6c8e2f2868df755933d298.tar.bz2 dotty-a0b29722ff5c3f4d5a6c8e2f2868df755933d298.zip | |
Improve printing of overloaded denotations
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 e015fd4cf..204fc95f0 100644 --- a/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -617,7 +617,7 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { } override def toText(denot: Denotation): Text = denot match { - case denot: MultiDenotation => denot.toString + case denot: MultiDenotation => Text(denot.alternatives.map(dclText), " <and> ") case NoDenotation => "NoDenotation" case _ => if (denot.symbol.exists) toText(denot.symbol) |