luke
/
sbt
mirror of https://github.com/sbt/sbt.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #8116 from xuwei-k/ContTestMacro

This commit is contained in:
eugene yokota 2025-05-09 21:27:09 -07:00 committed by GitHub
parent 01df2e0c0f 031e806a24
commit e9b888513c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
core-macros/src/test/scala/sbt/internal/ContTestMacro.scala
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