add d string interpolator (marks nonsensical error messages)

1 files changed, 28 insertions, 0 deletions

diff --git a/src/dotty/tools/dotc/typer/ErrorReporting.scala b/src/dotty/tools/dotc/typer/ErrorReporting.scala
index 5e7faab22..3ff1d7a7e 100644
--- a/src/dotty/tools/dotc/typer/ErrorReporting.scala
+++ b/src/dotty/tools/dotc/typer/ErrorReporting.scala
@@ -105,4 +105,32 @@ object ErrorReporting {
 
   def err(implicit ctx: Context): Errors = new Errors
 
+  /** The d string interpolator works like the i string interpolator, but marks nonsensical errors
+   *  using `<nonsensical>...</nonsensical>` tags.
+   *  Note: Instead of these tags, it would be nicer to return a data structure containing the message string
+   *  and a boolean indicating whether the message is sensical, but then we cannot use string operations
+   *  like concatenation, stripMargin etc on the values returned by d"...", and in the current error
+   *  message composition methods, this is crucial.
+   */
+  implicit class DiagnosticString(val sc: StringContext) extends AnyVal {
+    import DiagnosticString._
+    def d(args: Any*)(implicit ctx: Context): String = {
+      def isSensical(arg: Any): Boolean = arg match {
+        case tpe: Type if tpe.isErroneous => false
+        case NoType => false
+        case sym: Symbol if sym.isCompleted =>
+          sym.info != ErrorType && sym.info != TypeAlias(ErrorType) && sym.info != NoType
+        case _ => true
+      }
+
+      val s = new InfoString(sc).i(args)
+      if (args.forall(isSensical(_))) s else nonSensicalStartTag + s + nonSensicalEndTag
+    }
+  }
+
+  object DiagnosticString {
+    final val nonSensicalStartTag = "<nonsensical>"
+    final val nonSensicalEndTag = "</nonsensical>"
+  }
+
 }
\ No newline at end of file