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

22Migrating project for -source:3.7 using Scala 3.7.4

23----

24Preparing build for 3.7.4

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

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##################################

36Scala version: 3.7.4

37Targets: com.melvinlow%hammer

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

39##################################

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

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

42[sbt_options] declare -a sbt_options=()

43[process_args] java_version = '17'

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

45# Executing command line:

46java

47-Dfile.encoding=UTF-8

48-Dcommunitybuild.scala=3.7.4

49-Dcommunitybuild.project.dependencies.add=

50-Xmx7G

51-Xms4G

52-Xss8M

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

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

55-jar

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

57"setCrossScalaVersions 3.7.4"

58"++3.7.4 -v"

59"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""

60"set every credentials := Nil"

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

62"removeScalacOptionsStartingWith -P:wartremover"

63

64moduleMappings

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

66

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

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

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

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

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

72[info] Compilation completed in 9.796s.

73[info] done compiling

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

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

76Execute setCrossScalaVersions: 3.7.4

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

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

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

80[info] Setting Scala version to 3.7.4 on 2 projects.

81[info] Switching Scala version on:

82[info] * root (3.7.4)

83[info] docs (3.7.4)

84[info] Excluding projects:

85[info] Reapplying settings...

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

87Execute 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

88[info] Reapplying settings...

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

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

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

92[info] Run `last` for details.

93[info] Reapplying settings...

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

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

96[info] Reapplying settings...

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

98

99 Global / allExcludeDependencies from Global / allExcludeDependencies (CommunityBuildPlugin.scala:331)

100 Did you mean allExcludeDependencies ?

101 , retry without global scopes

102[info] Reapplying settings...

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

104Execute removeScalacOptionsStartingWith: -P:wartremover

105[info] Reapplying settings...

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

107[success] Total time: 0 s, completed Jan 13, 2026, 4:53:19 PM

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

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

110Starting build...

111Projects: Set(root)

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

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

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

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

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

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

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

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

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

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

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

123[warn] | ^

124[warn] | unused import

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

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

127[warn] | ^

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

129[warn] |----------------------------------------------------------------------------

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

131[warn] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

133[warn] |

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

135[warn] ----------------------------------------------------------------------------

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

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

138[warn] | ^

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

140[warn] |----------------------------------------------------------------------------

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

142[warn] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

144[warn] |

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

146[warn] ----------------------------------------------------------------------------

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

148[warn] three warnings found

149[info] done compiling

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

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

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

153[warn] | ^

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

155[warn] |----------------------------------------------------------------------------

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

157[warn] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

159[warn] |

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

161[warn] ----------------------------------------------------------------------------

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

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

164[warn] | ^

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

166[warn] |----------------------------------------------------------------------------

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

168[warn] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

170[warn] |

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

172[warn] ----------------------------------------------------------------------------

173[warn] two warnings found

174[info] done compiling

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

176[warn] two warnings found

177[info] done compiling

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

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

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

181[error] | ^

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

183[error] |I found:

184[error] |

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

186[error] | A.$asInstanceOf[

187[error] |

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

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

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

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

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

193[error] | }

194[error] |

195[error] | ],

196[error] | B.$asInstanceOf[

197[error] |

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

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

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

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

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

203[error] | }

204[error] |

205[error] | ]

206[error] | )

207[error] |

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

209[error] |

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

211[error] |

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

213[error] |

214[error] |----------------------------------------------------------------------------

215[error] |Inline stack trace

216[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

219[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

220[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

223[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

224[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

227[error] | ^^^^^^^^^^^^^^^^^^^^^^

228[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

231[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

232[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

235[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

236[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

239[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

240[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

243[error] | ^^^^^^^^^^^^^^^^^^^^^^^

244[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

247[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

248[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

251[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

252[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

255[error] | ^^^^^^^^^^^^^^^^^^^^^^^^

256[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

258[error] 21 | export internal.given

259[error] | ^

260[error] ----------------------------------------------------------------------------

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

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

263[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

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

265[error] |I found:

266[error] |

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

268[error] | A.$asInstanceOf[

269[error] |

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

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

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

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

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

275[error] | }

276[error] |

277[error] | ],

278[error] | B.$asInstanceOf[

279[error] |

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

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

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

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

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

285[error] | }

286[error] |

287[error] | ]

288[error] | )

289[error] |

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

291[error] |

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

293[error] |

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

295[error] |

296[error] |----------------------------------------------------------------------------

297[error] |Inline stack trace

298[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

301[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

302[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

305[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

306[error] ----------------------------------------------------------------------------

307[error] two errors found

308[error] (Test / compileIncremental) Compilation failed

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

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

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

312[error] | ^

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

314[error] |I found:

315[error] |

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

317[error] | A.$asInstanceOf[

318[error] |

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

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

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

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

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

324[error] | }

325[error] |

326[error] | ],

327[error] | B.$asInstanceOf[

328[error] |

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

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

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

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

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

334[error] | }

335[error] |

336[error] | ]

337[error] | )

338[error] |

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

340[error] |

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

342[error] |

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

344[error] |

345[error] |----------------------------------------------------------------------------

346[error] |Inline stack trace

347[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

350[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

351[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

354[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

355[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

358[error] | ^^^^^^^^^^^^^^^^^^^^^^

359[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

362[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

363[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

366[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

367[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

370[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

371[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

374[error] | ^^^^^^^^^^^^^^^^^^^^^^^

375[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

378[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

379[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

382[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

383[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

386[error] | ^^^^^^^^^^^^^^^^^^^^^^^^

387[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

389[error] 21 | export internal.given

390[error] | ^

391[error] ----------------------------------------------------------------------------

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

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

394[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

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

396[error] |I found:

397[error] |

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

399[error] | A.$asInstanceOf[

400[error] |

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

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

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

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

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

406[error] | }

407[error] |

408[error] | ],

409[error] | B.$asInstanceOf[

410[error] |

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

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

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

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

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

416[error] | }

417[error] |

418[error] | ]

419[error] | )

420[error] |

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

422[error] |

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

424[error] |

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

426[error] |

427[error] |----------------------------------------------------------------------------

428[error] |Inline stack trace

429[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

432[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

433[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

436[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

437[error] ----------------------------------------------------------------------------

438[error] two errors found

439[error] (Test / compileIncremental) Compilation failed

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

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

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

443[error] | ^

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

445[error] |I found:

446[error] |

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

448[error] | A.$asInstanceOf[

449[error] |

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

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

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

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

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

455[error] | }

456[error] |

457[error] | ],

458[error] | B.$asInstanceOf[

459[error] |

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

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

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

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

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

465[error] | }

466[error] |

467[error] | ]

468[error] | )

469[error] |

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

471[error] |

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

473[error] |

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

475[error] |

476[error] |----------------------------------------------------------------------------

477[error] |Inline stack trace

478[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

481[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

482[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

485[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

486[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

489[error] | ^^^^^^^^^^^^^^^^^^^^^^

490[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

493[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

494[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

497[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

498[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

501[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

502[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

505[error] | ^^^^^^^^^^^^^^^^^^^^^^^

506[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

509[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

510[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

513[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

514[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

517[error] | ^^^^^^^^^^^^^^^^^^^^^^^^

518[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

520[error] 21 | export internal.given

521[error] | ^

522[error] ----------------------------------------------------------------------------

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

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

525[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

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

527[error] |I found:

528[error] |

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

530[error] | A.$asInstanceOf[

531[error] |

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

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

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

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

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

537[error] | }

538[error] |

539[error] | ],

540[error] | B.$asInstanceOf[

541[error] |

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

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

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

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

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

547[error] | }

548[error] |

549[error] | ]

550[error] | )

551[error] |

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

553[error] |

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

555[error] |

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

557[error] |

558[error] |----------------------------------------------------------------------------

559[error] |Inline stack trace

560[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

563[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

564[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

567[error] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

568[error] ----------------------------------------------------------------------------

569[error] two errors found

570[error] (Test / compileIncremental) Compilation failed

571

572************************

573Build summary:

574[{

575 "module": "hammer",

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

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

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

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

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

581 "metadata": {

582 "crossScalaVersions": ["3.3.0"]

583}

584}]

585************************

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

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

588[error] Total time: 23 s, completed Jan 13, 2026, 4:53:42 PM

589[0JBuild failed, not retrying.

Build Logs