Build Logs

fingo/spata • 3.7.2-RC1:2025-06-19

Errors

324

Warnings

0

Total Lines

498

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.2-RC1
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.2-RC1
32Execute tests: false
33sbt project found:
34No prepare script found for project fingo/spata
35##################################
36Scala version: 3.7.2-RC1
37Targets: info.fingo%spata
38Project projectConfig: { "projects": { "exclude": [], "overrides": {} }, "java": { "version": "17" }, "sbt": { "commands": [], "options": [] }, "mill": { "options": [] }, "tests": "compile-only", "migrationVersions": [], "sourcePatches": [] }
39##################################
40Using extra scalacOptions: ,-source:3.7-migration,-Wconf:msg=can be rewritten automatically under:s
41Filtering out scalacOptions: ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e,-migration,
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.2-RC1
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.9.6/bin/sbt-launch.jar
57"setCrossScalaVersions 3.7.2-RC1"
58"++3.7.2-RC1 -v"
59"mapScalacOptions ",-source:3.7-migration,-Wconf:msg=can be rewritten automatically under:s" ",-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e,-migration,""
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.2-RC1 """{
66 "projects": {
67 "exclude": [],
68 "overrides": {}
69 },
70 "java": {
71 "version": "17"
72 },
73 "sbt": {
74 "commands": [],
75 "options": []
76 },
77 "mill": {
78 "options": []
79 },
80 "tests": "compile-only",
81 "migrationVersions": [],
82 "sourcePatches": []
83}""" info.fingo%spata"
84
85[info] [launcher] getting org.scala-sbt sbt 1.10.11 (this may take some time)...
86[info] [launcher] getting Scala 2.12.20 (for sbt)...
87[info] welcome to sbt 1.10.11 (Eclipse Adoptium Java 17.0.8)
88[info] loading settings for project repo-build from plugins.sbt...
89[info] loading project definition from /build/repo/project
90[info] compiling 2 Scala sources to /build/repo/project/target/scala-2.12/sbt-1.0/classes ...
91[info] Non-compiled module 'compiler-bridge_2.12' for Scala 2.12.20. Compiling...
92[info] Compilation completed in 8.998s.
93[info] done compiling
94[info] loading settings for project root from build.sbt...
95[info] set current project to spata (in build file:/build/repo/)
96Execute setCrossScalaVersions: 3.7.2-RC1
97OpenCB::Changing crossVersion 3.3.5 -> 3.7.2-RC1 in root/crossScalaVersions
98OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(3.7.2-RC1) in root/crossScalaVersions
99[info] set current project to spata (in build file:/build/repo/)
100[info] Setting Scala version to 3.7.2-RC1 on 1 projects.
101[info] Switching Scala version on:
102[info] * root (3.7.2-RC1)
103[info] Excluding projects:
104[info] Reapplying settings...
105[info] set current project to spata (in build file:/build/repo/)
106Execute mapScalacOptions: ,-source:3.7-migration,-Wconf:msg=can be rewritten automatically under:s ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e,-migration,
107[info] Reapplying settings...
108[info] set current project to spata (in build file:/build/repo/)
109[info] Defining Global / credentials, credentials
110[info] The new values will be used by Compile / scalafmtOnly, Global / pgpSelectPassphrase and 8 others.
111[info] Run `last` for details.
112[info] Reapplying settings...
113[info] set current project to spata (in build file:/build/repo/)
114Execute excludeLibraryDependency: com.github.ghik:zerowaste_{scalaVersion} com.olegpy:better-monadic-for_3 org.polyvariant:better-tostring_{scalaVersion} org.wartremover:wartremover_{scalaVersion}
115[info] Reapplying settings...
116OpenCB::Failed to reapply settings in excludeLibraryDependency: Reference to undefined setting:
117
118 Global / allExcludeDependencies from Global / allExcludeDependencies (CommunityBuildPlugin.scala:315)
119 Did you mean allExcludeDependencies ?
120 , retry without global scopes
121[info] Reapplying settings...
122[info] set current project to spata (in build file:/build/repo/)
123Execute removeScalacOptionsStartingWith: -P:wartremover
124[info] Reapplying settings...
125[info] set current project to spata (in build file:/build/repo/)
126[success] Total time: 0 s, completed Jun 19, 2025, 11:01:12 PM
127Build config: {
128 "projects": {
129 "exclude": [],
130 "overrides": {}
131 },
132 "java": {
133 "version": "17"
134 },
135 "sbt": {
136 "commands": [],
137 "options": []
138 },
139 "mill": {
140 "options": []
141 },
142 "tests": "compile-only",
143 "migrationVersions": [],
144 "sourcePatches": []
145}
146Parsed config: Success(ProjectBuildConfig(ProjectsConfig(List(),Map()),CompileOnly,List()))
147Starting build...
148Projects: Set(root)
149Starting build for ProjectRef(file:/build/repo/,root) (spata)...
150OpenCB::Exclude Scala3 specific scalacOption `-source:3.7-migration` in Scala 2.12.20 module Global
151OpenCB::Filter out '-deprecation', matches setting pattern '^-?-deprecation'
152OpenCB::Filter out '-feature', matches setting pattern '^-?-feature'
153OpenCB::Filter out '-Wconf:cat=deprecation:w,any:e', matches regex '.*-Wconf.*any:e'
154OpenCB::Would not apply setting `-source:3.7-migration`: Project has predefined source version: Some(-source:3.7-migration)
155Compile 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.2-RC1/meta, -Wconf:msg=can be rewritten automatically under:s)
156[info] compiling 33 Scala sources to /build/repo/target/scala-3.7.2-RC1/classes ...
157[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/converter/ToProduct.scala:90:71 ----------------------
158[error] 90 | val instance = for (label, parser) <- elements yield r.get(label)(parser)
159[error] | ^
160[error] |Ambiguous given instances: both object longParserFmt in object StringParser and object bigDecimalParserFmt in object StringParser match type info.fingo.spata.text.StringParser[A] of a context parameter of method get in class Record
161[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/converter/ToProduct.scala:92:72 ----------------------
162[error] 92 | left.headOption.toLeft(p.fromProduct(Tuple.fromArray(right.toArray)))
163[error] | ^
164[error] | No ClassTag available for T
165[error] |
166[error] | where: T is a type variable
167[error] -- [E007] Type Mismatch Error: /build/repo/src/main/scala/info/fingo/spata/schema/TypedRecord.scala:93:34 --------------
168[error] 93 | val vals = labels.map(l => get(l, keys, values))
169[error] | ^^^^^^^^^^^^^^^^^^^^
170[error] | Found: info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]
171[error] | Required: KS match {
172[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
173[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]
174[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |
175[error] | (VS match {
176[error] | case _² *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]
177[error] | })
178[error] |
179[error] | where: KS is a type in class TypedRecord with bounds <: Tuple
180[error] | VS is a type in class TypedRecord with bounds <: Tuple
181[error] | _ is a type variable with constraint <: Tuple
182[error] | _² is a type variable
183[error] |
184[error] |
185[error] | Note: a match type could not be fully reduced:
186[error] |
187[error] | trying to reduce info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]
188[error] | failed since selector KS
189[error] | does not match case (l : String) *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
190[error] | and cannot be shown to be disjoint from it either.
191[error] | Therefore, reduction cannot advance to the remaining case
192[error] |
193[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[(l : String), t, VS]
194[error] |--------------------------------------------------------------------------------------------------------------------
195[error] | Explanation (enabled by `-explain`)
196[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
197[error] |
198[error] | Tree:
199[error] |
200[error] | this.get[(l : String), KS, VS](l, TypedRecord.this.keys, TypedRecord.this.values)
201[error] |
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.2-RC1/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 longParserFmt in object StringParser and object bigDecimalParserFmt 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:
307[error] |
308[error] | this.get[(l : String), KS, VS](l, TypedRecord.this.keys, TypedRecord.this.values)
309[error] |
310[error] | I tried to show that
311[error] | info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]
312[error] | conforms to
313[error] | KS match {
314[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
315[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]
316[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |
317[error] | (VS match {
318[error] | case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]
319[error] | })
320[error] | but none of the attempts shown below succeeded:
321[error] |
322[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] })
323[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] })
324[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] })
325[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] })
326[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] })
327[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
328[error] | ==> VS <: KS
329[error] | ==> VS <: Nothing in frozen constraint
330[error] | ==> Tuple <: Nothing in frozen constraint = false
331[error] | ==> Tuple <: Nothing in frozen constraint = false
332[error] | ==> Tuple <: KS
333[error] | ==> Tuple <: Nothing in frozen constraint = false
334[error] | ==> Tuple <: KS in frozen constraint
335[error] | ==> Tuple <: Nothing in frozen constraint = false
336[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]]
337[error] | ==> scala.runtime.MatchCase[(l : String) *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]] <: scala.runtime.MatchCase[? <: String *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]]
338[error] | ==> ? <: String *: _ <: (l : String) *: _
339[error] | ==> Any <: (l : String) = false
340[error] |
341[error] | The tests were made under a constraint with:
342[error] | uninstantiated variables: B
343[error] | constrained types: [B](f: String => B): List[B], [B](f: String => B): List[B]
344[error] | bounds:
345[error] | B
346[error] | B :=
347[error] | KS match {
348[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
349[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]
350[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |
351[error] | (VS match {
352[error] | case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]
353[error] | })
354[error] | ordering:
355[error] | co-deps:
356[error] | contra-deps:
357[error] --------------------------------------------------------------------------------------------------------------------
358[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/schema/TypedRecord.scala:94:46 -----------------------
359[error] 94 | m.fromProduct(Tuple.fromArray(vals.toArray))
360[error] | ^
361[error] | No ClassTag available for T
362[error] |
363[error] | where: T is a type variable with constraint >: KS match {
364[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
365[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]
366[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |
367[error] | (VS match {
368[error] | case _² *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]
369[error] | })
370[error] four errors found
371[error] (Compile / compileIncremental) Compilation failed
372[info] compiling 33 Scala sources to /build/repo/target/scala-3.7.2-RC1/classes ...
373[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/converter/ToProduct.scala:90:71 ----------------------
374[error] 90 | val instance = for (label, parser) <- elements yield r.get(label)(parser)
375[error] | ^
376[error] |Ambiguous given instances: both object longParserFmt in object StringParser and object bigDecimalParserFmt in object StringParser match type info.fingo.spata.text.StringParser[A] of a context parameter of method get in class Record
377[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/converter/ToProduct.scala:92:72 ----------------------
378[error] 92 | left.headOption.toLeft(p.fromProduct(Tuple.fromArray(right.toArray)))
379[error] | ^
380[error] | No ClassTag available for T
381[error] |
382[error] | where: T is a type variable
383[error] -- [E007] Type Mismatch Error: /build/repo/src/main/scala/info/fingo/spata/schema/TypedRecord.scala:93:34 --------------
384[error] 93 | val vals = labels.map(l => get(l, keys, values))
385[error] | ^^^^^^^^^^^^^^^^^^^^
386[error] | Found: info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]
387[error] | Required: KS match {
388[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
389[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]
390[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |
391[error] | (VS match {
392[error] | case _² *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]
393[error] | })
394[error] |
395[error] | where: KS is a type in class TypedRecord with bounds <: Tuple
396[error] | VS is a type in class TypedRecord with bounds <: Tuple
397[error] | _ is a type variable with constraint <: Tuple
398[error] | _² is a type variable
399[error] |
400[error] |
401[error] | Note: a match type could not be fully reduced:
402[error] |
403[error] | trying to reduce info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]
404[error] | failed since selector KS
405[error] | does not match case (l : String) *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
406[error] | and cannot be shown to be disjoint from it either.
407[error] | Therefore, reduction cannot advance to the remaining case
408[error] |
409[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[(l : String), t, VS]
410[error] |--------------------------------------------------------------------------------------------------------------------
411[error] | Explanation (enabled by `-explain`)
412[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
413[error] |
414[error] | Tree:
415[error] |
416[error] | this.get[(l : String), KS, VS](l, TypedRecord.this.keys, TypedRecord.this.values)
417[error] |
418[error] | I tried to show that
419[error] | info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]
420[error] | conforms to
421[error] | KS match {
422[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
423[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]
424[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |
425[error] | (VS match {
426[error] | case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]
427[error] | })
428[error] | but none of the attempts shown below succeeded:
429[error] |
430[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] })
431[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] })
432[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] })
433[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] })
434[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] })
435[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
436[error] | ==> VS <: KS
437[error] | ==> VS <: Nothing in frozen constraint
438[error] | ==> Tuple <: Nothing in frozen constraint = false
439[error] | ==> Tuple <: Nothing in frozen constraint = false
440[error] | ==> Tuple <: KS
441[error] | ==> Tuple <: Nothing in frozen constraint = false
442[error] | ==> Tuple <: KS in frozen constraint
443[error] | ==> Tuple <: Nothing in frozen constraint = false
444[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]]
445[error] | ==> scala.runtime.MatchCase[(l : String) *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]] <: scala.runtime.MatchCase[? <: String *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]]
446[error] | ==> ? <: String *: _ <: (l : String) *: _
447[error] | ==> Any <: (l : String) = false
448[error] |
449[error] | The tests were made under a constraint with:
450[error] | uninstantiated variables: B
451[error] | constrained types: [B](f: String => B): List[B], [B](f: String => B): List[B]
452[error] | bounds:
453[error] | B
454[error] | B :=
455[error] | KS match {
456[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
457[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]
458[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |
459[error] | (VS match {
460[error] | case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]
461[error] | })
462[error] | ordering:
463[error] | co-deps:
464[error] | contra-deps:
465[error] --------------------------------------------------------------------------------------------------------------------
466[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/schema/TypedRecord.scala:94:46 -----------------------
467[error] 94 | m.fromProduct(Tuple.fromArray(vals.toArray))
468[error] | ^
469[error] | No ClassTag available for T
470[error] |
471[error] | where: T is a type variable with constraint >: KS match {
472[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
473[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]
474[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |
475[error] | (VS match {
476[error] | case _² *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]
477[error] | })
478[error] four errors found
479[error] (Compile / compileIncremental) Compilation failed
480
481************************
482Build summary:
483[{
484 "module": "spata",
485 "compile": {"status": "failed", "failureContext": {"type": "buildError", "reasons": ["Compilation failed"]}, "tookMs": 9939, "warnings": 0, "errors": 4, "sourceVersion": "3.7-migration"},
486 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},
487 "test-compile": {"status": "skipped", "tookMs": 0, "warnings": 0, "errors": 0},
488 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},
489 "publish": {"status": "skipped", "tookMs": 0},
490 "metadata": {
491 "crossScalaVersions": ["2.12.20"]
492}
493}]
494************************
495[error] Scala3CommunityBuild$ProjectBuildFailureException: 1 module(s) finished with failures: spata
496[error] (Global / runBuild) Scala3CommunityBuild$ProjectBuildFailureException: 1 module(s) finished with failures: spata
497[error] Total time: 27 s, completed Jun 19, 2025, 11:01:39 PM
498Build failed, not retrying.