goshacodes
commented
4 days ago @jchyb @Gedochao Hi, I've made a minimized example, it is not about Term.betaReduce, it is about using ?tupled? method arguments. Could you please help me with a workaround if possible?
inline def example: Int =
${ exampleMacro }
def exampleMacro(using quotes: Quotes): Expr[Int] =
import quotes.reflect.*
def tupled(args: List[Term]) =
args.foldRight[Term]('{ EmptyTuple }.asTerm) { (el, acc) =>
Select
.unique(acc, "*:")
.appliedToTypes(List(el.tpe, acc.tpe))
.appliedToArgs(List(el))
}
val sym = Symbol.newMethod(
parent = Symbol.spliceOwner,
name = "BANG",
tpe = MethodType(List("x", "y"))(_ => List(TypeRepr.of[Int], TypeRepr.of[Int]), _ => TypeRepr.of[Int]),
Flags.EmptyFlags,
Symbol.noSymbol
)
Block(
List(
DefDef(
sym,
params => Some(
'{
val tupledParams = ${tupled(params.flatten.collect { case t: Term => t }).asExprOf[(Int, Int)]}
1
}.asTerm
)
)
),
Apply(Ref(sym), List('{1}.asTerm, '{1}.asTerm))
).asExprOf[Int]
Gedochao
jchyb
Compiler version
3.5.1 3.5.0 3.4.2
Problem
Hi! I'm trying to use tupled method arguments in method body and this leads to compiler crash.
Minimized
Output (click arrow to expand)