Rename Expr.reduce to Expr.betaReduce

nicolasstucki · nicolasstucki · commit 19797491d13c · 2019-09-25T08:26:20.000+02:00
diff --git a/community-build/community-projects/xml-interpolator b/community-build/community-projects/xml-interpolator
@@ -1 +1 @@
-Subproject commit 0bc5a4fd140b2af1e6e412e7ef09ce0bcfb2596f
+Subproject commit 7b2f2192e5e520c0e5ce6396434bb3cd7e971d20
diff --git a/docs/docs/reference/metaprogramming/macros.md b/docs/docs/reference/metaprogramming/macros.md
@@ -135,20 +135,20 @@ expressiveness.
 
 ### From `Expr`s to Functions and Back
 
-The `Expr` companion object contains a `reduce` conversion that turns a tree
+The `Expr` companion object contains a `betaReduce` conversion that turns a tree
 describing a function into a function mapping trees to trees.
 ```scala
 object Expr {
   ...
-  def reduce[...](...)(...): ... =
+  def betaReduce[...](...)(...): ... = ...
 }
 ```
-The definition of `Expr.reduce(f)(x)` is assumed to be functionally the same as
+The definition of `Expr.betaReduce(f)(x)` is assumed to be functionally the same as
 `'{($f)($x)}`, however it should optimize this call by returning the
 result of beta-reducing `f(x)` if `f` is a known lambda expression.
-`Expr.reduce` distributes applications of `Expr` over function arrows:
+`Expr.betaReduce` distributes applications of `Expr` over function arrows:
 ```scala
-Expr.reduce(_): Expr[(T1, ..., Tn) => R] => ((Expr[T1], ..., Expr[Tn]) => Expr[R])
+Expr.betaReduce(_): Expr[(T1, ..., Tn) => R] => ((Expr[T1], ..., Expr[Tn]) => Expr[R])
 ```
 Its dual, let’s call it `reflect`, can be defined as follows:
 ```scala
diff --git a/library/src/scala/quoted/Expr.scala b/library/src/scala/quoted/Expr.scala
@@ -28,29 +28,29 @@ package quoted {
     /** Converts a tuple `(T1, ..., Tn)` to `(Expr[T1], ..., Expr[Tn])` */
     type TupleOfExpr[Tup <: Tuple] = Tuple.Map[Tup, [X] =>> (given QuoteContext) => Expr[X]]
 
-    /** `Expr.reduce(f)(x1, ..., xn)` is functionally the same as `'{($f)($x1, ..., $xn)}`, however it optimizes this call 
+    /** `Expr.betaReduce(f)(x1, ..., xn)` is functionally the same as `'{($f)($x1, ..., $xn)}`, however it optimizes this call
      *   by returning the result of beta-reducing `f(x1, ..., xn)` if `f` is a known lambda expression.
      *
-     *  `Expr.reduce` distributes applications of `Expr` over function arrows
+     *  `Expr.betaReduce` distributes applications of `Expr` over function arrows
      *   ```scala
-     *   Expr.reduce(_): Expr[(T1, ..., Tn) => R] => ((Expr[T1], ..., Expr[Tn]) => Expr[R])
+     *   Expr.betaReduce(_): Expr[(T1, ..., Tn) => R] => ((Expr[T1], ..., Expr[Tn]) => Expr[R])
      *   ```
      */
-    def reduce[F, Args <: Tuple, R, G](f: Expr[F])(given tf: TupledFunction[F, Args => R], tg: TupledFunction[G, TupleOfExpr[Args] => Expr[R]], qctx: QuoteContext): G = {
+    def betaReduce[F, Args <: Tuple, R, G](f: Expr[F])(given tf: TupledFunction[F, Args => R], tg: TupledFunction[G, TupleOfExpr[Args] => Expr[R]], qctx: QuoteContext): G = {
       import qctx.tasty._
       tg.untupled(args => qctx.tasty.internal.betaReduce(f.unseal, args.toArray.toList.map(_.asInstanceOf[QuoteContext => Expr[_]](qctx).unseal)).seal.asInstanceOf[Expr[R]])
     }
 
-    /** `Expr.reduceGiven(f)(x1, ..., xn)` is functionally the same as `'{($f)(given $x1, ..., $xn)}`, however it optimizes this call 
+    /** `Expr.betaReduceGiven(f)(x1, ..., xn)` is functionally the same as `'{($f)(given $x1, ..., $xn)}`, however it optimizes this call
      *   by returning the result of beta-reducing `f(given x1, ..., xn)` if `f` is a known lambda expression.
      *
-     *  `Expr.reduceGiven` distributes applications of `Expr` over function arrows
+     *  `Expr.betaReduceGiven` distributes applications of `Expr` over function arrows
      *   ```scala
-     *   Expr.reduceGiven(_): Expr[(given T1, ..., Tn) => R] => ((Expr[T1], ..., Expr[Tn]) => Expr[R])
+     *   Expr.betaReduceGiven(_): Expr[(given T1, ..., Tn) => R] => ((Expr[T1], ..., Expr[Tn]) => Expr[R])
      *   ```
-     *  Note: The 
+     *  Note: The
      */
-    def reduceGiven[F, Args <: Tuple, R, G](f: Expr[F])(given tf: TupledFunction[F, (given Args) => R], tg: TupledFunction[G, TupleOfExpr[Args] => Expr[R]], qctx: QuoteContext): G = {
+    def betaReduceGiven[F, Args <: Tuple, R, G](f: Expr[F])(given tf: TupledFunction[F, (given Args) => R], tg: TupledFunction[G, TupleOfExpr[Args] => Expr[R]], qctx: QuoteContext): G = {
       import qctx.tasty._
       tg.untupled(args => qctx.tasty.internal.betaReduce(f.unseal, args.toArray.toList.map(_.asInstanceOf[QuoteContext => Expr[_]](qctx).unseal)).seal.asInstanceOf[Expr[R]])
     }
diff --git a/tests/pos/i6783.scala b/tests/pos/i6783.scala
@@ -1,6 +1,6 @@
 import scala.quoted._
 
-def testImpl(f: Expr[(Int, Int) => Int])(given QuoteContext): Expr[Int] = Expr.reduce(f)('{1}, '{2})
+def testImpl(f: Expr[(Int, Int) => Int])(given QuoteContext): Expr[Int] = Expr.betaReduce(f)('{1}, '{2})
 
 inline def test(f: (Int, Int) => Int) = ${
   testImpl('f)
diff --git a/tests/run-macros/gestalt-optional-staging/Macro_1.scala b/tests/run-macros/gestalt-optional-staging/Macro_1.scala
@@ -24,7 +24,7 @@ object Optional {
   // FIXME fix issue #5097 and enable private
   /*private*/ def mapImpl[A >: Null : Type, B >: Null : Type](opt: Expr[Optional[A]], f: Expr[A => B])(given QuoteContext): Expr[Optional[B]] = '{
     if ($opt.isEmpty) new Optional(null)
-    else new Optional(${Expr.reduce(f)('{$opt.value})})
+    else new Optional(${Expr.betaReduce(f)('{$opt.value})})
   }
 
 }
diff --git a/tests/run-macros/i4734/Macro_1.scala b/tests/run-macros/i4734/Macro_1.scala
@@ -15,7 +15,7 @@ object Macros {
         for (j <- new UnrolledRange(0, unrollSize)) '{
           val index = i + $j
           val element = ($seq)(index)
-          ${ Expr.reduce(f)('element) } // or `($f)(element)` if `f` should not be inlined
+          ${ Expr.betaReduce(f)('element) } // or `($f)(element)` if `f` should not be inlined
         }
       }
       i += ${unrollSize}
diff --git a/tests/run-macros/i4735/Macro_1.scala b/tests/run-macros/i4735/Macro_1.scala
@@ -17,7 +17,7 @@ object Macro {
       ${
         for (j <- new UnrolledRange(0, unrollSize)) '{
           val element = ($seq)(i + ${j})
-          ${Expr.reduce(f)('element)} // or `($f)(element)` if `f` should not be inlined
+          ${Expr.betaReduce(f)('element)} // or `($f)(element)` if `f` should not be inlined
         }
       }
       i += ${unrollSize}
diff --git a/tests/run-macros/i7008/macro_1.scala b/tests/run-macros/i7008/macro_1.scala
@@ -15,5 +15,5 @@ def mcrProxy(expr: Expr[Boolean])(given QuoteContext): Expr[Unit] = {
 def mcrImpl[T](func: Expr[Seq[Box[T]] => Unit], expr: Expr[T])(given ctx: QuoteContext, tt: Type[T]): Expr[Unit] = {
   import ctx.tasty._
   val arg = Expr.ofSeq(Seq('{(Box($expr))}))
-  Expr.reduce(func)(arg)
+  Expr.betaReduce(func)(arg)
 }
diff --git a/tests/run-macros/quote-inline-function/quoted_1.scala b/tests/run-macros/quote-inline-function/quoted_1.scala
@@ -12,11 +12,11 @@ object Macros {
       var i = $start
       val j = $end
       while (i < j) {
-        ${Expr.reduce(f)('i)}
+        ${Expr.betaReduce(f)('i)}
         i += 1
       }
       while {
-        ${Expr.reduce(f)('i)}
+        ${Expr.betaReduce(f)('i)}
         i += 1
         i < j
       } do ()
diff --git a/tests/run-macros/quote-matcher-symantics-2/quoted_1.scala b/tests/run-macros/quote-matcher-symantics-2/quoted_1.scala
@@ -72,7 +72,7 @@ object StringNum extends Symantics[String] {
   def value(x: Int)(given QuoteContext): Expr[String] = Expr(x.toString)
   def plus(x: Expr[String], y: Expr[String])(given QuoteContext): Expr[String] = '{ s"${$x} + ${$y}" } // '{ x + " + " + y }
   def times(x: Expr[String], y: Expr[String])(given QuoteContext): Expr[String] = '{ s"${$x} * ${$y}" }
-  def app(f: Expr[String => String], x: Expr[String])(given QuoteContext): Expr[String] = Expr.reduce(f)(x)
+  def app(f: Expr[String => String], x: Expr[String])(given QuoteContext): Expr[String] = Expr.betaReduce(f)(x)
   def lam(body: Expr[String] => Expr[String])(given QuoteContext): Expr[String => String] = '{ (x: String) => ${body('x)} }
 }
 
diff --git a/tests/run-macros/quote-matching-optimize-1/Macro_1.scala b/tests/run-macros/quote-matching-optimize-1/Macro_1.scala
@@ -9,13 +9,13 @@ object Macro {
 
     def optimize(x: Expr[Any]): Expr[Any] = x match {
       case '{ type $t; ($ls: List[`$t`]).filter($f).filter($g) } =>
-        optimize('{ $ls.filter(x => ${Expr.reduce(f)('x)} && ${Expr.reduce(g)('x)}) })
+        optimize('{ $ls.filter(x => ${Expr.betaReduce(f)('x)} && ${Expr.betaReduce(g)('x)}) })
 
       case '{ type $t; type $u; type $v; ($ls: List[`$t`]).map[`$u`]($f).map[`$v`]($g) } =>
-        optimize('{ $ls.map(x => ${Expr.reduce(g)(Expr.reduce(f)('x))}) })
+        optimize('{ $ls.map(x => ${Expr.betaReduce(g)(Expr.betaReduce(f)('x))}) })
 
       case '{ type $t; ($ls: List[`$t`]).filter($f).foreach[Unit]($g) } =>
-        optimize('{ $ls.foreach(x => if (${Expr.reduce(f)('x)}) ${Expr.reduce(g)('x)} else ()) })
+        optimize('{ $ls.foreach(x => if (${Expr.betaReduce(f)('x)}) ${Expr.betaReduce(g)('x)} else ()) })
 
       case _ => x
     }
diff --git a/tests/run-macros/quote-matching-optimize-2/Macro_1.scala b/tests/run-macros/quote-matching-optimize-2/Macro_1.scala
@@ -11,13 +11,13 @@ object Macro {
 
     def optimize(x: Expr[Any]): Expr[Any] = x match {
       case '{ ($ls: List[$t]).filter($f).filter($g) } =>
-        optimize('{ $ls.filter(x => ${Expr.reduce(f)('x)} && ${Expr.reduce(g)('x)}) })
+        optimize('{ $ls.filter(x => ${Expr.betaReduce(f)('x)} && ${Expr.betaReduce(g)('x)}) })
 
       case '{ type $u; type $v; ($ls: List[$t]).map[`$u`]($f).map[`$v`]($g) } =>
-        optimize('{ $ls.map(x => ${Expr.reduce(g)(Expr.reduce(f)('x))}) })
+        optimize('{ $ls.map(x => ${Expr.betaReduce(g)(Expr.betaReduce(f)('x))}) })
 
       case '{ ($ls: List[$t]).filter($f).foreach[$u]($g) } =>
-        optimize('{ $ls.foreach[Any](x => if (${Expr.reduce(f)('x)}) ${Expr.reduce(g)('x)} else ()) })
+        optimize('{ $ls.foreach[Any](x => if (${Expr.betaReduce(f)('x)}) ${Expr.betaReduce(g)('x)} else ()) })
 
       case _ => x
     }
diff --git a/tests/run-macros/quote-unrolled-foreach/quoted_1.scala b/tests/run-macros/quote-unrolled-foreach/quoted_1.scala
@@ -15,7 +15,7 @@ object Macro {
       println("<log> start loop")
       ${
         @tailrec def loop(j: Int, acc: Expr[Unit]): Expr[Unit] =
-        if (j >= 0) loop(j - 1, '{ ${Expr.reduce(f)('{$seq(i + ${j})})}; $acc })
+        if (j >= 0) loop(j - 1, '{ ${Expr.betaReduce(f)('{$seq(i + ${j})})}; $acc })
         else acc
         loop(unrollSize - 1, '{})
       }
diff --git a/tests/run-macros/tasty-seal-method/quoted_1.scala b/tests/run-macros/tasty-seal-method/quoted_1.scala
@@ -14,10 +14,10 @@ object Asserts {
         fn.tpe.widen match {
           case Type.IsMethodType(_) =>
             args.size match {
-              case 0 => Expr.reduce(fn.seal.cast[() => Int])()
-              case 1 => Expr.reduce(fn.seal.cast[Int => Int])('{0})
-              case 2 => Expr.reduce(fn.seal.cast[(Int, Int) => Int])('{0}, '{0})
-              case 3 => Expr.reduce(fn.seal.cast[(Int, Int, Int) => Int])('{0}, '{0}, '{0})
+              case 0 => Expr.betaReduce(fn.seal.cast[() => Int])()
+              case 1 => Expr.betaReduce(fn.seal.cast[Int => Int])('{0})
+              case 2 => Expr.betaReduce(fn.seal.cast[(Int, Int) => Int])('{0}, '{0})
+              case 3 => Expr.betaReduce(fn.seal.cast[(Int, Int, Int) => Int])('{0}, '{0}, '{0})
             }
         }
       case _ => x
@@ -35,10 +35,10 @@ object Asserts {
       case Apply(fn, args) =>
         val pre = rec(fn)
         args.size match {
-          case 0 => Expr.reduce(pre.seal.cast[() => Any])().unseal
-          case 1 => Expr.reduce(pre.seal.cast[Int => Any])('{0}).unseal
-          case 2 => Expr.reduce(pre.seal.cast[(Int, Int) => Any])('{0}, '{0}).unseal
-          case 3 => Expr.reduce(pre.seal.cast[(Int, Int, Int) => Any])('{0}, '{0}, '{0}).unseal
+          case 0 => Expr.betaReduce(pre.seal.cast[() => Any])().unseal
+          case 1 => Expr.betaReduce(pre.seal.cast[Int => Any])('{0}).unseal
+          case 2 => Expr.betaReduce(pre.seal.cast[(Int, Int) => Any])('{0}, '{0}).unseal
+          case 3 => Expr.betaReduce(pre.seal.cast[(Int, Int, Int) => Any])('{0}, '{0}, '{0}).unseal
         }
       case _ => term
     }
diff --git a/tests/run-macros/tasty-unsafe-let/quoted_1.scala b/tests/run-macros/tasty-unsafe-let/quoted_1.scala
@@ -12,7 +12,7 @@ object Macros {
 
     import qctx.tasty.{let => letTerm}
     letTerm(rhsTerm) { rhsId =>
-      Expr.reduce(body)(rhsId.seal.asInstanceOf[Expr[T]]).unseal // Dangerous uncheked cast!
+      Expr.betaReduce(body)(rhsId.seal.asInstanceOf[Expr[T]]).unseal // Dangerous uncheked cast!
     }.seal.cast[Unit]
   }
 
diff --git a/tests/run-staging/i3876-b.scala b/tests/run-staging/i3876-b.scala
@@ -11,7 +11,7 @@ object Test {
       f
     }
 
-    println(run(Expr.reduce(f2)(x)))
-    println(withQuoteContext(Expr.reduce(f2)(x).show))
+    println(run(Expr.betaReduce(f2)(x)))
+    println(withQuoteContext(Expr.betaReduce(f2)(x).show))
   }
 }
diff --git a/tests/run-staging/i3876-c.scala b/tests/run-staging/i3876-c.scala
@@ -11,7 +11,7 @@ object Test {
       f
     }
 
-    println(run(Expr.reduce(f3)(x)))
-    println(withQuoteContext(Expr.reduce(f3)(x).show)) // TODO improve printer
+    println(run(Expr.betaReduce(f3)(x)))
+    println(withQuoteContext(Expr.betaReduce(f3)(x).show)) // TODO improve printer
   }
 }
diff --git a/tests/run-staging/i3876-d.scala b/tests/run-staging/i3876-d.scala
@@ -9,8 +9,8 @@ object Test {
     def f4(given QuoteContext): Expr[Int => Int] = '{
       inlineLambda
     }
-    println(run(Expr.reduce(f4)(x)))
-    println(withQuoteContext(Expr.reduce(f4)(x).show))
+    println(run(Expr.betaReduce(f4)(x)))
+    println(withQuoteContext(Expr.betaReduce(f4)(x).show))
   }
 
   inline def inlineLambda <: Int => Int = x => x + x
diff --git a/tests/run-staging/i3876-e.scala b/tests/run-staging/i3876-e.scala
@@ -9,8 +9,8 @@ object Test {
     def f4(given QuoteContext): Expr[Int => Int] = '{
       inlineLambda
     }
-    println(run(Expr.reduce(f4)(x)))
-    println(withQuoteContext(Expr.reduce(f4)(x).show))
+    println(run(Expr.betaReduce(f4)(x)))
+    println(withQuoteContext(Expr.betaReduce(f4)(x).show))
   }
 
   inline def inlineLambda <: Int => Int = x => x + x
diff --git a/tests/run-staging/i3876.scala b/tests/run-staging/i3876.scala
@@ -8,7 +8,7 @@ object Test {
 
     def f(given QuoteContext): Expr[Int => Int] = '{ (x: Int) => x + x }
 
-    println(run(Expr.reduce(f)(x)))
-    println(withQuoteContext(Expr.reduce(f)(x).show))
+    println(run(Expr.betaReduce(f)(x)))
+    println(withQuoteContext(Expr.betaReduce(f)(x).show))
   }
 }
diff --git a/tests/run-staging/i5144b.scala b/tests/run-staging/i5144b.scala
@@ -3,7 +3,7 @@ import scala.quoted.staging._
 
 object Test {
   given Toolbox = Toolbox.make(getClass.getClassLoader)
-  def eval1(ff: Expr[Int => Int])(given QuoteContext): Expr[Int] = Expr.reduce(ff)('{42})
+  def eval1(ff: Expr[Int => Int])(given QuoteContext): Expr[Int] = Expr.betaReduce(ff)('{42})
 
   def peval1()(given QuoteContext): Expr[Unit] = '{
     def f(x: Int): Int = ${eval1('f)}
diff --git a/tests/run-staging/i6281.scala b/tests/run-staging/i6281.scala
@@ -27,8 +27,8 @@ object Test extends App {
   }
   // for reify, we need type tags for E and also strangely for L.
   implicit def cons [E, L <: HList](given Effects[L])(given Type[E])(given Type[L])(given QuoteContext): Effects[E :: L] =  new Effects[E :: L] {
-    def reify[A](given Type[A])   = m => '{ k => ${ Effects[L].reify[E] {   m(   a =>    Effects[L].reflect[E](Expr.reduce('k)(a))) } }}
-    def reflect[A](given Type[A]) = m =>    k =>    Effects[L].reflect[E] { Expr.reduce(m)('{ a => ${ Effects[L].reify[E](   k('a)) } })}
+    def reify[A](given Type[A])   = m => '{ k => ${ Effects[L].reify[E] {   m(   a =>    Effects[L].reflect[E](Expr.betaReduce('k)(a))) } }}
+    def reflect[A](given Type[A]) = m =>    k =>    Effects[L].reflect[E] { Expr.betaReduce(m)('{ a => ${ Effects[L].reify[E](   k('a)) } })}
   }
   def Effects[L <: HList](given Effects[L]): Effects[L] = summon[Effects[L]]
 
@@ -45,7 +45,7 @@ object Test extends App {
      val effects = cons[Boolean, RS2](given cons[Int, String :: HNil](given cons[String, HNil](given empty)))
      println(effects.reify[Int] { m }.show)
 
-     val res : Expr[Stm[Int, RS]] = '{ k => ${ Effects[RS2].reify[Boolean] { m(a => Effects[RS2].reflect[Boolean](Expr.reduce('k)(a))) }}}
+     val res : Expr[Stm[Int, RS]] = '{ k => ${ Effects[RS2].reify[Boolean] { m(a => Effects[RS2].reflect[Boolean](Expr.betaReduce('k)(a))) }}}
      println(res.show)
   }
 
diff --git a/tests/run-staging/quote-ackermann-1.scala b/tests/run-staging/quote-ackermann-1.scala
@@ -15,7 +15,7 @@ object Test {
   def ackermann(m: Int)(given QuoteContext): Expr[Int => Int] = {
     if (m == 0) '{ n => n + 1 }
     else '{ n =>
-      def `ackermann(m-1)`(n: Int): Int = ${Expr.reduce(ackermann(m - 1))('n)} // Expr[Int => Int] applied to Expr[Int]
+      def `ackermann(m-1)`(n: Int): Int = ${Expr.betaReduce(ackermann(m - 1))('n)} // Expr[Int => Int] applied to Expr[Int]
       def `ackermann(m)`(n: Int): Int =
         if (n == 0) `ackermann(m-1)`(1) else `ackermann(m-1)`(`ackermann(m)`(n - 1))
       `ackermann(m)`(n)
diff --git a/tests/run-staging/quote-fun-app-1.scala b/tests/run-staging/quote-fun-app-1.scala
@@ -12,8 +12,8 @@ object Test {
     println(f(43))
   }
 
-  def f1(given QuoteContext): Expr[Int => Int] = '{ n => ${Expr.reduce(f2)('n)} }
-  def f2(given QuoteContext): Expr[Int => Int] = '{ n => ${Expr.reduce(f3)('n)} }
-  def f3(given QuoteContext): Expr[Int => Int] = '{ n => ${Expr.reduce(f4)('n)} }
+  def f1(given QuoteContext): Expr[Int => Int] = '{ n => ${Expr.betaReduce(f2)('n)} }
+  def f2(given QuoteContext): Expr[Int => Int] = '{ n => ${Expr.betaReduce(f3)('n)} }
+  def f3(given QuoteContext): Expr[Int => Int] = '{ n => ${Expr.betaReduce(f4)('n)} }
   def f4(given QuoteContext): Expr[Int => Int] = '{ n => n }
 }
diff --git a/tests/run-staging/quote-function-applied-to.scala b/tests/run-staging/quote-function-applied-to.scala
diff --git a/tests/run-staging/quote-unrolled-foreach.scala b/tests/run-staging/quote-unrolled-foreach.scala

Original file line number	Diff line number	Diff line change
`@@ -24,7 +24,7 @@ object Optional {`
`24`	`24`	`// FIXME fix issue #5097 and enable private`
`25`	`25`	`/private/ def mapImpl[A >: Null : Type, B >: Null : Type](opt: Expr[Optional[A]], f: Expr[A => B])(given QuoteContext): Expr[Optional[B]] = '{`
`26`	`26`	`if ($opt.isEmpty) new Optional(null)`
`27`		`- else new Optional(${Expr.reduce(f)('{$opt.value})})`
	`27`	`+ else new Optional(${Expr.betaReduce(f)('{$opt.value})})`
`28`	`28`	`}`
`29`	`29`
`30`	`30`	`}`
Original file line number	Diff line number	Diff line change
`@@ -15,7 +15,7 @@ object Macros {`
`15`	`15`	`for (j <- new UnrolledRange(0, unrollSize)) '{`
`16`	`16`	`val index = i + $j`
`17`	`17`	`val element = ($seq)(index)`
`18`		- ${ Expr.reduce(f)('element) } // or `($f)(element)` if `f` should not be inlined
	`18`	+ ${ Expr.betaReduce(f)('element) } // or `($f)(element)` if `f` should not be inlined
`19`	`19`	`}`
`20`	`20`	`}`
`21`	`21`	`i += ${unrollSize}`
Original file line number	Diff line number	Diff line change
`@@ -17,7 +17,7 @@ object Macro {`
`17`	`17`	`${`
`18`	`18`	`for (j <- new UnrolledRange(0, unrollSize)) '{`
`19`	`19`	`val element = ($seq)(i + ${j})`
`20`		- ${Expr.reduce(f)('element)} // or `($f)(element)` if `f` should not be inlined
	`20`	+ ${Expr.betaReduce(f)('element)} // or `($f)(element)` if `f` should not be inlined
`21`	`21`	`}`
`22`	`22`	`}`
`23`	`23`	`i += ${unrollSize}`
Original file line number	Diff line number	Diff line change
`@@ -15,5 +15,5 @@ def mcrProxy(expr: Expr[Boolean])(given QuoteContext): Expr[Unit] = {`
`15`	`15`	`def mcrImpl[T](func: Expr[Seq[Box[T]] => Unit], expr: Expr[T])(given ctx: QuoteContext, tt: Type[T]): Expr[Unit] = {`
`16`	`16`	`import ctx.tasty._`
`17`	`17`	`val arg = Expr.ofSeq(Seq('{(Box($expr))}))`
`18`		`- Expr.reduce(func)(arg)`
	`18`	`+ Expr.betaReduce(func)(arg)`
`19`	`19`	`}`
Original file line number	Diff line number	Diff line change
`@@ -72,7 +72,7 @@ object StringNum extends Symantics[String] {`
`72`	`72`	`def value(x: Int)(given QuoteContext): Expr[String] = Expr(x.toString)`
`73`	`73`	`def plus(x: Expr[String], y: Expr[String])(given QuoteContext): Expr[String] = '{ s"${$x} + ${$y}" } // '{ x + " + " + y }`
`74`	`74`	`def times(x: Expr[String], y: Expr[String])(given QuoteContext): Expr[String] = '{ s"${$x} * ${$y}" }`
`75`		`- def app(f: Expr[String => String], x: Expr[String])(given QuoteContext): Expr[String] = Expr.reduce(f)(x)`
	`75`	`+ def app(f: Expr[String => String], x: Expr[String])(given QuoteContext): Expr[String] = Expr.betaReduce(f)(x)`
`76`	`76`	`def lam(body: Expr[String] => Expr[String])(given QuoteContext): Expr[String => String] = '{ (x: String) => ${body('x)} }`
`77`	`77`	`}`
`78`	`78`