Move more logic from UserFacingPrinter to RefinedPrinter

Author: nicolasstucki

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

@@ -184,7 +184,7 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {
             case _ =>
           }
       case ExprType(result) =>
-        return "=> " ~ toText(result)
+        return (if (YprintRepl) ": " else "=> ") ~ toText(result)
       case ErasedValueType(tycon, underlying) =>
         return "ErasedValueType(" ~ toText(tycon) ~ ", " ~ toText(underlying) ~ ")"
       case tp: ClassInfo =>

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

@@ -12,8 +12,4 @@ class UserFacingPrinter(_ctx: Context) extends RefinedPrinter(_ctx) {
     if (sym.name.isReplAssignName) nameString(sym.name)
     else keyString(sym) ~~ nameString(sym.name.stripModuleClassSuffix)
 
-  override def toText(tp: Type): Text = tp match {
-    case ExprType(result) => ":" ~~ toText(result)
-    case tp => super.toText(tp)
-  }
 }

compiler/src/dotty/tools/dotc/util/DiffUtil.scala

@@ -111,8 +111,8 @@ object DiffUtil {
     }.mkString
   }
 
-  private def added(str: String): String = bgColored(str, Console.GREEN)
-  private def deleted(str: String) = bgColored(str, Console.RED)
+  private def added(str: String): String = bgColored(str, Console.GREEN_B)
+  private def deleted(str: String) = bgColored(str, Console.RED_B)
   private def bgColored(str: String, color: String): String = {
     if (str.isEmpty) ""
     else {