Print info of SkolemTypes under -Xprint-types

odersky · odersky · commit 6e811b43d924 · 2019-02-22T14:36:47.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala b/compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala
@@ -290,7 +290,9 @@ class PlainPrinter(_ctx: Context) extends Printer {
         if (idx >= 0) selfRecName(idx + 1)
         else "{...}.this" // TODO move underlying type to an addendum, e.g. ... z3 ... where z3: ...
       case tp: SkolemType =>
-        if (homogenizedView) toText(tp.info) else toText(tp.repr)
+        if (homogenizedView) toText(tp.info)
+        else if (ctx.settings.XprintTypes.value) "<" ~ toText(tp.repr) ~ ":" ~ toText(tp.info) ~ ">"
+        else toText(tp.repr)
     }
   }
 

Original file line number	Diff line number	Diff line change
`@@ -290,7 +290,9 @@ class PlainPrinter(_ctx: Context) extends Printer {`
`290`	`290`	`if (idx >= 0) selfRecName(idx + 1)`
`291`	`291`	`else "{...}.this" // TODO move underlying type to an addendum, e.g. ... z3 ... where z3: ...`
`292`	`292`	`case tp: SkolemType =>`
`293`		`- if (homogenizedView) toText(tp.info) else toText(tp.repr)`
	`293`	`+ if (homogenizedView) toText(tp.info)`
	`294`	`+ else if (ctx.settings.XprintTypes.value) "<" ~ toText(tp.repr) ~ ":" ~ toText(tp.info) ~ ">"`
	`295`	`+ else toText(tp.repr)`
`294`	`296`	`}`
`295`	`297`	`}`
`296`	`298`