Improve error message

Author: odersky

compiler/src/dotty/tools/dotc/config/Config.scala

@@ -167,7 +167,7 @@ object Config {
   final val showCompletions = false
 
   /** If set, enables tracing */
-  final val tracingEnabled = false
+  final val tracingEnabled = true
 
   /** Initial capacity of uniques HashMap.
    *  Note: This MUST BE a power of two to work with util.HashSet

compiler/src/dotty/tools/dotc/config/Printers.scala

@@ -41,7 +41,7 @@ object Printers {
   val subtyping: Printer = noPrinter
   val tailrec: Printer = noPrinter
   val transforms: Printer = noPrinter
-  val typr: Printer = noPrinter
+  val typr: Printer = new Printer
   val unapp: Printer = noPrinter
   val variances: Printer = noPrinter
 }

compiler/src/dotty/tools/dotc/core/Flags.scala

@@ -134,7 +134,7 @@ object Flags {
       }
 
     /** The list of non-empty names of flags that are set in the given flag set */
-    def flagStrings(privateWithin: String): Seq[String] = {
+    def flagStrings(privateWithin: String = ""): Seq[String] = {
       var rawStrings = (2 to MaxFlag).flatMap(x.flagString(_)) // DOTTY problem: cannot drop with (_)
       if (!privateWithin.isEmpty && !x.is(Protected))
       	rawStrings = rawStrings :+ "private"

compiler/src/dotty/tools/dotc/parsing/Parsers.scala

@@ -3847,7 +3847,7 @@ object Parsers {
       def checkLegal(tree: Tree): List[Tree] =
         val problem = tree match
           case tree: MemberDef if !(tree.mods.flags & ModifierFlags).isEmpty =>
-            i"refinement cannot be ${(tree.mods.flags & ModifierFlags).flagsString}"
+            i"refinement cannot be ${(tree.mods.flags & ModifierFlags).flagStrings().mkString("`", "`, `", "`")}"
           case tree: ValOrDefDef =>
             if tree.rhs.isEmpty then ""
             else "refinement in cannot have a right-hand side"

tests/neg/i8150.scala

@@ -1,3 +1,3 @@
 trait A
 trait B
-type T = {given(given a: A) as B}
+type T = {given(given a: A) as B} // error: refinement cannot be `given`