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

udpate settingAppend1Impl. use `ev` param

This commit is contained in:
xuwei-k 2025-05-10 07:28:38 +09:00
parent 01df2e0c0f
commit 4916f9b186
2 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
main-settings/src/main/scala/sbt/Structure.scala
View File

@ -87,7 +87,7 @@ sealed abstract class SettingKey[A1]
${ TaskMacro.settingAssignMacroImpl('this, 'v) }
final inline def +=[A2](inline v: A2)(using inline ev: Append.Value[A1, A2]): Setting[A1] =
${ TaskMacro.settingAppend1Impl[A1, A2]('this, 'v) }
${ TaskMacro.settingAppend1Impl[A1, A2]('this, 'v, 'ev) }
final inline def append1[A2](v: Initialize[A2])(using
a: Append.Value[A1, A2]

18
main-settings/src/main/scala/sbt/std/TaskMacro.scala
View File

@ -142,7 +142,11 @@ object TaskMacro:
}
/** Implementation of += macro for settings. */
def settingAppend1Impl[A1: Type, A2: Type](rec: Expr[SettingKey[A1]], v: Expr[A2])(using
def settingAppend1Impl[A1: Type, A2: Type](
rec: Expr[SettingKey[A1]],
v: Expr[A2],
ev: Expr[Append.Value[A1, A2]]
)(using
qctx: Quotes,
): Expr[Setting[A1]] =
import qctx.reflect.*
@ -158,14 +162,10 @@ object TaskMacro:
case _ =>
report.errorAndAbort(s"Append.Value[${Type.show[A1]}, ${Type.show[Task[a]]}] missing")
case _ =>
Expr.summon[Append.Value[A1, A2]] match
case Some(ev) =>
val init = SettingMacro.settingMacroImpl[A2](v)
'{
$rec.append1[A2]($init)(using $ev)
}
case _ =>
report.errorAndAbort(s"Append.Value[${Type.show[A1]}, ${Type.show[A2]}] missing")
val init = SettingMacro.settingMacroImpl[A2](v)
'{
$rec.append1[A2]($init)(using $ev)
}
/*
private def transformMacroImpl[A](using qctx: Quotes)(init: Expr[A])(