Define and override RefinedPrinter.typeApplyText

Author: nicolasstucki

compiler/src/dotty/tools/dotc/printing/DecompilerPrinter.scala

@@ -52,15 +52,9 @@ class DecompilerPrinter(_ctx: Context) extends RefinedPrinter(_ctx) {
     }
   }
 
-  override protected def toTextCore[T >: Untyped](tree: Tree[T]): Text = {
-    import untpd.{modsDeco => _, _}
-    tree match {
-      case TypeApply(fun, args) =>
-        if (tree.symbol eq defn.quoteMethod) "'"
-        else if (tree.symbol eq defn.typeQuoteMethod) "'[" ~ toTextGlobal(args, ", ") ~ "]"
-        else super.toTextCore(tree)
-      case _ =>
-        super.toTextCore(tree)
-    }
+  override protected def typeApplyText[T >: Untyped](tree: TypeApply[T]): Text = {
+    if (tree.symbol eq defn.quoteMethod) "'"
+    else if (tree.symbol eq defn.typeQuoteMethod) "'[" ~ toTextGlobal(tree.args, ", ") ~ "]"
+    else super.typeApplyText(tree)
   }
 }

compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala

@@ -229,6 +229,9 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {
   protected def blockText[T >: Untyped](trees: List[Tree[T]]): Text =
     ("{" ~ toText(trees, "\n") ~ "}").close
 
+  protected def typeApplyText[T >: Untyped](tree: TypeApply[T]): Text =
+    toTextLocal(tree.fun) ~ "[" ~ toTextGlobal(tree.args, ", ") ~ "]"
+
   protected def toTextCore[T >: Untyped](tree: Tree[T]): Text = {
     import untpd.{modsDeco => _, _}
 
@@ -308,8 +311,8 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {
           }
         else
           toTextLocal(fun) ~ "(" ~ toTextGlobal(args, ", ") ~ ")"
-      case TypeApply(fun, args) =>
-        toTextLocal(fun) ~ "[" ~ toTextGlobal(args, ", ") ~ "]"
+      case tree: TypeApply =>
+        typeApplyText(tree)
       case Literal(c) =>
         tree.typeOpt match {
           case ConstantType(tc) => withPos(toText(tc), tree.pos)