Add append method to Message

odersky · Blaisorblade · commit 7d3927bebe49 · 2018-05-07T18:32:05.000+02:00
Not needed here, but I missed the functionality elsewhere.
diff --git a/compiler/src/dotty/tools/dotc/reporting/diagnostic/Message.scala b/compiler/src/dotty/tools/dotc/reporting/diagnostic/Message.scala
@@ -65,6 +65,12 @@ abstract class Message(val errorId: ErrorMessageID) { self =>
     val kind        = self.kind
     val explanation = self.explanation
   }
+
+  def append(suffix: => String): Message = new Message(errorId) {
+    val msg         = self.msg ++ suffix
+    val kind        = self.kind
+    val explanation = self.explanation
+  }
 }
 
 /** An extended message keeps the contained message from being evaluated, while

Original file line number	Diff line number	Diff line change
`@@ -65,6 +65,12 @@ abstract class Message(val errorId: ErrorMessageID) { self =>`
`65`	`65`	`val kind = self.kind`
`66`	`66`	`val explanation = self.explanation`
`67`	`67`	`}`
	`68`	`+`
	`69`	`+ def append(suffix: => String): Message = new Message(errorId) {`
	`70`	`+ val msg = self.msg ++ suffix`
	`71`	`+ val kind = self.kind`
	`72`	`+ val explanation = self.explanation`
	`73`	`+ }`
`68`	`74`	`}`
`69`	`75`
`70`	`76`	`/** An extended message keeps the contained message from being evaluated, while`