Print full constant type in repl

Author: nicolasstucki

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

@@ -23,7 +23,6 @@ class UserFacingPrinter(_ctx: Context) extends RefinedPrinter(_ctx) {
 
   override def toText(tp: Type): Text = tp match {
     case ExprType(result) => ":" ~~ toText(result)
-    case tp: ConstantType => toText(tp.value)
     case tp => super.toText(tp)
   }
 }

compiler/test-resources/repl/defs

@@ -7,6 +7,6 @@ def baz(): Int
 scala> def qux(): Int = 2
 def qux(): Int
 scala> def id(x: 4): 4 = x
-def id(x: 4): 4
+def id(x: Int(4)): Int(4)
 scala> id(4)
 val res0: Int = 4

compiler/test-resources/type-printer/defs

@@ -7,4 +7,4 @@ def baz[A](a: A): A
 scala> def qux[A](a: A): a.type = a
 def qux[A](a: A): a.type
 scala> def singleton: 1 = 1
-def singleton: 1
+def singleton: Int(1)