Add type class power macro regression test

Author: nicolasstucki

tests/pos-macros/power-macro-2/Macro_1.scala

@@ -0,0 +1,22 @@
+
+import scala.quoted.*
+
+import math.Numeric.Implicits.infixNumericOps
+
+inline def power[Num](x: Num, inline n: Int)(using num: Numeric[Num]) = ${powerCode('x, 'n)(using 'num)}
+
+private def powerCode[Num: Type](x: Expr[Num], n: Expr[Int])(using Expr[Numeric[Num]])(using Quotes): Expr[Num] =
+  powerCode(x, n.valueOrAbort)
+
+private def powerCode[Num: Type](x: Expr[Num], n: Int)(using num: Expr[Numeric[Num]])(using Quotes): Expr[Num] =
+  if (n == 0) '{ $num.one }
+  else if (n % 2 == 0) '{
+    given Numeric[Num] = $num
+    val y = $x * $x
+    ${ powerCode('y, n / 2) }
+  }
+  else '{
+    given Numeric[Num] = $num
+    $x * ${powerCode(x, n - 1)}
+  }
+

tests/pos-macros/power-macro-2/Test_2.scala

@@ -0,0 +1,2 @@
+def test(x: Int) = power(x, 5)
+def test(x: Double) = power(x, 5)

tests/pos-macros/power-macro-3/Macro_1.scala

@@ -0,0 +1,25 @@
+
+import scala.quoted.*
+
+import math.Numeric.Implicits.infixNumericOps
+
+inline def power[Num](x: Num, inline n: Int)(using num: Numeric[Num]) = ${powerCode('x, 'n)(using 'num)}
+
+private def powerCode[Num: Type](x: Expr[Num], n: Expr[Int])(using Expr[Numeric[Num]])(using Quotes): Expr[Num] =
+  powerCode(x, n.valueOrAbort)
+
+private def powerCode[Num: Type](x: Expr[Num], n: Int)(using num: Expr[Numeric[Num]])(using Quotes): Expr[Num] =
+  if (n == 0) '{ $num.one }
+  else if (n % 2 == 0) '{
+    withGiven($num) {
+      val y = $x * $x
+      ${ powerCode('y, n / 2) }
+    }
+  }
+  else '{
+    withGiven($num) {
+      $x * ${powerCode(x, n - 1)}
+    }
+  }
+
+inline def withGiven[U, T](inline x: T)(inline body: T ?=> U): U = body(using x)

tests/pos-macros/power-macro-3/Test_2.scala

@@ -0,0 +1,2 @@
+def test(x: Int) = power(x, 5)
+def test(x: Double) = power(x, 5)