Fix printing of match type cases defining type variables

odersky · odersky · commit d77f3eacd4ba · 2021-04-11T21:31:10.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala b/compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala
@@ -178,6 +178,7 @@ class PlainPrinter(_ctx: Context) extends Printer {
       case MatchType(bound, scrutinee, cases) =>
         changePrec(GlobalPrec) {
           def caseText(tp: Type): Text = tp match {
+            case tp: HKTypeLambda => caseText(tp.resultType)
             case defn.MatchCase(pat, body) => "case " ~ toText(pat) ~ " => " ~ toText(body)
             case _ => "case " ~ toText(tp)
           }

Original file line number	Diff line number	Diff line change
`@@ -178,6 +178,7 @@ class PlainPrinter(_ctx: Context) extends Printer {`
`178`	`178`	`case MatchType(bound, scrutinee, cases) =>`
`179`	`179`	`changePrec(GlobalPrec) {`
`180`	`180`	`def caseText(tp: Type): Text = tp match {`
	`181`	`+ case tp: HKTypeLambda => caseText(tp.resultType)`
`181`	`182`	`case defn.MatchCase(pat, body) => "case " ~ toText(pat) ~ " => " ~ toText(body)`
`182`	`183`	`case _ => "case " ~ toText(tp)`
`183`	`184`	`}`