Logs - fingo/spata - Community Build Dashboard

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

2Clonning https://github.com/fingo/spata.git into 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

21----

22Preparing build for 3.7.0-RC2

23Scala binary version found: 3.7

24Implicitly using source version 3.7-migration

25Scala binary version found: 3.7

26Implicitly using source version 3.7-migration

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

28Append: ,-source:3.7-migration,-Wconf:msg=can be rewritten automatically under:s

29Remove: ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e,-migration,

30----

31Starting build for 3.7.0-RC2

32Execute tests: true

33sbt project found:

34/opencb/project-builder/sbt/prepare-project.sh: line 60: [[: 11

35: syntax error: invalid arithmetic operator (error token is "

36")

37No prepare script found for project fingo/spata

38##################################

39Scala version: 3.7.0-RC2

40Targets: info.fingo%spata

41Project projectConfig: { "projects": { "exclude": [], "overrides": {} }, "java": { "version": "17" }, "sbt": { "commands": [], "options": [] }, "mill": { "options": [] }, "tests": "full", "migrationVersions": [], "sourcePatches": [] }

42##################################

43Using extra scalacOptions: ,-source:3.7-migration,-Wconf:msg=can be rewritten automatically under:s

44Filtering out scalacOptions: ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e,-migration,

45[sbt_options] declare -a sbt_options=()

46[process_args] java_version = '17'

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

48# Executing command line:

49java

50-Dfile.encoding=UTF-8

51-Dcommunitybuild.scala=3.7.0-RC2

52-Dcommunitybuild.project.dependencies.add=

53-Xmx7G

54-Xms4G

55-Xss8M

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

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

58-jar

59/root/.sdkman/candidates/sbt/1.9.6/bin/sbt-launch.jar

60"setCrossScalaVersions 3.7.0-RC2"

61"++3.7.0-RC2 -v"

62"mapScalacOptions ",-source:3.7-migration,-Wconf:msg=can be rewritten automatically under:s" ",-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e,-migration,""

63"set every credentials := Nil"

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

65"removeScalacOptionsStartingWith -P:wartremover"

66

67moduleMappings

68"runBuild 3.7.0-RC2 """{

69 "projects": {

70 "exclude": [],

71 "overrides": {}

72 },

73 "java": {

74 "version": "17"

75 },

76 "sbt": {

77 "commands": [],

78 "options": []

79 },

80 "mill": {

81 "options": []

82 },

83 "tests": "full",

84 "migrationVersions": [],

85 "sourcePatches": []

86}""" info.fingo%spata"

87

88[info] [launcher] getting org.scala-sbt sbt 1.10.11 (this may take some time)...

89[info] [launcher] getting Scala 2.12.20 (for sbt)...

90[info] welcome to sbt 1.10.11 (Eclipse Adoptium Java 17.0.8)

91[info] loading settings for project repo-build from plugins.sbt...

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

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

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

95[info] Compilation completed in 8.864s.

96[info] done compiling

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

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

99Execute setCrossScalaVersions: 3.7.0-RC2

100OpenCB::Changing crossVersion 3.3.5 -> 3.7.0-RC2 in root/crossScalaVersions

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

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

103[info] Setting Scala version to 3.7.0-RC2 on 1 projects.

104[info] Switching Scala version on:

105[info] * root (3.7.0-RC2)

106[info] Excluding projects:

107[info] Reapplying settings...

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

109Execute mapScalacOptions: ,-source:3.7-migration,-Wconf:msg=can be rewritten automatically under:s ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e,-migration,

110[info] Reapplying settings...

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

112[info] Defining Global / credentials, credentials

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

114[info] Run `last` for details.

115[info] Reapplying settings...

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

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

118[info] Reapplying settings...

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

120

121 Global / allExcludeDependencies from Global / allExcludeDependencies (CommunityBuildPlugin.scala:315)

122 Did you mean allExcludeDependencies ?

123 , retry without global scopes

124[info] Reapplying settings...

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

126Execute removeScalacOptionsStartingWith: -P:wartremover

127[info] Reapplying settings...

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

129[success] Total time: 0 s, completed Apr 9, 2025, 7:16:28 PM

130Build config: {

131 "projects": {

132 "exclude": [],

133 "overrides": {}

134 },

135 "java": {

136 "version": "17"

137 },

138 "sbt": {

139 "commands": [],

140 "options": []

141 },

142 "mill": {

143 "options": []

144 },

145 "tests": "full",

146 "migrationVersions": [],

147 "sourcePatches": []

148}

149Parsed config: Success(ProjectBuildConfig(ProjectsConfig(List(),Map()),Full,List()))

150Starting build...

151Projects: Set(root)

152Starting build for ProjectRef(file:/build/repo/,root) (spata)...

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

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

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

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

157OpenCB::Would not apply setting `-source:3.7-migration`: Project has predefined source version: Some(-source:3.7-migration)

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

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

160[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/converter/ToProduct.scala:90:71 ----------------------

161[error] 90 | val instance = for (label, parser) <- elements yield r.get(label)(parser)

162[error] | ^

163[error] |Ambiguous given instances: both object stringParser in object StringParser and object booleanParserFmt in object StringParser match type info.fingo.spata.text.StringParser[A] of a context parameter of method get in class Record

164[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/converter/ToProduct.scala:92:72 ----------------------

165[error] 92 | left.headOption.toLeft(p.fromProduct(Tuple.fromArray(right.toArray)))

166[error] | ^

167[error] | No ClassTag available for T

168[error] |

169[error] | where: T is a type variable

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

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

172[error] | ^^^^^^^^^^^^^^^^^^^^

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

174[error] | Required: KS match {

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

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

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

178[error] | (VS match {

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

180[error] | })

181[error] |

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

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

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

185[error] | _² is a type variable

186[error] |

187[error] |

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

189[error] |

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

191[error] | failed since selector KS

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

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

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

195[error] |

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

197[error] |--------------------------------------------------------------------------------------------------------------------

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

199[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

200[error] |

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

202[error] | I tried to show that

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

204[error] | conforms to

205[error] | KS match {

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

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

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

209[error] | (VS match {

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

211[error] | })

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

213[error] |

214[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] })

215[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] })

216[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] })

217[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] })

218[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] })

219[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

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

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

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

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

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

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

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

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

228[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]]

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

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

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

232[error] |

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

234[error] | uninstantiated variables: B

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

236[error] | bounds:

237[error] | B

238[error] | B :=

239[error] | KS match {

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

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

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

243[error] | (VS match {

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

245[error] | })

246[error] | ordering:

247[error] | co-deps:

248[error] | contra-deps:

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

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

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

252[error] | ^

253[error] | No ClassTag available for T

254[error] |

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

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

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

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

259[error] | (VS match {

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

261[error] | })

262[error] four errors found

263[error] (Compile / compileIncremental) Compilation failed

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

265[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/converter/ToProduct.scala:90:71 ----------------------

266[error] 90 | val instance = for (label, parser) <- elements yield r.get(label)(parser)

267[error] | ^

268[error] |Ambiguous given instances: both object stringParser in object StringParser and object booleanParserFmt in object StringParser match type info.fingo.spata.text.StringParser[A] of a context parameter of method get in class Record

269[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/converter/ToProduct.scala:92:72 ----------------------

270[error] 92 | left.headOption.toLeft(p.fromProduct(Tuple.fromArray(right.toArray)))

271[error] | ^

272[error] | No ClassTag available for T

273[error] |

274[error] | where: T is a type variable

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

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

277[error] | ^^^^^^^^^^^^^^^^^^^^

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

279[error] | Required: KS match {

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

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

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

283[error] | (VS match {

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

285[error] | })

286[error] |

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

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

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

290[error] | _² is a type variable

291[error] |

292[error] |

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

294[error] |

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

296[error] | failed since selector KS

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

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

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

300[error] |

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

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

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

304[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

305[error] |

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

307[error] | I tried to show that

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

309[error] | conforms to

310[error] | KS match {

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

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

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

314[error] | (VS match {

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

316[error] | })

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

318[error] |

319[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] })

320[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] })

321[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] })

322[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] })

323[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] })

324[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

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

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

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

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

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

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

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

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

333[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]]

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

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

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

337[error] |

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

339[error] | uninstantiated variables: B

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

341[error] | bounds:

342[error] | B

343[error] | B :=

344[error] | KS match {

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

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

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

348[error] | (VS match {

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

350[error] | })

351[error] | ordering:

352[error] | co-deps:

353[error] | contra-deps:

354[error] --------------------------------------------------------------------------------------------------------------------

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

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

357[error] | ^

358[error] | No ClassTag available for T

359[error] |

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

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

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

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

364[error] | (VS match {

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

366[error] | })

367[error] four errors found

368[error] (Compile / compileIncremental) Compilation failed

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

370[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/converter/ToProduct.scala:90:71 ----------------------

371[error] 90 | val instance = for (label, parser) <- elements yield r.get(label)(parser)

372[error] | ^

373[error] |Ambiguous given instances: both object stringParser in object StringParser and object booleanParserFmt in object StringParser match type info.fingo.spata.text.StringParser[A] of a context parameter of method get in class Record

374[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/converter/ToProduct.scala:92:72 ----------------------

375[error] 92 | left.headOption.toLeft(p.fromProduct(Tuple.fromArray(right.toArray)))

376[error] | ^

377[error] | No ClassTag available for T

378[error] |

379[error] | where: T is a type variable

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

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

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

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

384[error] | Required: KS match {

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

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

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

388[error] | (VS match {

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

390[error] | })

391[error] |

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

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

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

395[error] | _² is a type variable

396[error] |

397[error] |

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

399[error] |

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

401[error] | failed since selector KS

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

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

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

405[error] |

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

407[error] |--------------------------------------------------------------------------------------------------------------------

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

409[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

410[error] |

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

412[error] | I tried to show that

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

414[error] | conforms to

415[error] | KS match {

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

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

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

419[error] | (VS match {

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

421[error] | })

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

423[error] |

424[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] })

425[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] })

426[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] })

427[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] })

428[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] })

429[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

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

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

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

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

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

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

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

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

438[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]]

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

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

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

442[error] |

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

444[error] | uninstantiated variables: B

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

446[error] | bounds:

447[error] | B

448[error] | B :=

449[error] | KS match {

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

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

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

453[error] | (VS match {

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

455[error] | })

456[error] | ordering:

457[error] | co-deps:

458[error] | contra-deps:

459[error] --------------------------------------------------------------------------------------------------------------------

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

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

462[error] | ^

463[error] | No ClassTag available for T

464[error] |

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

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

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

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

469[error] | (VS match {

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

471[error] | })

472[error] four errors found

473[error] (Compile / compileIncremental) Compilation failed

474

475************************

476Build summary:

477[{

478 "module": "spata",

479 "compile": {"status": "failed", "failureContext": {"type": "buildError", "reasons": ["Compilation failed"]}, "tookMs": 10318, "warnings": 0, "errors": 4, "sourceVersion": "3.7-migration"},

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

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

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

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

484 "metadata": {

485 "crossScalaVersions": ["2.12.20"]

486}

487}]

488************************

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

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

491[error] Total time: 28 s, completed Apr 9, 2025, 7:16:56 PM

492Build failed, not retrying.

Build Logs