Avoid printing expanded names

odersky · odersky · commit 974f70670f19 · 2014-08-11T12:08:04.000+02:00
If a TypeRef with an expanded name is an alias type, print the alias instead.
diff --git a/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/src/dotty/tools/dotc/printing/RefinedPrinter.scala
@@ -109,7 +109,7 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {
           return (toTextLocal(tycon) ~ "[" ~ Text(args map argText, ", ") ~ "]").close
         }
       case tp: TypeRef =>
-        if ((tp.symbol is TypeParam | TypeArgument) && !ctx.phase.erasedTypes && !tp.symbol.isCompleting) {
+        if ((tp.symbol is TypeParam | TypeArgument | ExpandedName) && !ctx.phase.erasedTypes && !tp.symbol.isCompleting) {
           tp.info match {
             case TypeAlias(hi) => return toText(hi)
             case _ => if (tp.prefix.isInstanceOf[ThisType]) return nameString(tp.symbol)

Original file line number	Diff line number	Diff line change
`@@ -109,7 +109,7 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {`
`109`	`109`	`return (toTextLocal(tycon) ~ "[" ~ Text(args map argText, ", ") ~ "]").close`
`110`	`110`	`}`
`111`	`111`	`case tp: TypeRef =>`
`112`		`- if ((tp.symbol is TypeParam \| TypeArgument) && !ctx.phase.erasedTypes && !tp.symbol.isCompleting) {`
	`112`	`+ if ((tp.symbol is TypeParam \| TypeArgument \| ExpandedName) && !ctx.phase.erasedTypes && !tp.symbol.isCompleting) {`
`113`	`113`	`tp.info match {`
`114`	`114`	`case TypeAlias(hi) => return toText(hi)`
`115`	`115`	`case _ => if (tp.prefix.isInstanceOf[ThisType]) return nameString(tp.symbol)`