Logs - sovt/spata - Community Build Dashboard

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

2Clonning https://github.com/sovt/spata.git into /build/repo using revision v3.2.2

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

4Note: switching to '61662577c72e2f326deeda9f741b47c6a0ba987b'.

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.5 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.5-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.10.11

33 is not supported, minimal supported version is 1.11.5

34Enforcing usage of sbt in version 1.11.5

35No prepare script found for project sovt/spata

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

37##################################

38Scala version: 3.7.4-RC2

39Targets: info.fingo%spata

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

41##################################

42Using extra scalacOptions: -rewrite,REQUIRE:-source:3.5-migration

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

44[sbt_options] declare -a sbt_options=()

45[process_args] java_version = '17'

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

47# Executing command line:

48java

49-Dfile.encoding=UTF-8

50-Dcommunitybuild.scala=3.7.4-RC2

51-Dcommunitybuild.project.dependencies.add=

52-Xmx7G

53-Xms4G

54-Xss8M

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

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

57-jar

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

59"setCrossScalaVersions 3.7.4-RC2"

60"++3.7.4-RC2 -v"

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

62"set every credentials := Nil"

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

64"removeScalacOptionsStartingWith -P:wartremover"

65

66moduleMappings

67"runBuild 3.7.4-RC2 """{"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"compile-only","migrationVersions":["3.5","3.7"],"sourcePatches":[]}""" info.fingo%spata"

68

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

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

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

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

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

74[info] Compilation completed in 8.405s.

75[info] done compiling

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

77[info] set current project to spata (in build file:/build/repo/)

78Execute setCrossScalaVersions: 3.7.4-RC2

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

80OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(3.7.4-RC2) in root/crossScalaVersions

81[info] set current project to spata (in build file:/build/repo/)

82[info] Setting Scala version to 3.7.4-RC2 on 1 projects.

83[info] Switching Scala version on:

84[info] * root (3.7.4-RC2)

85[info] Excluding projects:

86[info] Reapplying settings...

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

88Execute mapScalacOptions: -rewrite,REQUIRE:-source:3.5-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 spata (in build file:/build/repo/)

91[info] Defining Global / credentials, credentials

92[info] The new values will be used by Compile / scalafmtOnly, Global / pgpSelectPassphrase and 8 others.

93[info] Run `last` for details.

94[info] Reapplying settings...

95[info] set current project to spata (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 spata (in build file:/build/repo/)

105Execute removeScalacOptionsStartingWith: -P:wartremover

106[info] Reapplying settings...

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

108[success] Total time: 0 s, completed Nov 25, 2025, 4:04:11 PM

109Build config: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"compile-only","migrationVersions":["3.5","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) (spata)... [0/1]

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

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

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

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

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

119OpenCB::Filter out '-Wconf:cat=deprecation:w,any:e', matches regex '.*-Wconf.*any:e'

120Compile scalacOptions: -explain, -explain-types, -language:existentials, -language:higherKinds, -language:implicitConversions, -pagewidth:120, -release:11, -unchecked, -Wvalue-discard, -Wunused:all, -Wnonunit-statement, -Xverify-signatures, -Xsemanticdb, -semanticdb-target, /build/repo/target/scala-3.7.4-RC2/meta, -rewrite, -Wconf:msg=can be rewritten automatically under:s, -source:3.5-migration

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

122[error] -- [E007] Type Mismatch Error: /build/repo/src/main/scala/info/fingo/spata/schema/TypedRecord.scala:93:34 --------------

123[error] 93 | val vals = labels.map(l => get(l, keys, values))

124[error] | ^^^^^^^^^^^^^^^^^^^^

125[error] | Found: info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]

126[error] | Required: KS match {

127[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]

128[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]

129[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |

130[error] | (VS match {

131[error] | case _² *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]

132[error] | })

133[error] |

134[error] | where: KS is a type in class TypedRecord with bounds <: Tuple

135[error] | VS is a type in class TypedRecord with bounds <: Tuple

136[error] | _ is a type variable with constraint <: Tuple

137[error] | _² is a type variable

138[error] |

139[error] |

140[error] | Note: a match type could not be fully reduced:

141[error] |

142[error] | trying to reduce info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]

143[error] | failed since selector KS

144[error] | does not match case (l : String) *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]

145[error] | and cannot be shown to be disjoint from it either.

146[error] | Therefore, reduction cannot advance to the remaining case

147[error] |

148[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[(l : String), t, VS]

149[error] |--------------------------------------------------------------------------------------------------------------------

150[error] | Explanation (enabled by `-explain`)

151[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

152[error] |

153[error] | Tree:

154[error] |

155[error] | this.get[(l : String), KS, VS](l, TypedRecord.this.keys, TypedRecord.this.values)

156[error] |

157[error] | I tried to show that

158[error] | info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]

159[error] | conforms to

160[error] | KS match {

161[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]

162[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]

163[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |

164[error] | (VS match {

165[error] | case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]

166[error] | })

167[error] | but none of the attempts shown below succeeded:

168[error] |

169[error] | ==> info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS] <: KS match { case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv] })

170[error] | ==> KS match { case (l : String) *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[(l : String), t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[(l : String), Tuple, tv] }) <: KS match { case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv] })

171[error] | ==> info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[(l : String), Tuple, tv] }) <: KS match { case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv] })

172[error] | ==> info.fingo.spata.schema.TypedRecord.SelectH[VS] <: KS match { case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv] })

173[error] | ==> VS match { case h *: _ => h } <: KS match { case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv] })

174[error] | ==> Any <: KS match { case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv] }) = false

175[error] | ==> VS <: KS

176[error] | ==> VS <: Nothing in frozen constraint

177[error] | ==> Tuple <: Nothing in frozen constraint = false

178[error] | ==> Tuple <: Nothing in frozen constraint = false

179[error] | ==> Tuple <: KS

180[error] | ==> Tuple <: Nothing in frozen constraint = false

181[error] | ==> Tuple <: KS in frozen constraint

182[error] | ==> Tuple <: Nothing in frozen constraint = false

183[error] | ==> [_ <: Tuple] =>> scala.runtime.MatchCase[(l : String) *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]] <: [_ <: Tuple] =>> scala.runtime.MatchCase[? <: String *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]]

184[error] | ==> scala.runtime.MatchCase[(l : String) *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]] <: scala.runtime.MatchCase[? <: String *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]]

185[error] | ==> ? <: String *: _ <: (l : String) *: _

186[error] | ==> Any <: (l : String) = false

187[error] |

188[error] | The tests were made under a constraint with:

189[error] | uninstantiated variables: B

190[error] | constrained types: [B](f: String => B): List[B], [B](f: String => B): List[B]

191[error] | bounds:

192[error] | B

193[error] | B :=

194[error] | KS match {

195[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]

196[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]

197[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |

198[error] | (VS match {

199[error] | case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]

200[error] | })

201[error] | ordering:

202[error] | co-deps:

203[error] | contra-deps:

204[error] --------------------------------------------------------------------------------------------------------------------

205[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/schema/TypedRecord.scala:94:46 -----------------------

206[error] 94 | m.fromProduct(Tuple.fromArray(vals.toArray))

207[error] | ^

208[error] | No ClassTag available for T

209[error] |

210[error] | where: T is a type variable with constraint >: KS match {

211[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]

212[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]

213[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |

214[error] | (VS match {

215[error] | case _² *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]

216[error] | })

217[error] two errors found

218[error] (Compile / compileIncremental) Compilation failed

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

220[error] -- [E007] Type Mismatch Error: /build/repo/src/main/scala/info/fingo/spata/schema/TypedRecord.scala:93:34 --------------

221[error] 93 | val vals = labels.map(l => get(l, keys, values))

222[error] | ^^^^^^^^^^^^^^^^^^^^

223[error] | Found: info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]

224[error] | Required: KS match {

225[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]

226[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]

227[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |

228[error] | (VS match {

229[error] | case _² *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]

230[error] | })

231[error] |

232[error] | where: KS is a type in class TypedRecord with bounds <: Tuple

233[error] | VS is a type in class TypedRecord with bounds <: Tuple

234[error] | _ is a type variable with constraint <: Tuple

235[error] | _² is a type variable

236[error] |

237[error] |

238[error] | Note: a match type could not be fully reduced:

239[error] |

240[error] | trying to reduce info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]

241[error] | failed since selector KS

242[error] | does not match case (l : String) *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]

243[error] | and cannot be shown to be disjoint from it either.

244[error] | Therefore, reduction cannot advance to the remaining case

245[error] |

246[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[(l : String), t, VS]

247[error] |--------------------------------------------------------------------------------------------------------------------

248[error] | Explanation (enabled by `-explain`)

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

250[error] |

251[error] | Tree:

252[error] |

253[error] | this.get[(l : String), KS, VS](l, TypedRecord.this.keys, TypedRecord.this.values)

254[error] |

255[error] | I tried to show that

256[error] | info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]

257[error] | conforms to

258[error] | KS match {

259[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]

260[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]

261[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |

262[error] | (VS match {

263[error] | case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]

264[error] | })

265[error] | but none of the attempts shown below succeeded:

266[error] |

267[error] | ==> info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS] <: KS match { case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv] })

268[error] | ==> KS match { case (l : String) *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[(l : String), t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[(l : String), Tuple, tv] }) <: KS match { case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv] })

269[error] | ==> info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[(l : String), Tuple, tv] }) <: KS match { case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv] })

270[error] | ==> info.fingo.spata.schema.TypedRecord.SelectH[VS] <: KS match { case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv] })

271[error] | ==> VS match { case h *: _ => h } <: KS match { case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv] })

272[error] | ==> Any <: KS match { case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv] }) = false

273[error] | ==> VS <: KS

274[error] | ==> VS <: Nothing in frozen constraint

275[error] | ==> Tuple <: Nothing in frozen constraint = false

276[error] | ==> Tuple <: Nothing in frozen constraint = false

277[error] | ==> Tuple <: KS

278[error] | ==> Tuple <: Nothing in frozen constraint = false

279[error] | ==> Tuple <: KS in frozen constraint

280[error] | ==> Tuple <: Nothing in frozen constraint = false

281[error] | ==> [_ <: Tuple] =>> scala.runtime.MatchCase[(l : String) *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]] <: [_ <: Tuple] =>> scala.runtime.MatchCase[? <: String *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]]

282[error] | ==> scala.runtime.MatchCase[(l : String) *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]] <: scala.runtime.MatchCase[? <: String *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]]

283[error] | ==> ? <: String *: _ <: (l : String) *: _

284[error] | ==> Any <: (l : String) = false

285[error] |

286[error] | The tests were made under a constraint with:

287[error] | uninstantiated variables: B

288[error] | constrained types: [B](f: String => B): List[B], [B](f: String => B): List[B]

289[error] | bounds:

290[error] | B

291[error] | B :=

292[error] | KS match {

293[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]

294[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]

295[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |

296[error] | (VS match {

297[error] | case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]

298[error] | })

299[error] | ordering:

300[error] | co-deps:

301[error] | contra-deps:

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

303[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/schema/TypedRecord.scala:94:46 -----------------------

304[error] 94 | m.fromProduct(Tuple.fromArray(vals.toArray))

305[error] | ^

306[error] | No ClassTag available for T

307[error] |

308[error] | where: T is a type variable with constraint >: KS match {

309[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]

310[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]

311[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |

312[error] | (VS match {

313[error] | case _² *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]

314[error] | })

315[error] two errors found

316[error] (Compile / compileIncremental) Compilation failed

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

318[error] -- [E007] Type Mismatch Error: /build/repo/src/main/scala/info/fingo/spata/schema/TypedRecord.scala:93:34 --------------

319[error] 93 | val vals = labels.map(l => get(l, keys, values))

320[error] | ^^^^^^^^^^^^^^^^^^^^

321[error] | Found: info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]

322[error] | Required: KS match {

323[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]

324[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]

325[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |

326[error] | (VS match {

327[error] | case _² *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]

328[error] | })

329[error] |

330[error] | where: KS is a type in class TypedRecord with bounds <: Tuple

331[error] | VS is a type in class TypedRecord with bounds <: Tuple

332[error] | _ is a type variable with constraint <: Tuple

333[error] | _² is a type variable

334[error] |

335[error] |

336[error] | Note: a match type could not be fully reduced:

337[error] |

338[error] | trying to reduce info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]

339[error] | failed since selector KS

340[error] | does not match case (l : String) *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]

341[error] | and cannot be shown to be disjoint from it either.

342[error] | Therefore, reduction cannot advance to the remaining case

343[error] |

344[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[(l : String), t, VS]

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

346[error] | Explanation (enabled by `-explain`)

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

348[error] |

349[error] | Tree:

350[error] |

351[error] | this.get[(l : String), KS, VS](l, TypedRecord.this.keys, TypedRecord.this.values)

352[error] |

353[error] | I tried to show that

354[error] | info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]

355[error] | conforms to

356[error] | KS match {

357[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]

358[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]

359[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |

360[error] | (VS match {

361[error] | case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]

362[error] | })

363[error] | but none of the attempts shown below succeeded:

364[error] |

365[error] | ==> info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS] <: KS match { case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv] })

366[error] | ==> KS match { case (l : String) *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[(l : String), t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[(l : String), Tuple, tv] }) <: KS match { case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv] })

367[error] | ==> info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[(l : String), Tuple, tv] }) <: KS match { case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv] })

368[error] | ==> info.fingo.spata.schema.TypedRecord.SelectH[VS] <: KS match { case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv] })

369[error] | ==> VS match { case h *: _ => h } <: KS match { case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv] })

370[error] | ==> Any <: KS match { case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS] case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS] } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] | (VS match { case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv] }) = false

371[error] | ==> VS <: KS

372[error] | ==> VS <: Nothing in frozen constraint

373[error] | ==> Tuple <: Nothing in frozen constraint = false

374[error] | ==> Tuple <: Nothing in frozen constraint = false

375[error] | ==> Tuple <: KS

376[error] | ==> Tuple <: Nothing in frozen constraint = false

377[error] | ==> Tuple <: KS in frozen constraint

378[error] | ==> Tuple <: Nothing in frozen constraint = false

379[error] | ==> [_ <: Tuple] =>> scala.runtime.MatchCase[(l : String) *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]] <: [_ <: Tuple] =>> scala.runtime.MatchCase[? <: String *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]]

380[error] | ==> scala.runtime.MatchCase[(l : String) *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]] <: scala.runtime.MatchCase[? <: String *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]]

381[error] | ==> ? <: String *: _ <: (l : String) *: _

382[error] | ==> Any <: (l : String) = false

383[error] |

384[error] | The tests were made under a constraint with:

385[error] | uninstantiated variables: B

386[error] | constrained types: [B](f: String => B): List[B], [B](f: String => B): List[B]

387[error] | bounds:

388[error] | B

389[error] | B :=

390[error] | KS match {

391[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]

392[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]

393[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |

394[error] | (VS match {

395[error] | case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]

396[error] | })

397[error] | ordering:

398[error] | co-deps:

399[error] | contra-deps:

400[error] --------------------------------------------------------------------------------------------------------------------

401[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/schema/TypedRecord.scala:94:46 -----------------------

402[error] 94 | m.fromProduct(Tuple.fromArray(vals.toArray))

403[error] | ^

404[error] | No ClassTag available for T

405[error] |

406[error] | where: T is a type variable with constraint >: KS match {

407[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]

408[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]

409[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |

410[error] | (VS match {

411[error] | case _² *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]

412[error] | })

413[error] two errors found

414[error] (Compile / compileIncremental) Compilation failed

415

416************************

417Build summary:

418[{

419 "module": "spata",

420 "compile": {"status": "failed", "failureContext": {"type": "buildError", "reasons": ["Compilation failed"]}, "tookMs": 10257, "warnings": 0, "errors": 2, "sourceVersion": "3.5-migration"},

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

422 "test-compile": {"status": "skipped", "tookMs": 0, "warnings": 0, "errors": 0},

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

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

425 "metadata": {

426 "crossScalaVersions": ["2.12.20"]

427}

428}]

429************************

430[error] Scala3CommunityBuild$ProjectBuildFailureException: 1 module(s) finished with failures: spata

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

432[error] Total time: 45 s, completed Nov 25, 2025, 4:04:56 PM

433[0JBuild failed, not retrying.

Build Logs