Build Logs
fingo/spata • 3.7.1:2025-06-02
Errors
315
Warnings
0
Total Lines
489
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.1
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.1
32Execute tests: false
33sbt project found:
34No prepare script found for project fingo/spata
35##################################
36Scala version: 3.7.1
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.1
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.1"
58"++3.7.1 -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.1 """{
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.782s.
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.1
97OpenCB::Changing crossVersion 3.3.5 -> 3.7.1 in root/crossScalaVersions
98OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(3.7.1) in root/crossScalaVersions
99[info] set current project to spata (in build file:/build/repo/)
100[info] Setting Scala version to 3.7.1 on 1 projects.
101[info] Switching Scala version on:
102[info] * root (3.7.1)
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 2, 2025, 11:04:05 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.1/meta, -Wconf:msg=can be rewritten automatically under:s)
156[info] compiling 33 Scala sources to /build/repo/target/scala-3.7.1/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 localTimeParserFmt in object StringParser and object localDateTimeParserFmt 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: this.get[(l : String), KS, VS](l, TypedRecord.this.keys, TypedRecord.this.values)
199[error] | I tried to show that
200[error] | info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]
201[error] | conforms to
202[error] | KS match {
203[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
204[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]
205[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |
206[error] | (VS match {
207[error] | case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]
208[error] | })
209[error] | but none of the attempts shown below succeeded:
210[error] |
211[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] })
212[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] })
213[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] })
214[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] })
215[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] })
216[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
217[error] | ==> VS <: KS
218[error] | ==> VS <: Nothing in frozen constraint
219[error] | ==> Tuple <: Nothing in frozen constraint = false
220[error] | ==> Tuple <: Nothing in frozen constraint = false
221[error] | ==> Tuple <: KS
222[error] | ==> Tuple <: Nothing in frozen constraint = false
223[error] | ==> Tuple <: KS in frozen constraint
224[error] | ==> Tuple <: Nothing in frozen constraint = false
225[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]]
226[error] | ==> scala.runtime.MatchCase[(l : String) *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]] <: scala.runtime.MatchCase[? <: String *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]]
227[error] | ==> ? <: String *: _ <: (l : String) *: _
228[error] | ==> Any <: (l : String) = false
229[error] |
230[error] | The tests were made under a constraint with:
231[error] | uninstantiated variables: B
232[error] | constrained types: [B](f: String => B): List[B], [B](f: String => B): List[B]
233[error] | bounds:
234[error] | B
235[error] | B :=
236[error] | KS match {
237[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
238[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]
239[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |
240[error] | (VS match {
241[error] | case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]
242[error] | })
243[error] | ordering:
244[error] | co-deps:
245[error] | contra-deps:
246[error] --------------------------------------------------------------------------------------------------------------------
247[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/schema/TypedRecord.scala:94:46 -----------------------
248[error] 94 | m.fromProduct(Tuple.fromArray(vals.toArray))
249[error] | ^
250[error] | No ClassTag available for T
251[error] |
252[error] | where: T is a type variable with constraint >: KS match {
253[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
254[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]
255[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |
256[error] | (VS match {
257[error] | case _² *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]
258[error] | })
259[error] four errors found
260[error] (Compile / compileIncremental) Compilation failed
261[info] compiling 33 Scala sources to /build/repo/target/scala-3.7.1/classes ...
262[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/converter/ToProduct.scala:90:71 ----------------------
263[error] 90 | val instance = for (label, parser) <- elements yield r.get(label)(parser)
264[error] | ^
265[error] |Ambiguous given instances: both object localTimeParserFmt in object StringParser and object localDateTimeParserFmt in object StringParser match type info.fingo.spata.text.StringParser[A] of a context parameter of method get in class Record
266[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/converter/ToProduct.scala:92:72 ----------------------
267[error] 92 | left.headOption.toLeft(p.fromProduct(Tuple.fromArray(right.toArray)))
268[error] | ^
269[error] | No ClassTag available for T
270[error] |
271[error] | where: T is a type variable
272[error] -- [E007] Type Mismatch Error: /build/repo/src/main/scala/info/fingo/spata/schema/TypedRecord.scala:93:34 --------------
273[error] 93 | val vals = labels.map(l => get(l, keys, values))
274[error] | ^^^^^^^^^^^^^^^^^^^^
275[error] | Found: info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]
276[error] | Required: KS match {
277[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
278[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]
279[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |
280[error] | (VS match {
281[error] | case _² *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]
282[error] | })
283[error] |
284[error] | where: KS is a type in class TypedRecord with bounds <: Tuple
285[error] | VS is a type in class TypedRecord with bounds <: Tuple
286[error] | _ is a type variable with constraint <: Tuple
287[error] | _² is a type variable
288[error] |
289[error] |
290[error] | Note: a match type could not be fully reduced:
291[error] |
292[error] | trying to reduce info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]
293[error] | failed since selector KS
294[error] | does not match case (l : String) *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
295[error] | and cannot be shown to be disjoint from it either.
296[error] | Therefore, reduction cannot advance to the remaining case
297[error] |
298[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[(l : String), t, VS]
299[error] |--------------------------------------------------------------------------------------------------------------------
300[error] | Explanation (enabled by `-explain`)
301[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
302[error] |
303[error] | Tree: this.get[(l : String), KS, VS](l, TypedRecord.this.keys, TypedRecord.this.values)
304[error] | I tried to show that
305[error] | info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]
306[error] | conforms to
307[error] | KS match {
308[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
309[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]
310[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |
311[error] | (VS match {
312[error] | case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]
313[error] | })
314[error] | but none of the attempts shown below succeeded:
315[error] |
316[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] })
317[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] })
318[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] })
319[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] })
320[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] })
321[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
322[error] | ==> VS <: KS
323[error] | ==> VS <: Nothing in frozen constraint
324[error] | ==> Tuple <: Nothing in frozen constraint = false
325[error] | ==> Tuple <: Nothing in frozen constraint = false
326[error] | ==> Tuple <: KS
327[error] | ==> Tuple <: Nothing in frozen constraint = false
328[error] | ==> Tuple <: KS in frozen constraint
329[error] | ==> Tuple <: Nothing in frozen constraint = false
330[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]]
331[error] | ==> scala.runtime.MatchCase[(l : String) *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]] <: scala.runtime.MatchCase[? <: String *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]]
332[error] | ==> ? <: String *: _ <: (l : String) *: _
333[error] | ==> Any <: (l : String) = false
334[error] |
335[error] | The tests were made under a constraint with:
336[error] | uninstantiated variables: B
337[error] | constrained types: [B](f: String => B): List[B], [B](f: String => B): List[B]
338[error] | bounds:
339[error] | B
340[error] | B :=
341[error] | KS match {
342[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
343[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]
344[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |
345[error] | (VS match {
346[error] | case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]
347[error] | })
348[error] | ordering:
349[error] | co-deps:
350[error] | contra-deps:
351[error] --------------------------------------------------------------------------------------------------------------------
352[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/schema/TypedRecord.scala:94:46 -----------------------
353[error] 94 | m.fromProduct(Tuple.fromArray(vals.toArray))
354[error] | ^
355[error] | No ClassTag available for T
356[error] |
357[error] | where: T is a type variable with constraint >: KS match {
358[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
359[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]
360[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |
361[error] | (VS match {
362[error] | case _² *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]
363[error] | })
364[error] four errors found
365[error] (Compile / compileIncremental) Compilation failed
366[info] compiling 33 Scala sources to /build/repo/target/scala-3.7.1/classes ...
367[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/converter/ToProduct.scala:90:71 ----------------------
368[error] 90 | val instance = for (label, parser) <- elements yield r.get(label)(parser)
369[error] | ^
370[error] |Ambiguous given instances: both object localTimeParserFmt in object StringParser and object localDateTimeParserFmt in object StringParser match type info.fingo.spata.text.StringParser[A] of a context parameter of method get in class Record
371[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/converter/ToProduct.scala:92:72 ----------------------
372[error] 92 | left.headOption.toLeft(p.fromProduct(Tuple.fromArray(right.toArray)))
373[error] | ^
374[error] | No ClassTag available for T
375[error] |
376[error] | where: T is a type variable
377[error] -- [E007] Type Mismatch Error: /build/repo/src/main/scala/info/fingo/spata/schema/TypedRecord.scala:93:34 --------------
378[error] 93 | val vals = labels.map(l => get(l, keys, values))
379[error] | ^^^^^^^^^^^^^^^^^^^^
380[error] | Found: info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]
381[error] | Required: KS match {
382[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
383[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]
384[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |
385[error] | (VS match {
386[error] | case _² *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]
387[error] | })
388[error] |
389[error] | where: KS is a type in class TypedRecord with bounds <: Tuple
390[error] | VS is a type in class TypedRecord with bounds <: Tuple
391[error] | _ is a type variable with constraint <: Tuple
392[error] | _² is a type variable
393[error] |
394[error] |
395[error] | Note: a match type could not be fully reduced:
396[error] |
397[error] | trying to reduce info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]
398[error] | failed since selector KS
399[error] | does not match case (l : String) *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
400[error] | and cannot be shown to be disjoint from it either.
401[error] | Therefore, reduction cannot advance to the remaining case
402[error] |
403[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[(l : String), t, VS]
404[error] |--------------------------------------------------------------------------------------------------------------------
405[error] | Explanation (enabled by `-explain`)
406[error] |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
407[error] |
408[error] | Tree: this.get[(l : String), KS, VS](l, TypedRecord.this.keys, TypedRecord.this.values)
409[error] | I tried to show that
410[error] | info.fingo.spata.schema.TypedRecord.Select[(l : String), KS, VS]
411[error] | conforms to
412[error] | KS match {
413[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
414[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]
415[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |
416[error] | (VS match {
417[error] | case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]
418[error] | })
419[error] | but none of the attempts shown below succeeded:
420[error] |
421[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] })
422[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] })
423[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] })
424[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] })
425[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] })
426[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
427[error] | ==> VS <: KS
428[error] | ==> VS <: Nothing in frozen constraint
429[error] | ==> Tuple <: Nothing in frozen constraint = false
430[error] | ==> Tuple <: Nothing in frozen constraint = false
431[error] | ==> Tuple <: KS
432[error] | ==> Tuple <: Nothing in frozen constraint = false
433[error] | ==> Tuple <: KS in frozen constraint
434[error] | ==> Tuple <: Nothing in frozen constraint = false
435[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]]
436[error] | ==> scala.runtime.MatchCase[(l : String) *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]] <: scala.runtime.MatchCase[? <: String *: _, info.fingo.spata.schema.TypedRecord.SelectH[VS]]
437[error] | ==> ? <: String *: _ <: (l : String) *: _
438[error] | ==> Any <: (l : String) = false
439[error] |
440[error] | The tests were made under a constraint with:
441[error] | uninstantiated variables: B
442[error] | constrained types: [B](f: String => B): List[B], [B](f: String => B): List[B]
443[error] | bounds:
444[error] | B
445[error] | B :=
446[error] | KS match {
447[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
448[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]
449[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |
450[error] | (VS match {
451[error] | case _ *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]
452[error] | })
453[error] | ordering:
454[error] | co-deps:
455[error] | contra-deps:
456[error] --------------------------------------------------------------------------------------------------------------------
457[error] -- [E172] Type Error: /build/repo/src/main/scala/info/fingo/spata/schema/TypedRecord.scala:94:46 -----------------------
458[error] 94 | m.fromProduct(Tuple.fromArray(vals.toArray))
459[error] | ^
460[error] | No ClassTag available for T
461[error] |
462[error] | where: T is a type variable with constraint >: KS match {
463[error] | case ? <: String *: _ => info.fingo.spata.schema.TypedRecord.SelectH[VS]
464[error] | case h *: t => info.fingo.spata.schema.TypedRecord.SelectT[String, t, VS]
465[error] | } <: info.fingo.spata.schema.TypedRecord.SelectH[VS] |
466[error] | (VS match {
467[error] | case _² *: tv => info.fingo.spata.schema.TypedRecord.Select[String, Tuple, tv]
468[error] | })
469[error] four errors found
470[error] (Compile / compileIncremental) Compilation failed
471
472************************
473Build summary:
474[{
475 "module": "spata",
476 "compile": {"status": "failed", "failureContext": {"type": "buildError", "reasons": ["Compilation failed"]}, "tookMs": 9122, "warnings": 0, "errors": 4, "sourceVersion": "3.7-migration"},
477 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},
478 "test-compile": {"status": "skipped", "tookMs": 0, "warnings": 0, "errors": 0},
479 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},
480 "publish": {"status": "skipped", "tookMs": 0},
481 "metadata": {
482 "crossScalaVersions": ["2.12.20"]
483}
484}]
485************************
486[error] Scala3CommunityBuild$ProjectBuildFailureException: 1 module(s) finished with failures: spata
487[error] (Global / runBuild) Scala3CommunityBuild$ProjectBuildFailureException: 1 module(s) finished with failures: spata
488[error] Total time: 24 s, completed Jun 2, 2025, 11:04:29 PM
489Build failed, not retrying.