[WIP] Make refined type printing more source compatible

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

@@ -106,7 +106,24 @@ class PlainPrinter(_ctx: Context) extends Printer {
 
   /** String representation of a refinement */
   protected def toTextRefinement(rt: RefinedType): Closed =
-    (refinementNameString(rt) ~ toTextRHS(rt.refinedInfo)).close
+    println("++++++++++++++++++++++")
+    println(rt.parent.typeSymbol)
+    println(rt.refinedName)
+    println(rt.refinedInfo)
+    println("TYPE SYMBOL: " + rt.refinedInfo.typeSymbol)
+    println("isVar: " + rt.refinedInfo.typeSymbol.is(Mutable))
+    println("toSimpleName" + rt.refinedName.toSimpleName.toString)
+    println(rt.refinedName.toTermName)
+    println(rt.refinedName.toTypeName)
+    println(rt.parent)
+    println("++++++++++++++++++++++")
+    val keyword = rt.refinedInfo match {
+      case _ :TypeRef => "val "
+      case _: ExprType | _ : MethodType => "def "
+      case _: TypeBounds => "type "
+      case _ => ""
+    }
+    (keyword ~ refinementNameString(rt) ~  toTextRHS(rt.refinedInfo)).close
 
   protected def argText(arg: Type): Text = homogenizeArg(arg) match {
     case arg: TypeBounds => "?" ~ toText(arg)

compiler/test-resources/type-printer/source-compatible

@@ -0,0 +1,4 @@
+scala> class Bag extends reflect.Selectable
+// defined class Bag
+scala> val m = new Bag { val f = 23; def g = 47; def h(i: Int): Int = i; var i = 101; type N = Int }
+val m: Bag{val f: Int; def g: Int; def h(i: Int): Int; def i: Int; def i_=(x$1: Int): Unit; type N = Int} = anon$1@403364e9

compiler/test/dotty/tools/repl/ScriptedTests.scala

@@ -10,7 +10,7 @@ class ScriptedTests extends ReplTest {
 
   @Test def replTests = scripts("/repl").foreach(testFile)
 
-  @Test def typePrinterTests = scripts("/type-printer").foreach(testFile)
+  @Test def typePrinterTests = scripts("/type-printer").filter(f => f.getName == "source-compatible").foreach(testFile)
 }
 
 object ScriptedTests {