Add pretty-printer for PolyProto

smarter · smarter · commit 3be4e8126da4 · 2018-04-17T15:47:41.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala
@@ -218,6 +218,8 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {
         return "FunProto(" ~ argsText ~ "):" ~ toText(resultType)
       case tp: IgnoredProto =>
         return "?"
+      case tp @ PolyProto(targs, resType) =>
+        return "PolyProto(" ~ toTextGlobal(targs, ", ") ~ "): " ~ toText(resType)
       case _ =>
     }
     super.toText(tp)

Original file line number	Diff line number	Diff line change
`@@ -218,6 +218,8 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {`
`218`	`218`	`return "FunProto(" ~ argsText ~ "):" ~ toText(resultType)`
`219`	`219`	`case tp: IgnoredProto =>`
`220`	`220`	`return "?"`
	`221`	`+ case tp @ PolyProto(targs, resType) =>`
	`222`	`+ return "PolyProto(" ~ toTextGlobal(targs, ", ") ~ "): " ~ toText(resType)`
`221`	`223`	`case _ =>`
`222`	`224`	`}`
`223`	`225`	`super.toText(tp)`