Logs - lowmelvin/hammer-scala - Community Build Dashboard

1##################################

2Clonning https://github.com/lowmelvin/hammer-scala.git into /build/repo using revision v0.2.0

3##################################

4Note: switching to 'd458136848386c460259465df77424352be093cb'.

5

6You are in 'detached HEAD' state. You can look around, make experimental

7changes and commit them, and you can discard any commits you make in this

8state without impacting any branches by switching back to a branch.

9

10If you want to create a new branch to retain commits you create, you may

11do so (now or later) by using -c with the switch command. Example:

12

13 git switch -c <new-branch-name>

14

15Or undo this operation with:

16

17 git switch -

18

19Turn off this advice by setting config variable advice.detachedHead to false

20

21Using target Scala version for migration: 3.7.4-RC2

22Migrating project for -source:3.7 using Scala 3.7.4-RC2

23----

24Preparing build for 3.7.4-RC2

25Would try to apply common scalacOption (best-effort, sbt/mill only):

26Append: -rewrite,REQUIRE:-source:3.7-migration

27Remove: -indent,-no-indent,-new-syntax,,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e

28----

29Starting build for 3.7.4-RC2

30Execute tests: false

31sbt project found:

32Sbt version 1.9.3 is not supported, minimal supported version is 1.11.5

33Enforcing usage of sbt in version 1.11.5

34No prepare script found for project lowmelvin/hammer-scala

35/opencb/project-builder/sbt/prepare-project.sh: line 107: /root/.ssh/config: No such file or directory

36##################################

37Scala version: 3.7.4-RC2

38Targets: com.melvinlow%hammer

39Project projectConfig: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"compile-only","migrationVersions":["3.7"],"sourcePatches":[]}

40##################################

41Using extra scalacOptions: -rewrite,REQUIRE:-source:3.7-migration

42Filtering out scalacOptions: -indent,-no-indent,-new-syntax,,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e

43[sbt_options] declare -a sbt_options=()

44[process_args] java_version = '17'

45[copyRt] java9_rt = '/root/.sbt/1.0/java9-rt-ext-eclipse_adoptium_17_0_8/rt.jar'

46# Executing command line:

47java

48-Dfile.encoding=UTF-8

49-Dcommunitybuild.scala=3.7.4-RC2

50-Dcommunitybuild.project.dependencies.add=

51-Xmx7G

52-Xms4G

53-Xss8M

54-Dsbt.script=/root/.sdkman/candidates/sbt/current/bin/sbt

55-Dscala.ext.dirs=/root/.sbt/1.0/java9-rt-ext-eclipse_adoptium_17_0_8

56-jar

57/root/.sdkman/candidates/sbt/1.11.5/bin/sbt-launch.jar

58"setCrossScalaVersions 3.7.4-RC2"

59"++3.7.4-RC2 -v"

60"mapScalacOptions "-rewrite,REQUIRE:-source:3.7-migration,-Wconf:msg=can be rewritten automatically under:s" "-indent,-no-indent,-new-syntax,,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e""

61"set every credentials := Nil"

62"excludeLibraryDependency com.github.ghik:zerowaste_{scalaVersion} com.olegpy:better-monadic-for_3 org.polyvariant:better-tostring_{scalaVersion} org.wartremover:wartremover_{scalaVersion}"

63"removeScalacOptionsStartingWith -P:wartremover"

64

65moduleMappings

66"runBuild 3.7.4-RC2 """{"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"compile-only","migrationVersions":["3.7"],"sourcePatches":[]}""" com.melvinlow%hammer"

67

68[info] welcome to sbt 1.11.5 (Eclipse Adoptium Java 17.0.8)

69[info] loading settings for project repo-build from akka.sbt, metals.sbt, plugins.sbt...

70[info] loading project definition from /build/repo/project

71[info] compiling 2 Scala sources to /build/repo/project/target/scala-2.12/sbt-1.0/classes ...

72[info] Non-compiled module 'compiler-bridge_2.12' for Scala 2.12.20. Compiling...

73[info] Compilation completed in 8.894s.

74[info] done compiling

75[info] loading settings for project root from build.sbt...

76[info] set current project to hammer (in build file:/build/repo/)

77Execute setCrossScalaVersions: 3.7.4-RC2

78OpenCB::Changing crossVersion 3.3.0 -> 3.7.4-RC2 in docs/crossScalaVersions

79OpenCB::Changing crossVersion 3.3.0 -> 3.7.4-RC2 in root/crossScalaVersions

80[info] set current project to hammer (in build file:/build/repo/)

81[info] Setting Scala version to 3.7.4-RC2 on 2 projects.

82[info] Switching Scala version on:

83[info] * root (3.7.4-RC2)

84[info] docs (3.7.4-RC2)

85[info] Excluding projects:

86[info] Reapplying settings...

87[info] set current project to hammer (in build file:/build/repo/)

88Execute mapScalacOptions: -rewrite,REQUIRE:-source:3.7-migration,-Wconf:msg=can be rewritten automatically under:s -indent,-no-indent,-new-syntax,,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e

89[info] Reapplying settings...

90[info] set current project to hammer (in build file:/build/repo/)

91[info] Defining Global / credentials, credentials, docs / credentials

92[info] The new values will be used by Global / pgpSelectPassphrase, ThisBuild / scalafixSbtResolversAsCoursierRepositories and 11 others.

93[info] Run `last` for details.

94[info] Reapplying settings...

95[info] set current project to hammer (in build file:/build/repo/)

96Execute excludeLibraryDependency: com.github.ghik:zerowaste_{scalaVersion} com.olegpy:better-monadic-for_3 org.polyvariant:better-tostring_{scalaVersion} org.wartremover:wartremover_{scalaVersion}

97[info] Reapplying settings...

98OpenCB::Failed to reapply settings in excludeLibraryDependency: Reference to undefined setting:

99

100 Global / allExcludeDependencies from Global / allExcludeDependencies (CommunityBuildPlugin.scala:336)

101 Did you mean allExcludeDependencies ?

102 , retry without global scopes

103[info] Reapplying settings...

104[info] set current project to hammer (in build file:/build/repo/)

105Execute removeScalacOptionsStartingWith: -P:wartremover

106[info] Reapplying settings...

107[info] set current project to hammer (in build file:/build/repo/)

108[success] Total time: 0 s, completed Nov 22, 2025, 4:51:00 PM

109Build config: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"compile-only","migrationVersions":["3.7"],"sourcePatches":[]}

110Parsed config: Success(ProjectBuildConfig(ProjectsConfig(List(),Map()),CompileOnly,List()))

111Starting build...

112Projects: Set(root)

113Starting build for ProjectRef(file:/build/repo/,root) (hammer)... [0/1]

114OpenCB::Exclude Scala3 specific scalacOption `-rewrite` in Scala 2.12.20 module Global

115OpenCB::Exclude Scala3 specific scalacOption `REQUIRE:-source:3.7-migration` in Scala 2.12.20 module Global

116OpenCB::Filter out '-feature', matches setting pattern '^-?-feature'

117OpenCB::Filter out '-deprecation', matches setting pattern '^-?-deprecation'

118OpenCB::Filter out '-Werror', matches setting pattern '^-?-Werror'

119OpenCB::Filter out '-no-indent', matches setting pattern '^-?-no-indent'

120Compile scalacOptions: -encoding, UTF-8, -unchecked, -Wunused:imports, -Wvalue-discard, -explain, -Xsemanticdb, -semanticdb-target, /build/repo/target/scala-3.7.4-RC2/meta, -rewrite, -Wconf:msg=can be rewritten automatically under:s, -source:3.7-migration

121[info] compiling 5 Scala sources to /build/repo/target/scala-3.7.4-RC2/classes ...

122[warn] -- [E198] Unused Symbol Warning: /build/repo/src/main/scala/com/melvinlow/hammer/Hammer.scala:4:33

123[warn] 4 |import scala.compiletime.ops.any.*

124[warn] | ^

125[warn] | unused import

126[warn] -- [E197] Potential Issue Warning: /build/repo/src/main/scala/com/melvinlow/hammer/Hammer.scala:66:4

127[warn] 66 | new Extractor[S, L, O] {

128[warn] | ^

129[warn] | New anonymous class definition will be duplicated at each inline site

130[warn] |----------------------------------------------------------------------------

131[warn] | Explanation (enabled by `-explain`)

132[warn] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

133[warn] | Anonymous class will be defined at each use site, which may lead to a larger number of classfiles.

134[warn] |

135[warn] | To inline class definitions, you may provide an explicit class name to avoid this warning.

136[warn] ----------------------------------------------------------------------------

137[warn] -- [E197] Potential Issue Warning: /build/repo/src/main/scala/com/melvinlow/hammer/Hammer.scala:95:4

138[warn] 95 | new Hammer[S, O] {

139[warn] | ^

140[warn] | New anonymous class definition will be duplicated at each inline site

141[warn] |----------------------------------------------------------------------------

142[warn] | Explanation (enabled by `-explain`)

143[warn] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

144[warn] | Anonymous class will be defined at each use site, which may lead to a larger number of classfiles.

145[warn] |

146[warn] | To inline class definitions, you may provide an explicit class name to avoid this warning.

147[warn] ----------------------------------------------------------------------------

148[info] [patched file /build/repo/src/main/scala/com/melvinlow/hammer/Hammer.scala]

149[warn] three warnings found

150[info] done compiling

151[info] compiling 1 Scala source to /build/repo/target/scala-3.7.4-RC2/classes ...

152[warn] -- [E197] Potential Issue Warning: /build/repo/src/main/scala/com/melvinlow/hammer/Hammer.scala:65:4

153[warn] 65 | new Extractor[S, L, O] {

154[warn] | ^

155[warn] | New anonymous class definition will be duplicated at each inline site

156[warn] |----------------------------------------------------------------------------

157[warn] | Explanation (enabled by `-explain`)

158[warn] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

159[warn] | Anonymous class will be defined at each use site, which may lead to a larger number of classfiles.

160[warn] |

161[warn] | To inline class definitions, you may provide an explicit class name to avoid this warning.

162[warn] ----------------------------------------------------------------------------

163[warn] -- [E197] Potential Issue Warning: /build/repo/src/main/scala/com/melvinlow/hammer/Hammer.scala:94:4

164[warn] 94 | new Hammer[S, O] {

165[warn] | ^

166[warn] | New anonymous class definition will be duplicated at each inline site

167[warn] |----------------------------------------------------------------------------

168[warn] | Explanation (enabled by `-explain`)

169[warn] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

170[warn] | Anonymous class will be defined at each use site, which may lead to a larger number of classfiles.

171[warn] |

172[warn] | To inline class definitions, you may provide an explicit class name to avoid this warning.

173[warn] ----------------------------------------------------------------------------

174[warn] two warnings found

175[info] done compiling

176[info] compiling 2 Scala sources to /build/repo/target/scala-3.7.4-RC2/classes ...

177[warn] two warnings found

178[info] done compiling

179[info] compiling 1 Scala source to /build/repo/target/scala-3.7.4-RC2/test-classes ...

180[error] -- [E172] Type Error: /build/repo/src/test/scala/com/melvinlow/hammer/HammerSpec.scala:27:39

181[error] 27 | expect(C(A(1, 2), B(3)).hammerTo[D] == D(B(3), B(2)))

182[error] | ^

183[error] |No given instance of type com.melvinlow.hammer.Hammer[A, B] was found.

184[error] |I found:

185[error] |

186[error] | com.melvinlow.hammer.instances.auto.given_Hammer_I_O[A, B](

187[error] | A.$asInstanceOf[

188[error] |

189[error] | scala.deriving.Mirror.Product{

190[error] | type MirroredMonoType = A; type MirroredType = A;

191[error] | type MirroredLabel = ("A" : String);

192[error] | type MirroredElemTypes = (Int, Int);

193[error] | type MirroredElemLabels = (("x" : String), ("y" : String))

194[error] | }

195[error] |

196[error] | ],

197[error] | B.$asInstanceOf[

198[error] |

199[error] | scala.deriving.Mirror.Product{

200[error] | type MirroredMonoType = B; type MirroredType = B;

201[error] | type MirroredLabel = ("B" : String);

202[error] | type MirroredElemTypes = Int *: EmptyTuple.type;

203[error] | type MirroredElemLabels = ("y" : String) *: EmptyTuple.type

204[error] | }

205[error] |

206[error] | ]

207[error] | )

208[error] |

209[error] |But given instance given_Hammer_I_O in object auto does not match type com.melvinlow.hammer.Hammer[A, B].

210[error] |

211[error] |The following import might make progress towards fixing the problem:

212[error] |

213[error] | import com.melvinlow.hammer.instances.internal.given_Hammer_I_O

214[error] |

215[error] |----------------------------------------------------------------------------

216[error] |Inline stack trace

217[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

218[error] |This location contains code that was inlined from Hammer.scala:59

219[error] 59 | case _: (L *: tailL, t *: tailT) => summonInline[Hammer[t, O]] -> constValue[Index]

220[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

221[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

222[error] |This location contains code that was inlined from Hammer.scala:59

223[error] 67 | summonHammerAndIdx[m.MirroredElemLabels, m.MirroredElemTypes, L, O, 0]

224[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

225[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

226[error] |This location contains code that was inlined from Hammer.scala:59

227[error] 78 | case _ => makeExtractor[S, L, O]

228[error] | ^^^^^^^^^^^^^^^^^^^^^^

229[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

230[error] |This location contains code that was inlined from Hammer.scala:59

231[error] 85 | summonOrMakeExtractor[S, l, o] :: makeExtractors[S, tailL, tailO]

232[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

233[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

234[error] |This location contains code that was inlined from Hammer.scala:59

235[error] 85 | summonOrMakeExtractor[S, l, o] :: makeExtractors[S, tailL, tailO]

236[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

237[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

238[error] |This location contains code that was inlined from Hammer.scala:59

239[error] 95 | lazy val extractors = makeExtractors[S, mo.MirroredElemLabels, mo.MirroredElemTypes]

240[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

241[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

242[error] |This location contains code that was inlined from Hammer.scala:59

243[error] 53 | case _ => makeProductHammer[I, O]

244[error] | ^^^^^^^^^^^^^^^^^^^^^^^

245[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

246[error] |This location contains code that was inlined from Hammer.scala:59

247[error] 37 | case Nil => '{ summonOrMakeProductHammer[I, O](using $mI, $mO) }

248[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

249[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

250[error] |This location contains code that was inlined from Hammer.scala:59

251[error] 37 | case Nil => '{ summonOrMakeProductHammer[I, O](using $mI, $mO) }

252[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

253[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

254[error] |This location contains code that was inlined from Hammer.scala:59

255[error] 13 | inline given [I: Mirror.ProductOf, O: Mirror.ProductOf]: Hammer[I, O] = makeProductHammerMacro()

256[error] | ^^^^^^^^^^^^^^^^^^^^^^^^

257[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

258[error] |This location contains code that was inlined from Hammer.scala:59

259[error] 21 | export internal.given

260[error] | ^

261[error] ----------------------------------------------------------------------------

262[error] -- [E172] Type Error: /build/repo/src/test/scala/com/melvinlow/hammer/HammerSpec.scala:27:10

263[error] 27 | expect(C(A(1, 2), B(3)).hammerTo[D] == D(B(3), B(2)))

264[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

265[error] |No given instance of type com.melvinlow.hammer.Hammer[A, B] was found.

266[error] |I found:

267[error] |

268[error] | com.melvinlow.hammer.instances.auto.given_Hammer_I_O[A, B](

269[error] | A.$asInstanceOf[

270[error] |

271[error] | scala.deriving.Mirror.Product{

272[error] | type MirroredMonoType = A; type MirroredType = A;

273[error] | type MirroredLabel = ("A" : String);

274[error] | type MirroredElemTypes = (Int, Int);

275[error] | type MirroredElemLabels = (("x" : String), ("y" : String))

276[error] | }

277[error] |

278[error] | ],

279[error] | B.$asInstanceOf[

280[error] |

281[error] | scala.deriving.Mirror.Product{

282[error] | type MirroredMonoType = B; type MirroredType = B;

283[error] | type MirroredLabel = ("B" : String);

284[error] | type MirroredElemTypes = Int *: EmptyTuple.type;

285[error] | type MirroredElemLabels = ("y" : String) *: EmptyTuple.type

286[error] | }

287[error] |

288[error] | ]

289[error] | )

290[error] |

291[error] |But given instance given_Hammer_I_O in object auto does not match type com.melvinlow.hammer.Hammer[A, B].

292[error] |

293[error] |The following import might make progress towards fixing the problem:

294[error] |

295[error] | import com.melvinlow.hammer.instances.internal.given_Hammer_I_O

296[error] |

297[error] |----------------------------------------------------------------------------

298[error] |Inline stack trace

299[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

300[error] |This location contains code that was inlined from Hammer.scala:59

301[error] 59 | case _: (L *: tailL, t *: tailT) => summonInline[Hammer[t, O]] -> constValue[Index]

302[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

303[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

304[error] |This location contains code that was inlined from Hammer.scala:59

305[error] 37 | case Nil => '{ summonOrMakeProductHammer[I, O](using $mI, $mO) }

306[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

307[error] ----------------------------------------------------------------------------

308[error] two errors found

309[error] (Test / compileIncremental) Compilation failed

310[info] compiling 1 Scala source to /build/repo/target/scala-3.7.4-RC2/test-classes ...

311[error] -- [E172] Type Error: /build/repo/src/test/scala/com/melvinlow/hammer/HammerSpec.scala:27:39

312[error] 27 | expect(C(A(1, 2), B(3)).hammerTo[D] == D(B(3), B(2)))

313[error] | ^

314[error] |No given instance of type com.melvinlow.hammer.Hammer[A, B] was found.

315[error] |I found:

316[error] |

317[error] | com.melvinlow.hammer.instances.auto.given_Hammer_I_O[A, B](

318[error] | A.$asInstanceOf[

319[error] |

320[error] | scala.deriving.Mirror.Product{

321[error] | type MirroredMonoType = A; type MirroredType = A;

322[error] | type MirroredLabel = ("A" : String);

323[error] | type MirroredElemTypes = (Int, Int);

324[error] | type MirroredElemLabels = (("x" : String), ("y" : String))

325[error] | }

326[error] |

327[error] | ],

328[error] | B.$asInstanceOf[

329[error] |

330[error] | scala.deriving.Mirror.Product{

331[error] | type MirroredMonoType = B; type MirroredType = B;

332[error] | type MirroredLabel = ("B" : String);

333[error] | type MirroredElemTypes = Int *: EmptyTuple.type;

334[error] | type MirroredElemLabels = ("y" : String) *: EmptyTuple.type

335[error] | }

336[error] |

337[error] | ]

338[error] | )

339[error] |

340[error] |But given instance given_Hammer_I_O in object auto does not match type com.melvinlow.hammer.Hammer[A, B].

341[error] |

342[error] |The following import might make progress towards fixing the problem:

343[error] |

344[error] | import com.melvinlow.hammer.instances.internal.given_Hammer_I_O

345[error] |

346[error] |----------------------------------------------------------------------------

347[error] |Inline stack trace

348[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

349[error] |This location contains code that was inlined from Hammer.scala:59

350[error] 59 | case _: (L *: tailL, t *: tailT) => summonInline[Hammer[t, O]] -> constValue[Index]

351[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

352[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

353[error] |This location contains code that was inlined from Hammer.scala:59

354[error] 67 | summonHammerAndIdx[m.MirroredElemLabels, m.MirroredElemTypes, L, O, 0]

355[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

356[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

357[error] |This location contains code that was inlined from Hammer.scala:59

358[error] 78 | case _ => makeExtractor[S, L, O]

359[error] | ^^^^^^^^^^^^^^^^^^^^^^

360[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

361[error] |This location contains code that was inlined from Hammer.scala:59

362[error] 85 | summonOrMakeExtractor[S, l, o] :: makeExtractors[S, tailL, tailO]

363[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

364[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

365[error] |This location contains code that was inlined from Hammer.scala:59

366[error] 85 | summonOrMakeExtractor[S, l, o] :: makeExtractors[S, tailL, tailO]

367[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

368[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

369[error] |This location contains code that was inlined from Hammer.scala:59

370[error] 95 | lazy val extractors = makeExtractors[S, mo.MirroredElemLabels, mo.MirroredElemTypes]

371[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

372[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

373[error] |This location contains code that was inlined from Hammer.scala:59

374[error] 53 | case _ => makeProductHammer[I, O]

375[error] | ^^^^^^^^^^^^^^^^^^^^^^^

376[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

377[error] |This location contains code that was inlined from Hammer.scala:59

378[error] 37 | case Nil => '{ summonOrMakeProductHammer[I, O](using $mI, $mO) }

379[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

380[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

381[error] |This location contains code that was inlined from Hammer.scala:59

382[error] 37 | case Nil => '{ summonOrMakeProductHammer[I, O](using $mI, $mO) }

383[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

384[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

385[error] |This location contains code that was inlined from Hammer.scala:59

386[error] 13 | inline given [I: Mirror.ProductOf, O: Mirror.ProductOf]: Hammer[I, O] = makeProductHammerMacro()

387[error] | ^^^^^^^^^^^^^^^^^^^^^^^^

388[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

389[error] |This location contains code that was inlined from Hammer.scala:59

390[error] 21 | export internal.given

391[error] | ^

392[error] ----------------------------------------------------------------------------

393[error] -- [E172] Type Error: /build/repo/src/test/scala/com/melvinlow/hammer/HammerSpec.scala:27:10

394[error] 27 | expect(C(A(1, 2), B(3)).hammerTo[D] == D(B(3), B(2)))

395[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

396[error] |No given instance of type com.melvinlow.hammer.Hammer[A, B] was found.

397[error] |I found:

398[error] |

399[error] | com.melvinlow.hammer.instances.auto.given_Hammer_I_O[A, B](

400[error] | A.$asInstanceOf[

401[error] |

402[error] | scala.deriving.Mirror.Product{

403[error] | type MirroredMonoType = A; type MirroredType = A;

404[error] | type MirroredLabel = ("A" : String);

405[error] | type MirroredElemTypes = (Int, Int);

406[error] | type MirroredElemLabels = (("x" : String), ("y" : String))

407[error] | }

408[error] |

409[error] | ],

410[error] | B.$asInstanceOf[

411[error] |

412[error] | scala.deriving.Mirror.Product{

413[error] | type MirroredMonoType = B; type MirroredType = B;

414[error] | type MirroredLabel = ("B" : String);

415[error] | type MirroredElemTypes = Int *: EmptyTuple.type;

416[error] | type MirroredElemLabels = ("y" : String) *: EmptyTuple.type

417[error] | }

418[error] |

419[error] | ]

420[error] | )

421[error] |

422[error] |But given instance given_Hammer_I_O in object auto does not match type com.melvinlow.hammer.Hammer[A, B].

423[error] |

424[error] |The following import might make progress towards fixing the problem:

425[error] |

426[error] | import com.melvinlow.hammer.instances.internal.given_Hammer_I_O

427[error] |

428[error] |----------------------------------------------------------------------------

429[error] |Inline stack trace

430[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

431[error] |This location contains code that was inlined from Hammer.scala:59

432[error] 59 | case _: (L *: tailL, t *: tailT) => summonInline[Hammer[t, O]] -> constValue[Index]

433[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

434[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

435[error] |This location contains code that was inlined from Hammer.scala:59

436[error] 37 | case Nil => '{ summonOrMakeProductHammer[I, O](using $mI, $mO) }

437[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

438[error] ----------------------------------------------------------------------------

439[error] two errors found

440[error] (Test / compileIncremental) Compilation failed

441[info] compiling 1 Scala source to /build/repo/target/scala-3.7.4-RC2/test-classes ...

442[error] -- [E172] Type Error: /build/repo/src/test/scala/com/melvinlow/hammer/HammerSpec.scala:27:39

443[error] 27 | expect(C(A(1, 2), B(3)).hammerTo[D] == D(B(3), B(2)))

444[error] | ^

445[error] |No given instance of type com.melvinlow.hammer.Hammer[A, B] was found.

446[error] |I found:

447[error] |

448[error] | com.melvinlow.hammer.instances.auto.given_Hammer_I_O[A, B](

449[error] | A.$asInstanceOf[

450[error] |

451[error] | scala.deriving.Mirror.Product{

452[error] | type MirroredMonoType = A; type MirroredType = A;

453[error] | type MirroredLabel = ("A" : String);

454[error] | type MirroredElemTypes = (Int, Int);

455[error] | type MirroredElemLabels = (("x" : String), ("y" : String))

456[error] | }

457[error] |

458[error] | ],

459[error] | B.$asInstanceOf[

460[error] |

461[error] | scala.deriving.Mirror.Product{

462[error] | type MirroredMonoType = B; type MirroredType = B;

463[error] | type MirroredLabel = ("B" : String);

464[error] | type MirroredElemTypes = Int *: EmptyTuple.type;

465[error] | type MirroredElemLabels = ("y" : String) *: EmptyTuple.type

466[error] | }

467[error] |

468[error] | ]

469[error] | )

470[error] |

471[error] |But given instance given_Hammer_I_O in object auto does not match type com.melvinlow.hammer.Hammer[A, B].

472[error] |

473[error] |The following import might make progress towards fixing the problem:

474[error] |

475[error] | import com.melvinlow.hammer.instances.internal.given_Hammer_I_O

476[error] |

477[error] |----------------------------------------------------------------------------

478[error] |Inline stack trace

479[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

480[error] |This location contains code that was inlined from Hammer.scala:59

481[error] 59 | case _: (L *: tailL, t *: tailT) => summonInline[Hammer[t, O]] -> constValue[Index]

482[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

483[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

484[error] |This location contains code that was inlined from Hammer.scala:59

485[error] 67 | summonHammerAndIdx[m.MirroredElemLabels, m.MirroredElemTypes, L, O, 0]

486[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

487[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

488[error] |This location contains code that was inlined from Hammer.scala:59

489[error] 78 | case _ => makeExtractor[S, L, O]

490[error] | ^^^^^^^^^^^^^^^^^^^^^^

491[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

492[error] |This location contains code that was inlined from Hammer.scala:59

493[error] 85 | summonOrMakeExtractor[S, l, o] :: makeExtractors[S, tailL, tailO]

494[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

495[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

496[error] |This location contains code that was inlined from Hammer.scala:59

497[error] 85 | summonOrMakeExtractor[S, l, o] :: makeExtractors[S, tailL, tailO]

498[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

499[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

500[error] |This location contains code that was inlined from Hammer.scala:59

501[error] 95 | lazy val extractors = makeExtractors[S, mo.MirroredElemLabels, mo.MirroredElemTypes]

502[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

503[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

504[error] |This location contains code that was inlined from Hammer.scala:59

505[error] 53 | case _ => makeProductHammer[I, O]

506[error] | ^^^^^^^^^^^^^^^^^^^^^^^

507[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

508[error] |This location contains code that was inlined from Hammer.scala:59

509[error] 37 | case Nil => '{ summonOrMakeProductHammer[I, O](using $mI, $mO) }

510[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

511[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

512[error] |This location contains code that was inlined from Hammer.scala:59

513[error] 37 | case Nil => '{ summonOrMakeProductHammer[I, O](using $mI, $mO) }

514[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

515[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

516[error] |This location contains code that was inlined from Hammer.scala:59

517[error] 13 | inline given [I: Mirror.ProductOf, O: Mirror.ProductOf]: Hammer[I, O] = makeProductHammerMacro()

518[error] | ^^^^^^^^^^^^^^^^^^^^^^^^

519[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

520[error] |This location contains code that was inlined from Hammer.scala:59

521[error] 21 | export internal.given

522[error] | ^

523[error] ----------------------------------------------------------------------------

524[error] -- [E172] Type Error: /build/repo/src/test/scala/com/melvinlow/hammer/HammerSpec.scala:27:10

525[error] 27 | expect(C(A(1, 2), B(3)).hammerTo[D] == D(B(3), B(2)))

526[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

527[error] |No given instance of type com.melvinlow.hammer.Hammer[A, B] was found.

528[error] |I found:

529[error] |

530[error] | com.melvinlow.hammer.instances.auto.given_Hammer_I_O[A, B](

531[error] | A.$asInstanceOf[

532[error] |

533[error] | scala.deriving.Mirror.Product{

534[error] | type MirroredMonoType = A; type MirroredType = A;

535[error] | type MirroredLabel = ("A" : String);

536[error] | type MirroredElemTypes = (Int, Int);

537[error] | type MirroredElemLabels = (("x" : String), ("y" : String))

538[error] | }

539[error] |

540[error] | ],

541[error] | B.$asInstanceOf[

542[error] |

543[error] | scala.deriving.Mirror.Product{

544[error] | type MirroredMonoType = B; type MirroredType = B;

545[error] | type MirroredLabel = ("B" : String);

546[error] | type MirroredElemTypes = Int *: EmptyTuple.type;

547[error] | type MirroredElemLabels = ("y" : String) *: EmptyTuple.type

548[error] | }

549[error] |

550[error] | ]

551[error] | )

552[error] |

553[error] |But given instance given_Hammer_I_O in object auto does not match type com.melvinlow.hammer.Hammer[A, B].

554[error] |

555[error] |The following import might make progress towards fixing the problem:

556[error] |

557[error] | import com.melvinlow.hammer.instances.internal.given_Hammer_I_O

558[error] |

559[error] |----------------------------------------------------------------------------

560[error] |Inline stack trace

561[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

562[error] |This location contains code that was inlined from Hammer.scala:59

563[error] 59 | case _: (L *: tailL, t *: tailT) => summonInline[Hammer[t, O]] -> constValue[Index]

564[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

565[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

566[error] |This location contains code that was inlined from Hammer.scala:59

567[error] 37 | case Nil => '{ summonOrMakeProductHammer[I, O](using $mI, $mO) }

568[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

569[error] ----------------------------------------------------------------------------

570[error] two errors found

571[error] (Test / compileIncremental) Compilation failed

572

573************************

574Build summary:

575[{

576 "module": "hammer",

577 "compile": {"status": "ok", "tookMs": 6556, "warnings": 3, "errors": 0, "sourceVersion": "3.7-migration"},

578 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

579 "test-compile": {"status": "failed", "failureContext": {"type": "buildError", "reasons": ["Compilation failed"]}, "tookMs": 7002, "warnings": 0, "errors": 2, "sourceVersion": "3.7-migration"},

580 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

581 "publish": {"status": "skipped", "tookMs": 0},

582 "metadata": {

583 "crossScalaVersions": ["3.3.0"]

584}

585}]

586************************

587[error] Scala3CommunityBuild$ProjectBuildFailureException: 1 module(s) finished with failures: hammer

588[error] (Global / runBuild) Scala3CommunityBuild$ProjectBuildFailureException: 1 module(s) finished with failures: hammer

589[error] Total time: 39 s, completed Nov 22, 2025, 4:51:38 PM

590[0JBuild failed, not retrying.

Build Logs