Add error reporter for inlined quotes

Author: nicolasstucki

compiler/src/dotty/tools/dotc/transform/ReifyQuotes.scala

@@ -336,7 +336,7 @@ class ReifyQuotes extends MacroTransformWithImplicits {
             }
 
             val tree1 =
-              if (level == 0) cpy.Inlined(tree)(call, stagedBindings, Splicer.splice(seq(splicedBindings, body)))
+              if (level == 0) cpy.Inlined(tree)(call, stagedBindings, Splicer.splice(seq(splicedBindings, body).withPos(tree.pos)))
               else seq(stagedBindings, cpy.Select(expansion)(cpy.Inlined(tree)(call, splicedBindings, body), name))
             val tree2 = transform(tree1)
 

compiler/src/dotty/tools/dotc/transform/Splicer.scala

@@ -5,6 +5,9 @@ import dotty.tools.dotc.ast.tpd
 import dotty.tools.dotc.core.Contexts._
 import dotty.tools.dotc.core.quoted._
 import dotty.tools.dotc.interpreter._
+import dotty.tools.dotc.core.Decorators._
+
+import java.lang.reflect.InvocationTargetException
 
 /** Utility class to splice quoted expressions */
 object Splicer {
@@ -22,7 +25,18 @@ object Splicer {
   /** Splice the Tree for a Quoted expression which is constructed via a reflective call to the given method */
   private def reflectiveSplice(tree: Tree)(implicit ctx: Context): Tree = {
     val interpreter = new Interpreter
-    interpreter.interpretTree[scala.quoted.Expr[_]](tree).map(PickledQuotes.quotedExprToTree).getOrElse(tree)
+    try {
+      interpreter.interpretTree[scala.quoted.Expr[_]](tree).map(PickledQuotes.quotedExprToTree).getOrElse(tree)
+    } catch {
+      case ex: InvocationTargetException => tryRecoverFromTargetException(tree, ex)
+    }
+  }
+
+  private def tryRecoverFromTargetException(tree: Tree, ex: InvocationTargetException)(implicit ctx: Context): Tree = ex.getCause match {
+    case ex: scala.quoted.InlineQuote.QuoteError =>
+      ctx.error(ex.getMessage, tree.pos)
+      EmptyTree
+    case _ => throw ex
   }
 
 }

library/src/scala/quoted/InlineQuote.scala

@@ -0,0 +1,8 @@
+package scala.quoted
+
+object InlineQuote {
+  /** Throwing this error in the implementation of an inline macro
+   *  will result in a compilation error with the given message.
+   */
+  class QuoteError(message: String) extends Throwable(message)
+}

tests/neg/quote-error/Macro_1.scala

@@ -0,0 +1,8 @@
+import quoted._
+
+object Macro_1 {
+  inline def foo(inline b: Boolean): Unit = ~fooImpl(b)
+  def fooImpl(b: Boolean): Expr[Unit] =
+    if (b) '(println("foo(true)"))
+    else throw new InlineQuote.QuoteError("foo cannot be called with false")
+}

tests/neg/quote-error/Test_2.scala

@@ -0,0 +1,6 @@
+import Macro_1._
+
+object Test_2 {
+  foo(true)
+  foo(false) // error: foo cannot be called with false
+}