fix ContTestMacro

This commit is contained in:
xuwei-k 2025-05-10 07:43:58 +09:00
parent 01df2e0c0f
commit 031e806a24
1 changed files with 6 additions and 6 deletions

View File

@ -7,18 +7,18 @@ import scala.quoted.*
import ConvertTestMacro.InputInitConvert
object ContTestMacro:
inline def uncachedContMapNMacro[F[_]: Applicative, A](inline expr: A): List[A] =
${ uncachedContMapNMacroImpl[F, A]('expr) }
inline def uncachedContMapNMacro[F[_]: Applicative, A](inline expr: A): F[A] =
${ uncachedContMapNMacroImpl[F, A]('expr, '{ summon[Applicative[F]] }) }
def uncachedContMapNMacroImpl[F[_]: Type, A: Type](expr: Expr[A])(using
def uncachedContMapNMacroImpl[F[_]: Type, A: Type](expr: Expr[A], ev: Expr[Applicative[F]])(using
qctx: Quotes
): Expr[List[A]] =
): Expr[F[A]] =
object ContSyntax extends Cont
import ContSyntax.*
val convert1: Convert[qctx.type] = new InputInitConvert(qctx)
convert1.contMapN[A, List, Id](
convert1.contMapN[A, F, Id](
tree = expr,
applicativeExpr = convert1.summonAppExpr[List],
applicativeExpr = ev,
cacheConfigExpr = None,
)
end ContTestMacro