wip

Author: nicolasstucki

compiler/src/dotty/tools/dotc/interpreter/Interpreter.scala

@@ -57,6 +57,25 @@ class Interpreter(implicit ctx: Context) {
     }
   }
 
+  def interpretCallToSymbol[T](sym: Symbol)(implicit pos: Position): T = {
+    val clazz = loadClass(sym.owner.companionModule.fullName)
+    val paramClasses = paramsSig(sym)
+    val interpretedArgs = paramClasses.map(_ => 1.asInstanceOf[Object])
+    println("----------------")
+    println(clazz)
+    println(paramClasses)
+    println(interpretedArgs)
+    println()
+    println(sym.name)
+    println()
+    println()
+    println()
+
+    val method =
+    clazz.getMethod(sym.name.toString, paramClasses: _*)
+    stopIfRuntimeException(method.invoke(null, interpretedArgs: _*)).asInstanceOf[T]
+  }
+
   /** Returns the interpreted result of interpreting the code represented by the tree.
    *  Returns the result of the interpreted tree.
    *

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

@@ -24,6 +24,7 @@ import typer.Implicits.SearchFailureType
 import scala.collection.mutable
 import dotty.tools.dotc.core.StdNames._
 import dotty.tools.dotc.core.quoted._
+import dotty.tools.dotc.interpreter.Interpreter
 
 
 /** Translates quoted terms and types to `unpickle` method calls.
@@ -515,13 +516,35 @@ class ReifyQuotes extends MacroTransformWithImplicits with InfoTransformer {
 
             val tree1 =
               if (level == 0) {
+                def getArgs(tree: Tree, acc: List[Tree]): List[Tree] = tree match {
+                  case Apply(fun, args) => getArgs(fun, args ::: acc)
+                  case TypeApply(fun, args) => getArgs(fun, acc)
+                  case _ => acc
+                }
+                val args = getArgs(call, Nil)
                 println("========================")
                 println(tree.show)
                 println()
                 println(call.show)
                 println(call)
                 println()
+                println(call.symbol)
+                println(args)
                 println()
+                val lambda = (new Interpreter).interpretCallToSymbol(call.symbol)(tree.pos).asInstanceOf[Seq[Any] => Object]
+                val args1 = args.map {
+                  case Literal(Constant(v)) => v
+                  case arg => new scala.quoted.Exprs.TreeExpr(tree)
+                }
+                println()
+                println("~~~~~~~~~~~~~~~~~~~")
+                println(call.symbol.info)
+                println(call.symbol.info.show)
+                println()
+                println()
+                println(args1)
+                println()
+                println(lambda(args1))
                 println()
                 println()
                 println()

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

@@ -21,13 +21,7 @@ object Splicer {
    */
   def splice(tree: Tree)(implicit ctx: Context): Tree = tree match {
     case Quoted(quotedTree) => quotedTree
-    case _ =>
-      println()
-      println(tree.show)
-      println()
-      println()
-      println()
-      reflectiveSplice(tree)
+    case _ => reflectiveSplice(tree)
   }
 
   /** Splice the Tree for a Quoted expression which is constructed via a reflective call to the given method */

compiler/src/dotty/tools/dotc/typer/RefChecks.scala

@@ -947,6 +947,8 @@ class RefChecks extends MiniPhase { thisPhase =>
 
   override def transformDefDef(tree: DefDef)(implicit ctx: Context) = {
     checkDeprecatedOvers(tree)
+    if (tree.symbol.is(Macro))
+      tree.symbol.resetFlag(Macro)
     tree
   }