Fix bug in interpreter and add test cases

Author: nicolasstucki

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

@@ -111,7 +111,8 @@ class Interpreter(implicit ctx: Context) {
   private def paramsSig(sym: Symbol): List[Class[_]] = {
     sym.signature.paramsSig.map { param =>
       val paramString = param.toString
-      if (paramString == defn.ByteClass.showFullName) classOf[Byte]
+      if (paramString == defn.BooleanClass.showFullName) classOf[Boolean]
+      else if (paramString == defn.ByteClass.showFullName) classOf[Byte]
       else if (paramString == defn.CharClass.showFullName) classOf[Char]
       else if (paramString == defn.ShortClass.showFullName) classOf[Short]
       else if (paramString == defn.IntClass.showFullName) classOf[Int]

tests/run/quote-and-splice.check

@@ -1 +1,3 @@
 3
+3
+4

tests/run/quote-and-splice/Macros_1.scala

@@ -1,6 +1,21 @@
+import scala.quoted._
+
 object Macros {
 
   inline def macro1 = ~ macro1Impl
   def macro1Impl = '(3)
 
+  inline def macro2(inline p: Boolean) = ~ macro2Impl(p)
+  def macro2Impl(p: Boolean) = if (p) '(3) else '(4)
+
+  inline def macro3(n: Int) = ~ macro3Impl('(n))
+  def macro3Impl(p: Expr[Int]) = '{ 2 + ~p }
+
+  inline def power(inline n: Int, x: Double) = ~powerCode(n, '(x))
+
+  def powerCode(n: Int, x: Expr[Double]): Expr[Double] =
+    if (n == 0) '(1.0)
+  else if (n == 1) x
+  else if (n % 2 == 0) '{ { val y = ~x * ~x; ~powerCode(n / 2, '(y)) } }
+  else '{ ~x * ~powerCode(n - 1, x) }
 }

tests/run/quote-and-splice/Test_2.scala

@@ -3,6 +3,13 @@ object Test {
 
   def main(args: Array[String]): Unit = {
     println(macro1)
+    println(macro2(true))
+    println(macro2(false))
+    // FIXME value of type scala.quoted.Type[Int] does not take parameters
+//    println(macro3(1))
+//    println(power(1, 1))
+//    println(power(2, 2))
+//    println(power(3, 3))
   }
 
 }