Improve printing of overloaded denotations

odersky · odersky · commit 37848e9eadd9 · 2015-12-11T09:18:22.000+01:00
diff --git 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)

Original file line number	Diff line number	Diff line change
`@@ -617,7 +617,7 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {`
`617`	`617`	`}`
`618`	`618`
`619`	`619`	`override def toText(denot: Denotation): Text = denot match {`
`620`		`- case denot: MultiDenotation => denot.toString`
	`620`	`+ case denot: MultiDenotation => Text(denot.alternatives.map(dclText), " <and> ")`
`621`	`621`	`case NoDenotation => "NoDenotation"`
`622`	`622`	`case _ =>`
`623`	`623`	`if (denot.symbol.exists) toText(denot.symbol)`