Logs - tomasmikula/libretto - Community Build Dashboard

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

2Clonning https://github.com/tomasmikula/libretto.git into /build/repo using revision main

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

4----

5Preparing build for 3.8.0-RC1

6Scala binary version found: 3.8

7Implicitly using source version 3.8

8Scala binary version found: 3.8

9Implicitly using source version 3.8

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

11Append: ,REQUIRE:-source:3.8

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

13----

14Starting build for 3.8.0-RC1

15Execute tests: false

16sbt project found:

17No prepare script found for project tomasmikula/libretto

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

19##################################

20Scala version: 3.8.0-RC1

21Targets: dev.continuously.libretto%libretto-core dev.continuously.libretto%libretto-examples dev.continuously.libretto%libretto-lambda dev.continuously.libretto%libretto-stream dev.continuously.libretto%libretto-testing dev.continuously.libretto%libretto-zio

22Project projectConfig: {"projects":{"exclude":["dev.continuously%libretto"],"overrides":{}},"java":{},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"compile-only","migrationVersions":[],"sourcePatches":[]}

23##################################

24Using extra scalacOptions: ,REQUIRE:-source:3.8

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

26[sbt_options] declare -a sbt_options=()

27[process_args] java_version = '17'

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

29# Executing command line:

30java

31-Dfile.encoding=UTF-8

32-Dcommunitybuild.scala=3.8.0-RC1

33-Dcommunitybuild.project.dependencies.add=

34-Xmx7G

35-Xms4G

36-Xss8M

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

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

39-jar

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

41"setCrossScalaVersions 3.8.0-RC1"

42"++3.8.0-RC1 -v"

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

44"set every credentials := Nil"

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

46"removeScalacOptionsStartingWith -P:wartremover"

47

48moduleMappings

49"runBuild 3.8.0-RC1 """{"projects":{"exclude":["dev.continuously%libretto"],"overrides":{}},"java":{},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"compile-only","migrationVersions":[],"sourcePatches":[]}""" dev.continuously.libretto%libretto-core dev.continuously.libretto%libretto-examples dev.continuously.libretto%libretto-lambda dev.continuously.libretto%libretto-stream dev.continuously.libretto%libretto-testing dev.continuously.libretto%libretto-zio"

50

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

52[info] welcome to sbt 1.11.7 (Eclipse Adoptium Java 17.0.8)

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

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

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

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

57[info] Compilation completed in 8.876s.

58[info] done compiling

59[info] loading settings for project root from build.sbt, version.sbt...

60[info] resolving key references (15040 settings) ...

61[info] set current project to root (in build file:/build/repo/)

62[warn] there are 2 keys that are not used by any other settings/tasks:

63[warn]

64[warn] * ThisBuild / pomIncludeRepository

65[warn] +- /build/repo/build.sbt:28

66[warn] * ThisBuild / publishMavenStyle

67[warn] +- /build/repo/build.sbt:29

68[warn]

69[warn] note: a setting might still be used by a command; to exclude a key from this `lintUnused` check

70[warn] either append it to `Global / excludeLintKeys` or call .withRank(KeyRanks.Invisible) on the key

71Execute setCrossScalaVersions: 3.8.0-RC1

72OpenCB::Changing crossVersion 3.7.3 -> 3.8.0-RC1 in mashup/crossScalaVersions

73OpenCB::Changing crossVersion 3.7.3 -> 3.8.0-RC1 in testing/crossScalaVersions

74OpenCB::Changing crossVersion 3.7.3 -> 3.8.0-RC1 in lambdaJVM/crossScalaVersions

75OpenCB::Changing crossVersion 3.7.3 -> 3.8.0-RC1 in core/crossScalaVersions

76OpenCB::Changing crossVersion 3.7.3 -> 3.8.0-RC1 in mashupExamples/crossScalaVersions

77OpenCB::Changing crossVersion 3.7.3 -> 3.8.0-RC1 in typology/crossScalaVersions

78OpenCB::Changing crossVersion 3.7.3 -> 3.8.0-RC1 in lambdaExamples/crossScalaVersions

79OpenCB::Changing crossVersion 3.7.3 -> 3.8.0-RC1 in kindvilleJS/crossScalaVersions

80OpenCB::Changing crossVersion 3.7.3 -> 3.8.0-RC1 in root/crossScalaVersions

81OpenCB::Changing crossVersion 3.7.3 -> 3.8.0-RC1 in lambdaJS/crossScalaVersions

82OpenCB::Changing crossVersion 3.7.3 -> 3.8.0-RC1 in librettoZio/crossScalaVersions

83OpenCB::Changing crossVersion 3.7.3 -> 3.8.0-RC1 in docs/crossScalaVersions

84OpenCB::Changing crossVersion 3.7.3 -> 3.8.0-RC1 in kindvilleJVM/crossScalaVersions

85OpenCB::Changing crossVersion 3.7.3 -> 3.8.0-RC1 in coreTests/crossScalaVersions

86OpenCB::Changing crossVersion 3.7.3 -> 3.8.0-RC1 in testingScalatest/crossScalaVersions

87OpenCB::Changing crossVersion 3.7.3 -> 3.8.0-RC1 in examples/crossScalaVersions

88OpenCB::Changing crossVersion 3.7.3 -> 3.8.0-RC1 in stream/crossScalaVersions

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

90[info] Setting Scala version to 3.8.0-RC1 on 17 projects.

91[info] Switching Scala version on:

92[info] examples (3.8.0-RC1)

93[info] mashup (3.8.0-RC1)

94[info] * root (3.8.0-RC1)

95[info] docs (3.8.0-RC1)

96[info] testing (3.8.0-RC1)

97[info] typology (3.8.0-RC1)

98[info] kindvilleJS (3.8.0-RC1)

99[info] lambdaJS (3.8.0-RC1)

100[info] lambdaExamples (3.8.0-RC1)

101[info] stream (3.8.0-RC1)

102[info] mashupExamples (3.8.0-RC1)

103[info] lambdaJVM (3.8.0-RC1)

104[info] core (3.8.0-RC1)

105[info] kindvilleJVM (3.8.0-RC1)

106[info] coreTests (3.8.0-RC1)

107[info] testingScalatest (3.8.0-RC1)

108[info] librettoZio (3.8.0-RC1)

109[info] Excluding projects:

110[info] Reapplying settings...

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

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

113[info] Reapplying settings...

114[info] set current project to root (in build file:/build/repo/)

115[info] Defining Global / credentials, core / credentials and 15 others.

116[info] The new values will be used by Global / pgpSelectPassphrase, Global / pgpSigningKey and 84 others.

117[info] Run `last` for details.

118[info] Reapplying settings...

119[info] set current project to root (in build file:/build/repo/)

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

121[info] Reapplying settings...

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

123

124 Global / allExcludeDependencies from Global / allExcludeDependencies (CommunityBuildPlugin.scala:336)

125 Did you mean typology / allExcludeDependencies ?

126 , retry without global scopes

127[info] Reapplying settings...

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

129Execute removeScalacOptionsStartingWith: -P:wartremover

130[info] Reapplying settings...

131[info] set current project to root (in build file:/build/repo/)

132[success] Total time: 0 s, completed Nov 14, 2025, 9:17:20 PM

133Build config: {"projects":{"exclude":["dev.continuously%libretto"],"overrides":{}},"java":{},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"compile-only","migrationVersions":[],"sourcePatches":[]}

134Parsed config: Success(ProjectBuildConfig(ProjectsConfig(List(dev.continuously%libretto),Map()),CompileOnly,List()))

135Starting build...

136Projects: Set(examples, testing, stream, lambdaJVM, core, testingScalatest, librettoZio)

137Starting build for ProjectRef(file:/build/repo/,testing) (libretto-testing)... [0/7]

138OpenCB::Exclude Scala3 specific scalacOption `REQUIRE:-source:3.8` in Scala 2.12.20 module Global

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

140Compile scalacOptions: -Xkind-projector:underscores, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

141[info] compiling 71 Scala sources to /build/repo/lambda/jvm/target/scala-3.8.0-RC1/classes ...

142[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Bin.scala:359:13

143[warn] 359 | (summon[(a <*> b) =:= X] andThen ev) match

144[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

145[warn] |match may not be exhaustive.

146[warn] |

147[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

148[warn] |

149[warn] | longer explanation available when compiling with `-explain`

150[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Bin.scala:376:13

151[warn] 376 | (summon[T[x] =:= X] andThen ev) match

152[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

153[warn] |match may not be exhaustive.

154[warn] |

155[warn] |It would fail on pattern case: libretto.lambda.util.Injective(_: =:= (anonymous))

156[warn] |

157[warn] | longer explanation available when compiling with `-explain`

158[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/DistributionNAry.scala:39:15

159[warn] 39 | case f: Focus.Fst[pr, f1, b] =>

160[warn] | ^^^^^^^^^^^^^^^^^^^^^^^

161[warn] | Unreachable case

162[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/DistributionNAry.scala:43:15

163[warn] 43 | case f: Focus.Snd[pr, f2, a] =>

164[warn] | ^^^^^^^^^^^^^^^^^^^^^^^

165[warn] | Unreachable case

166[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/DistributionNAry.scala:450:8

167[warn] 450 | d match

168[warn] | ^

169[warn] |match may not be exhaustive.

170[warn] |

171[warn] |It would fail on pattern case: libretto.lambda.DistributionNAry.DistLR.Single(_), libretto.lambda.DistributionNAry.DistLR.Snoc(_, _)

172[warn] |

173[warn] | longer explanation available when compiling with `-explain`

174[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/DistributionNAry.scala:476:8

175[warn] 476 | d match

176[warn] | ^

177[warn] |match may not be exhaustive.

178[warn] |

179[warn] |It would fail on pattern case: libretto.lambda.DistributionNAry.DistRL.Single(_), libretto.lambda.DistributionNAry.DistRL.Snoc(_, _)

180[warn] |

181[warn] | longer explanation available when compiling with `-explain`

182[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Focus.scala:36:10

183[warn] 36 | ev match { case BiInjective[|*|](i.injective(ev1), _) => Tuple1(ev1) }

184[warn] | ^^

185[warn] |match may not be exhaustive.

186[warn] |

187[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

188[warn] |

189[warn] | longer explanation available when compiling with `-explain`

190[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Focus.scala:45:10

191[warn] 45 | ev match { case BiInjective[|*|](_, i.injective(ev1)) => Tuple1(ev1) }

192[warn] | ^^

193[warn] |match may not be exhaustive.

194[warn] |

195[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

196[warn] |

197[warn] | longer explanation available when compiling with `-explain`

198[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Items1Named.scala:173:8

199[warn] 173 | ev match { case BiInjective[||](_, BiInjective[::](_, ev1)) => Some(ev1) }

200[warn] | ^^

201[warn] |match may not be exhaustive.

202[warn] |

203[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

204[warn] |

205[warn] | longer explanation available when compiling with `-explain`

206[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Items1Named.scala:195:8

207[warn] 195 | ev match

208[warn] | ^^

209[warn] |match may not be exhaustive.

210[warn] |

211[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

212[warn] |

213[warn] | longer explanation available when compiling with `-explain`

214[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Items1Named.scala:210:8

215[warn] 210 | ev match { case BiInjective[::](_, ev1) => Some(ev1) }

216[warn] | ^^

217[warn] |match may not be exhaustive.

218[warn] |

219[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

220[warn] |

221[warn] | longer explanation available when compiling with `-explain`

222[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Items1Named.scala:273:8

223[warn] 273 | ev match

224[warn] | ^^

225[warn] |match may not be exhaustive.

226[warn] |

227[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

228[warn] |

229[warn] | longer explanation available when compiling with `-explain`

230[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Items1Named.scala:433:8

231[warn] 433 | ev match { case BiInjective[::](_, TypeEq(Refl())) => value }

232[warn] | ^^

233[warn] |match may not be exhaustive.

234[warn] |

235[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

236[warn] |

237[warn] | longer explanation available when compiling with `-explain`

238[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:41:13

239[warn] 41 | case p: DiscardFst[pair, q1, q2, r] => discardFst[q1, q2] > p.p2

240[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

241[warn] | Unreachable case

242[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:42:13

243[warn] 42 | case p: DiscardSnd[pair, q1, q2, r] => discardSnd[q1, q2] > p.p1

244[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

245[warn] | Unreachable case

246[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:43:13

247[warn] 43 | case p: Fst[pair, q1, r1, q2] => projectFst[q1, q2, r1](p.p1)

248[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^

249[warn] | Unreachable case

250[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:44:13

251[warn] 44 | case p: Snd[pair, q1, q2, r2] => projectSnd[q1, q2, r2](p.p2)

252[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^

253[warn] | Unreachable case

254[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:45:13

255[warn] 45 | case p: Both[pair, q1, q2, r1, r2] => projectFst[q1, q2, r1](p.p1) > p.p2.inSnd

256[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

257[warn] | Unreachable case

258[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:89:10

259[warn] 89 | summon[(p1 |*| p2) =:= (P1 |*| P2)] match

260[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

261[warn] | match may not be exhaustive.

262[warn] |

263[warn] | It would fail on pattern case: _: =:= (anonymous)

264[warn] |

265[warn] | longer explanation available when compiling with `-explain`

266[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:93:10

267[warn] 93 | summon[(p1 |*| p2) =:= (P1 |*| P2)] match

268[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

269[warn] | match may not be exhaustive.

270[warn] |

271[warn] | It would fail on pattern case: _: =:= (anonymous)

272[warn] |

273[warn] | longer explanation available when compiling with `-explain`

274[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:97:10

275[warn] 97 | summon[(p1 |*| p2) =:= (P1 |*| P2)] match

276[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

277[warn] | match may not be exhaustive.

278[warn] |

279[warn] | It would fail on pattern case: _: =:= (anonymous)

280[warn] |

281[warn] | longer explanation available when compiling with `-explain`

282[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:89:41

283[warn] 89 | val ev3: B =:= Unit = ev1.at[Unit] match { case BiInjective[|*|](_, ev) => ev }

284[warn] | ^^^^^^^^^^^^

285[warn] |match may not be exhaustive.

286[warn] |

287[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

288[warn] |

289[warn] | longer explanation available when compiling with `-explain`

290[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:90:41

291[warn] 90 | val ev4: B =:= Nothing = ev1.at[Nothing] match { case BiInjective[|*|](_, ev) => ev }

292[warn] | ^^^^^^^^^^^^^^^

293[warn] |match may not be exhaustive.

294[warn] |

295[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

296[warn] |

297[warn] | longer explanation available when compiling with `-explain`

298[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:96:39

299[warn] 96 | val ev3: B =:= Y = ev1.at[Any] match { case BiInjective[|*|](_, ev) => ev }

300[warn] | ^^^^^^^^^^^

301[warn] |match may not be exhaustive.

302[warn] |

303[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

304[warn] |

305[warn] | longer explanation available when compiling with `-explain`

306[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:106:56

307[warn] 106 | TypeEqK.ext[F, F1]([x] => (_: Unit) => ev.at[x] match { case BiInjective[|*|](ev, _) => ev })

308[warn] | ^^^^^^^^

309[warn] |match may not be exhaustive.

310[warn] |

311[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

312[warn] |

313[warn] | longer explanation available when compiling with `-explain`

314[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:108:17

315[warn] 108 | ev.at[Any] match { case BiInjective[|*|](_, ev) => ev }

316[warn] | ^^^^^^^^^^

317[warn] |match may not be exhaustive.

318[warn] |

319[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

320[warn] |

321[warn] | longer explanation available when compiling with `-explain`

322[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:120:43

323[warn] 120 | val bu: B =:= F2[Unit] = ev.at[Unit] match { case BiInjective[|*|](_, ev) => ev }

324[warn] | ^^^^^^^^^^^

325[warn] |match may not be exhaustive.

326[warn] |

327[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

328[warn] |

329[warn] | longer explanation available when compiling with `-explain`

330[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:121:43

331[warn] 121 | val bn: B =:= F2[Nothing] = ev.at[Nothing] match { case BiInjective[|*|](_, ev) => ev }

332[warn] | ^^^^^^^^^^^^^^

333[warn] |match may not be exhaustive.

334[warn] |

335[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

336[warn] |

337[warn] | longer explanation available when compiling with `-explain`

338[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:142:38

339[warn] 142 | val ax: A =:= X = ev1.at[Any] match { case BiInjective[|*|](ev, _) => ev }

340[warn] | ^^^^^^^^^^^

341[warn] |match may not be exhaustive.

342[warn] |

343[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

344[warn] |

345[warn] | longer explanation available when compiling with `-explain`

346[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:150:41

347[warn] 150 | val ev3: A =:= Nothing = ev1.at[Nothing] match { case BiInjective[|*|](ev, _) => ev }

348[warn] | ^^^^^^^^^^^^^^^

349[warn] |match may not be exhaustive.

350[warn] |

351[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

352[warn] |

353[warn] | longer explanation available when compiling with `-explain`

354[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:151:41

355[warn] 151 | val ev4: A =:= Unit = ev1.at[Unit] match { case BiInjective[|*|](ev, _) => ev }

356[warn] | ^^^^^^^^^^^^

357[warn] |match may not be exhaustive.

358[warn] |

359[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

360[warn] |

361[warn] | longer explanation available when compiling with `-explain`

362[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:161:44

363[warn] 161 | val an: A =:= F1[Nothing] = ev1.at[Nothing] match { case BiInjective[|*|](ev, _) => ev }

364[warn] | ^^^^^^^^^^^^^^^

365[warn] |match may not be exhaustive.

366[warn] |

367[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

368[warn] |

369[warn] | longer explanation available when compiling with `-explain`

370[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:162:44

371[warn] 162 | val au: A =:= F1[Unit] = ev1.at[Unit] match { case BiInjective[|*|](ev, _) => ev }

372[warn] | ^^^^^^^^^^^^

373[warn] |match may not be exhaustive.

374[warn] |

375[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

376[warn] |

377[warn] | longer explanation available when compiling with `-explain`

378[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:171:35

379[warn] 171 | val ev3: A =:= X = ev1.at[Any] match { case BiInjective[|*|](ev, _) => ev }

380[warn] | ^^^^^^^^^^^

381[warn] |match may not be exhaustive.

382[warn] |

383[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

384[warn] |

385[warn] | longer explanation available when compiling with `-explain`

386[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:173:57

387[warn] 173 | TypeEqK.ext[F, F2]([y] => (_: Unit) => ev1.at[y] match { case BiInjective[|*|](_, ev) => ev} )

388[warn] | ^^^^^^^^^

389[warn] |match may not be exhaustive.

390[warn] |

391[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

392[warn] |

393[warn] | longer explanation available when compiling with `-explain`

394[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:90:17

395[warn] 90 | case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

396[warn] | ^

397[warn] |the type test for (p1 |*| p2) =:= (P1 |*| P2) cannot be checked at runtime because its type arguments can't be determined from P =:= (P1 |*| P2)

398[warn] |

399[warn] | longer explanation available when compiling with `-explain`

400[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:94:17

401[warn] 94 | case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

402[warn] | ^

403[warn] |the type test for (p1 |*| p2) =:= (P1 |*| P2) cannot be checked at runtime because its type arguments can't be determined from P =:= (P1 |*| P2)

404[warn] |

405[warn] | longer explanation available when compiling with `-explain`

406[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:98:17

407[warn] 98 | case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

408[warn] | ^

409[warn] |the type test for (p1 |*| p2) =:= (P1 |*| P2) cannot be checked at runtime because its type arguments can't be determined from P =:= (P1 |*| P2)

410[warn] |

411[warn] | longer explanation available when compiling with `-explain`

412[warn] there were 20 deprecation warnings; re-run with -deprecation for details

413[warn] 39 warnings found

414[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/AForest.scala:128:6

415[warn] 128 | ev match { case BiInjective[<*>](ev1, TypeEq(Refl())) =>

416[warn] | ^^

417[warn] |match may not be exhaustive.

418[warn] |

419[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

420[warn] |

421[warn] | longer explanation available when compiling with `-explain`

422[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/AForest.scala:137:6

423[warn] 137 | ev match { case BiInjective[<*>](TypeEq(Refl()), ev2) =>

424[warn] | ^^

425[warn] |match may not be exhaustive.

426[warn] |

427[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

428[warn] |

429[warn] | longer explanation available when compiling with `-explain`

430[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Knit.scala:32:11

431[warn] 32 | case g: Focus.Fst[p, f1, b] =>

432[warn] | ^^^^^^^^^^^^^^^^^^^^^^

433[warn] | Unreachable case

434[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Knit.scala:34:11

435[warn] 34 | case g: Focus.Snd[p, f2, a] =>

436[warn] | ^^^^^^^^^^^^^^^^^^^^^^

437[warn] | Unreachable case

438[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:535:11

439[warn] 535 | case br: Bin.Branch[br, lf, f, b1, b2] =>

440[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

441[warn] | Unreachable case

442[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:757:15

443[warn] 757 | case p: Projection.DiscardFst[pair, b1, b2, c] =>

444[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

445[warn] | Unreachable case

446[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:759:15

447[warn] 759 | case p: Projection.DiscardSnd[pair, b1, b2, c] =>

448[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

449[warn] | Unreachable case

450[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:927:10

451[warn] 927 | ev match {

452[warn] | ^^

453[warn] |match may not be exhaustive.

454[warn] |

455[warn] |It would fail on pattern case: libretto.lambda.util.Injective(_: =:= (anonymous))

456[warn] |

457[warn] | longer explanation available when compiling with `-explain`

458[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1349:19

459[warn] 1349 | case _: Focus.Fst[pair, c11, p] =>

460[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

461[warn] | Unreachable case

462[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1351:19

463[warn] 1351 | case _: Focus.Snd[pair, c12, p] =>

464[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

465[warn] | Unreachable case

466[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1343:11

467[warn] 1343 | (summon[(c1[Var[V]] ** q) =:= C[Var[V]]] andThen ev) match { case BiInjective[**](c1vv_vv @ TypeEq(Refl()), q_vv @ TypeEq(Refl())) =>

468[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

469[warn] |match may not be exhaustive.

470[warn] |

471[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

472[warn] |

473[warn] | longer explanation available when compiling with `-explain`

474[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1361:19

475[warn] 1361 | case _: Focus.Fst[pair, c21, q] =>

476[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

477[warn] | Unreachable case

478[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1363:19

479[warn] 1363 | case _: Focus.Snd[pair, c22, q] =>

480[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

481[warn] | Unreachable case

482[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1355:11

483[warn] 1355 | (summon[(p ** c2[Var[V]]) =:= C[Var[V]]] andThen ev) match { case BiInjective[**](TypeEq(Refl()), c2vv_vv @ TypeEq(Refl())) =>

484[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

485[warn] |match may not be exhaustive.

486[warn] |

487[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

488[warn] |

489[warn] | longer explanation available when compiling with `-explain`

490[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1342:13

491[warn] 1342 | case c: Focus.Fst[pair, c1, q] =>

492[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

493[warn] | Unreachable case

494[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1354:13

495[warn] 1354 | case c: Focus.Snd[pair, c2, p] =>

496[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

497[warn] | Unreachable case

498[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1472:15

499[warn] 1472 | (summon[Var[v] =:= VV] andThen ev) match { case Injective[Var](TypeEq(Refl())) =>

500[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

501[warn] |match may not be exhaustive.

502[warn] |

503[warn] |It would fail on pattern case: libretto.lambda.util.Injective(_: =:= (anonymous))

504[warn] |

505[warn] | longer explanation available when compiling with `-explain`

506[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1486:15

507[warn] 1486 | (summon[(a1 ** a2) =:= A] andThen ev) match { case BiInjective[**](TypeEq(Refl()), TypeEq(Refl())) =>

508[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

509[warn] |match may not be exhaustive.

510[warn] |

511[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

512[warn] |

513[warn] | longer explanation available when compiling with `-explain`

514[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1509:17

515[warn] 1509 | (summon[(a1 ** a2) =:= A] andThen ev) match { case BiInjective[**](TypeEq(Refl()), TypeEq(Refl())) =>

516[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

517[warn] |match may not be exhaustive.

518[warn] |

519[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

520[warn] |

521[warn] | longer explanation available when compiling with `-explain`

522[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1529:17

523[warn] 1529 | (summon[Var[V] =:= f1[Var[V]]] andThen f1v_u) match

524[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

525[warn] |match may not be exhaustive.

526[warn] |

527[warn] |It would fail on pattern case: libretto.lambda.util.Injective(_: =:= (anonymous))

528[warn] |

529[warn] | longer explanation available when compiling with `-explain`

530[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1531:19

531[warn] 1531 | case _: Focus.Fst[pair, g1, t] =>

532[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

533[warn] | Unreachable case

534[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1533:19

535[warn] 1533 | case _: Focus.Snd[pair, g2, s] =>

536[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

537[warn] | Unreachable case

538[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1526:11

539[warn] 1526 | (summon[(f1[Var[V]] ** q) =:= F[Var[V]]] andThen ev) match { case BiInjective[**](f1v_u @ TypeEq(Refl()), TypeEq(Refl())) =>

540[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

541[warn] |match may not be exhaustive.

542[warn] |

543[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

544[warn] |

545[warn] | longer explanation available when compiling with `-explain`

546[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1540:17

547[warn] 1540 | (summon[Var[V] =:= f2[Var[V]]] andThen f2v_u) match

548[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

549[warn] |match may not be exhaustive.

550[warn] |

551[warn] |It would fail on pattern case: libretto.lambda.util.Injective(_: =:= (anonymous))

552[warn] |

553[warn] | longer explanation available when compiling with `-explain`

554[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1542:19

555[warn] 1542 | case _: Focus.Fst[pair, g1, t] =>

556[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

557[warn] | Unreachable case

558[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1544:19

559[warn] 1544 | case _: Focus.Snd[pair, g2, s] =>

560[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

561[warn] | Unreachable case

562[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1537:11

563[warn] 1537 | (summon[(p** f2[Var[V]]) =:= F[Var[V]]] andThen ev) match { case BiInjective[**](TypeEq(Refl()), f2v_u @ TypeEq(Refl())) =>

564[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

565[warn] |match may not be exhaustive.

566[warn] |

567[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

568[warn] |

569[warn] | longer explanation available when compiling with `-explain`

570[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1525:13

571[warn] 1525 | case f: Focus.Fst[pair, f1, q] =>

572[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

573[warn] | Unreachable case

574[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1536:13

575[warn] 1536 | case f: Focus.Snd[pair, f2, p] =>

576[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

577[warn] | Unreachable case

578[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1556:13

579[warn] 1556 | case _: Focus.Fst[pair, f1, y] => varIsNotPair(ev.flip)

580[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

581[warn] | Unreachable case

582[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1557:13

583[warn] 1557 | case _: Focus.Snd[pair, f2, x] => varIsNotPair(ev.flip)

584[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

585[warn] | Unreachable case

586[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/PatternMatching.scala:123:11

587[warn] 123 | case r: AForest.Focused.At[arr, pr, f, t, y, g] =>

588[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

589[warn] | Unreachable case

590[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:228:15

591[warn] 228 | (ev andThen summon[F[T] =:= (f1[T] |*| a2)]) match

592[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

593[warn] |match may not be exhaustive.

594[warn] |

595[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

596[warn] |

597[warn] | longer explanation available when compiling with `-explain`

598[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:232:15

599[warn] 232 | (ev andThen summon[F[T] =:= (a1 |*| f2[T])]) match

600[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

601[warn] |match may not be exhaustive.

602[warn] |

603[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

604[warn] |

605[warn] | longer explanation available when compiling with `-explain`

606[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:227:17

607[warn] 227 | case i: Focus.Fst[pair, f1, a2] =>

608[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

609[warn] | Unreachable case

610[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:231:17

611[warn] 231 | case i: Focus.Snd[pair, f2, a1] =>

612[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

613[warn] | Unreachable case

614[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:474:15

615[warn] 474 | (summon[(g1[X] |*| z) =:= G[X]] andThen ev andThen ev1) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

616[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

617[warn] |match may not be exhaustive.

618[warn] |

619[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

620[warn] |

621[warn] | longer explanation available when compiling with `-explain`

622[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:481:15

623[warn] 481 | (summon[(z |*| g2[X]) =:= G[X]] andThen ev andThen ev1) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

624[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

625[warn] |match may not be exhaustive.

626[warn] |

627[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

628[warn] |

629[warn] | longer explanation available when compiling with `-explain`

630[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:473:17

631[warn] 473 | case g: Focus.Fst[pair, g1, z] =>

632[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

633[warn] | Unreachable case

634[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:480:17

635[warn] 480 | case g: Focus.Snd[pair, g2, z] =>

636[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

637[warn] | Unreachable case

638[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:544:15

639[warn] 544 | (ev1 andThen ev andThen summon[F[X] =:= (f1[X] |*| z)]) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

640[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

641[warn] |match may not be exhaustive.

642[warn] |

643[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

644[warn] |

645[warn] | longer explanation available when compiling with `-explain`

646[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:555:15

647[warn] 555 | (ev1 andThen ev andThen summon[F[X] =:= (z |*| f2[X])]) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

648[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

649[warn] |match may not be exhaustive.

650[warn] |

651[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

652[warn] |

653[warn] | longer explanation available when compiling with `-explain`

654[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:543:17

655[warn] 543 | case f: Focus.Fst[pair, f1, z] =>

656[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

657[warn] | Unreachable case

658[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:554:17

659[warn] 554 | case f: Focus.Snd[pair, f2, z] =>

660[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

661[warn] | Unreachable case

662[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:572:15

663[warn] 572 | (ev1 andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

664[warn] | ^^^^^^^^^^^^^^

665[warn] |match may not be exhaustive.

666[warn] |

667[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

668[warn] |

669[warn] | longer explanation available when compiling with `-explain`

670[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:583:15

671[warn] 583 | (ev1 andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

672[warn] | ^^^^^^^^^^^^^^

673[warn] |match may not be exhaustive.

674[warn] |

675[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

676[warn] |

677[warn] | longer explanation available when compiling with `-explain`

678[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:571:17

679[warn] 571 | case f: Focus.Fst[pair, f1, a2] =>

680[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

681[warn] | Unreachable case

682[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:582:17

683[warn] 582 | case f: Focus.Snd[pair, f2, a1] =>

684[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

685[warn] | Unreachable case

686[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:600:15

687[warn] 600 | (ev1 andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

688[warn] | ^^^^^^^^^^^^^^

689[warn] |match may not be exhaustive.

690[warn] |

691[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

692[warn] |

693[warn] | longer explanation available when compiling with `-explain`

694[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:611:15

695[warn] 611 | (ev1 andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

696[warn] | ^^^^^^^^^^^^^^

697[warn] |match may not be exhaustive.

698[warn] |

699[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

700[warn] |

701[warn] | longer explanation available when compiling with `-explain`

702[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:599:17

703[warn] 599 | case j: Focus.Fst[pair, f1, q] =>

704[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

705[warn] | Unreachable case

706[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:610:17

707[warn] 610 | case j: Focus.Snd[pair, f2, p] =>

708[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

709[warn] | Unreachable case

710[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:628:15

711[warn] 628 | (ev1 andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

712[warn] | ^^^^^^^^^^^^^^

713[warn] |match may not be exhaustive.

714[warn] |

715[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

716[warn] |

717[warn] | longer explanation available when compiling with `-explain`

718[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:639:15

719[warn] 639 | (ev1 andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

720[warn] | ^^^^^^^^^^^^^^

721[warn] |match may not be exhaustive.

722[warn] |

723[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

724[warn] |

725[warn] | longer explanation available when compiling with `-explain`

726[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:627:17

727[warn] 627 | case f: Focus.Fst[pair, f1, a3] =>

728[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

729[warn] | Unreachable case

730[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:638:17

731[warn] 638 | case f: Focus.Snd[pair, f2, a1] =>

732[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

733[warn] | Unreachable case

734[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:656:15

735[warn] 656 | (ev1 andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

736[warn] | ^^^^^^^^^^^^^^

737[warn] |match may not be exhaustive.

738[warn] |

739[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

740[warn] |

741[warn] | longer explanation available when compiling with `-explain`

742[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:667:15

743[warn] 667 | (ev1 andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

744[warn] | ^^^^^^^^^^^^^^

745[warn] |match may not be exhaustive.

746[warn] |

747[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

748[warn] |

749[warn] | longer explanation available when compiling with `-explain`

750[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:655:17

751[warn] 655 | case f: Focus.Fst[pair, f1, a3] =>

752[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

753[warn] | Unreachable case

754[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:666:17

755[warn] 666 | case f: Focus.Snd[pair, f2, a1] =>

756[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

757[warn] | Unreachable case

758[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:684:15

759[warn] 684 | (ev1 andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

760[warn] | ^^^^^^^^^^^^^^

761[warn] |match may not be exhaustive.

762[warn] |

763[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

764[warn] |

765[warn] | longer explanation available when compiling with `-explain`

766[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:695:15

767[warn] 695 | (ev1 andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

768[warn] | ^^^^^^^^^^^^^^

769[warn] |match may not be exhaustive.

770[warn] |

771[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

772[warn] |

773[warn] | longer explanation available when compiling with `-explain`

774[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:683:17

775[warn] 683 | case f: Focus.Fst[pair, f1, a4] =>

776[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

777[warn] | Unreachable case

778[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:694:17

779[warn] 694 | case f: Focus.Snd[pair, f2, a2] =>

780[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

781[warn] | Unreachable case

782[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:830:11

783[warn] 830 | (ev andThen summon[F[T] =:= (f1[T] |*| x2)]) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

784[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

785[warn] |match may not be exhaustive.

786[warn] |

787[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

788[warn] |

789[warn] | longer explanation available when compiling with `-explain`

790[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:847:11

791[warn] 847 | (ev andThen summon[F[T] =:= (x1 |*| f2[T])]) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

792[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

793[warn] |match may not be exhaustive.

794[warn] |

795[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

796[warn] |

797[warn] | longer explanation available when compiling with `-explain`

798[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:829:13

799[warn] 829 | case i: Focus.Fst[pair, f1, x2] =>

800[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

801[warn] | Unreachable case

802[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:846:13

803[warn] 846 | case i: Focus.Snd[pair, f2, x1] =>

804[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

805[warn] | Unreachable case

806[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:870:11

807[warn] 870 | (ev andThen summon[G[T] =:= (g1[T] |*| y2)]) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

808[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

809[warn] |match may not be exhaustive.

810[warn] |

811[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

812[warn] |

813[warn] | longer explanation available when compiling with `-explain`

814[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:887:11

815[warn] 887 | (ev andThen summon[G[T] =:= (y1 |*| g2[T])]) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

816[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

817[warn] |match may not be exhaustive.

818[warn] |

819[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

820[warn] |

821[warn] | longer explanation available when compiling with `-explain`

822[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:869:13

823[warn] 869 | case i: Focus.Fst[pair, g1, y2] =>

824[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

825[warn] | Unreachable case

826[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:886:13

827[warn] 886 | case i: Focus.Snd[pair, g2, y1] =>

828[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

829[warn] | Unreachable case

830[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1227:10

831[warn] 1227 | summon[(f1[T] |*| a2) =:= (A1 |*| A2)] match

832[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

833[warn] |match may not be exhaustive.

834[warn] |

835[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

836[warn] |

837[warn] | longer explanation available when compiling with `-explain`

838[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1231:10

839[warn] 1231 | summon[(a1 |*| f2[T]) =:= (A1 |*| A2)] match

840[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

841[warn] |match may not be exhaustive.

842[warn] |

843[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

844[warn] |

845[warn] | longer explanation available when compiling with `-explain`

846[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1226:13

847[warn] 1226 | case fst: Focus.Fst[p, f1, a2] =>

848[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

849[warn] | Unreachable case

850[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1230:13

851[warn] 1230 | case snd: Focus.Snd[p, f2, a1] =>

852[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

853[warn] | Unreachable case

854[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1241:11

855[warn] 1241 | (ev andThen summon[G[T] =:= (g1[T] |*| b2)]) match

856[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

857[warn] |match may not be exhaustive.

858[warn] |

859[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

860[warn] |

861[warn] | longer explanation available when compiling with `-explain`

862[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1245:11

863[warn] 1245 | (ev andThen summon[G[T] =:= (b1 |*| g2[T])]) match

864[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

865[warn] |match may not be exhaustive.

866[warn] |

867[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

868[warn] |

869[warn] | longer explanation available when compiling with `-explain`

870[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1240:13

871[warn] 1240 | case i: Focus.Fst[pair, g1, b2] =>

872[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

873[warn] | Unreachable case

874[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1244:13

875[warn] 1244 | case i: Focus.Snd[pair, g2, b1] =>

876[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

877[warn] | Unreachable case

878[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1567:13

879[warn] 1567 | (summon[(f1[T] |*| a2) =:= F[T]] andThen ev) match

880[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

881[warn] |match may not be exhaustive.

882[warn] |

883[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

884[warn] |

885[warn] | longer explanation available when compiling with `-explain`

886[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1578:13

887[warn] 1578 | (summon[(a1 |*| f2[T]) =:= F[T]] andThen ev) match

888[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

889[warn] |match may not be exhaustive.

890[warn] |

891[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

892[warn] |

893[warn] | longer explanation available when compiling with `-explain`

894[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1566:15

895[warn] 1566 | case i: Focus.Fst[pair, f1, a2] =>

896[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

897[warn] | Unreachable case

898[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1577:15

899[warn] 1577 | case i: Focus.Snd[pair, f2, a1] =>

900[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

901[warn] | Unreachable case

902[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1631:8

903[warn] 1631 | ev match {

904[warn] | ^^

905[warn] |match may not be exhaustive.

906[warn] |

907[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

908[warn] |

909[warn] | longer explanation available when compiling with `-explain`

910[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1654:8

911[warn] 1654 | ev match {

912[warn] | ^^

913[warn] |match may not be exhaustive.

914[warn] |

915[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

916[warn] |

917[warn] | longer explanation available when compiling with `-explain`

918[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1855:13

919[warn] 1855 | (summon[(f2[T] |*| a3) =:= F[T]] andThen ev) match

920[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

921[warn] |match may not be exhaustive.

922[warn] |

923[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

924[warn] |

925[warn] | longer explanation available when compiling with `-explain`

926[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1861:13

927[warn] 1861 | (summon[(a2 |*| f3[T]) =:= F[T]] andThen ev) match

928[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

929[warn] |match may not be exhaustive.

930[warn] |

931[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

932[warn] |

933[warn] | longer explanation available when compiling with `-explain`

934[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1854:15

935[warn] 1854 | case i: Focus.Fst[pair, f2, a3] =>

936[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

937[warn] | Unreachable case

938[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1860:15

939[warn] 1860 | case i: Focus.Snd[pair, f3, a2] =>

940[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

941[warn] | Unreachable case

942[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1903:8

943[warn] 1903 | ev match {

944[warn] | ^^

945[warn] |match may not be exhaustive.

946[warn] |

947[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

948[warn] |

949[warn] | longer explanation available when compiling with `-explain`

950[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2134:14

951[warn] 2134 | summon[(f1[T] |*| a2) =:= (A1 |*| A2)] match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

952[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

953[warn] |match may not be exhaustive.

954[warn] |

955[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

956[warn] |

957[warn] | longer explanation available when compiling with `-explain`

958[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2140:14

959[warn] 2140 | summon[(a1 |*| f2[T]) =:= (A1 |*| A2)] match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

960[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

961[warn] |match may not be exhaustive.

962[warn] |

963[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

964[warn] |

965[warn] | longer explanation available when compiling with `-explain`

966[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2133:17

967[warn] 2133 | case i: Focus.Fst[pair, f1, a2] =>

968[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

969[warn] | Unreachable case

970[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2139:17

971[warn] 2139 | case i: Focus.Snd[pair, f2, a1] =>

972[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

973[warn] | Unreachable case

974[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2433:13

975[warn] 2433 | (summon[(f1[T] |*| z) =:= F[T]] andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

976[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

977[warn] |match may not be exhaustive.

978[warn] |

979[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

980[warn] |

981[warn] | longer explanation available when compiling with `-explain`

982[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2446:13

983[warn] 2446 | (summon[(z |*| f2[T]) =:= F[T]] andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

984[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

985[warn] |match may not be exhaustive.

986[warn] |

987[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

988[warn] |

989[warn] | longer explanation available when compiling with `-explain`

990[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2432:15

991[warn] 2432 | case i: Focus.Fst[pair, f1, z] =>

992[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

993[warn] | Unreachable case

994[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2445:15

995[warn] 2445 | case i: Focus.Snd[pair, f2, z] =>

996[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

997[warn] | Unreachable case

998[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2492:8

999[warn] 2492 | ev match {

1000[warn] | ^^

1001[warn] |match may not be exhaustive.

1002[warn] |

1003[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1004[warn] |

1005[warn] | longer explanation available when compiling with `-explain`

1006[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2519:8

1007[warn] 2519 | ev match {

1008[warn] | ^^

1009[warn] |match may not be exhaustive.

1010[warn] |

1011[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1012[warn] |

1013[warn] | longer explanation available when compiling with `-explain`

1014[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2545:10

1015[warn] 2545 | ev2 match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

1016[warn] | ^^^

1017[warn] |match may not be exhaustive.

1018[warn] |

1019[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1020[warn] |

1021[warn] | longer explanation available when compiling with `-explain`

1022[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2754:13

1023[warn] 2754 | (summon[(f1[T] |*| a2) =:= F[T]] andThen ev) match

1024[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1025[warn] |match may not be exhaustive.

1026[warn] |

1027[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1028[warn] |

1029[warn] | longer explanation available when compiling with `-explain`

1030[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2760:13

1031[warn] 2760 | (summon[(a1 |*| f2[T]) =:= F[T]] andThen ev) match

1032[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1033[warn] |match may not be exhaustive.

1034[warn] |

1035[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1036[warn] |

1037[warn] | longer explanation available when compiling with `-explain`

1038[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2753:15

1039[warn] 2753 | case i: Focus.Fst[pair, f1, a2] =>

1040[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

1041[warn] | Unreachable case

1042[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2759:15

1043[warn] 2759 | case i: Focus.Snd[pair, f2, a1] =>

1044[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

1045[warn] | Unreachable case

1046[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2774:13

1047[warn] 2774 | (summon[(f1[T] |*| a4) =:= F[T]] andThen ev) match

1048[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1049[warn] |match may not be exhaustive.

1050[warn] |

1051[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1052[warn] |

1053[warn] | longer explanation available when compiling with `-explain`

1054[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2780:13

1055[warn] 2780 | (summon[(a3 |*| f2[T]) =:= F[T]] andThen ev) match

1056[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1057[warn] |match may not be exhaustive.

1058[warn] |

1059[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1060[warn] |

1061[warn] | longer explanation available when compiling with `-explain`

1062[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2773:15

1063[warn] 2773 | case i: Focus.Fst[pair, f1, a4] =>

1064[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

1065[warn] | Unreachable case

1066[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2779:15

1067[warn] 2779 | case i: Focus.Snd[pair, f2, a3] =>

1068[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

1069[warn] | Unreachable case

1070[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2841:8

1071[warn] 2841 | ev match

1072[warn] | ^^

1073[warn] |match may not be exhaustive.

1074[warn] |

1075[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1076[warn] |

1077[warn] | longer explanation available when compiling with `-explain`

1078[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffled.scala:549:15

1079[warn] 549 | (ev andThen summon[F[X] =:= (f1[X] |*| z)]) match

1080[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1081[warn] |match may not be exhaustive.

1082[warn] |

1083[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1084[warn] |

1085[warn] | longer explanation available when compiling with `-explain`

1086[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffled.scala:553:15

1087[warn] 553 | (ev andThen summon[F[X] =:= (z |*| f2[X])]) match

1088[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1089[warn] |match may not be exhaustive.

1090[warn] |

1091[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1092[warn] |

1093[warn] | longer explanation available when compiling with `-explain`

1094[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffled.scala:548:17

1095[warn] 548 | case i: Focus.Fst[pair, f1, z] =>

1096[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

1097[warn] | Unreachable case

1098[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffled.scala:552:17

1099[warn] 552 | case i: Focus.Snd[pair, f2, z] =>

1100[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

1101[warn] | Unreachable case

1102[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffled.scala:569:13

1103[warn] 569 | (ev andThen summon[G[X] =:= (g1[X] |*| b2)]) match

1104[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1105[warn] |match may not be exhaustive.

1106[warn] |

1107[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1108[warn] |

1109[warn] | longer explanation available when compiling with `-explain`

1110[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffled.scala:573:13

1111[warn] 573 | (ev andThen summon[G[X] =:= (b1 |*| g2[X])]) match

1112[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1113[warn] |match may not be exhaustive.

1114[warn] |

1115[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1116[warn] |

1117[warn] | longer explanation available when compiling with `-explain`

1118[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffled.scala:568:15

1119[warn] 568 | case j: Focus.Fst[p, g1, b2] =>

1120[warn] | ^^^^^^^^^^^^^^^^^^^^^^^

1121[warn] | Unreachable case

1122[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffled.scala:572:15

1123[warn] 572 | case j: Focus.Snd[pair, g2, b1] =>

1124[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

1125[warn] | Unreachable case

1126[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/ShuffledModule.scala:206:13

1127[warn] 206 | (summon[(g1[X] ** b2) =:= G[X]] andThen ev andThen ev1) match

1128[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1129[warn] |match may not be exhaustive.

1130[warn] |

1131[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1132[warn] |

1133[warn] | longer explanation available when compiling with `-explain`

1134[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/ShuffledModule.scala:217:13

1135[warn] 217 | (summon[(b1 ** g2[X]) =:= G[X]] andThen ev andThen ev1) match

1136[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1137[warn] |match may not be exhaustive.

1138[warn] |

1139[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1140[warn] |

1141[warn] | longer explanation available when compiling with `-explain`

1142[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/ShuffledModule.scala:205:15

1143[warn] 205 | case g: Focus.Fst[pair, g1, b2] =>

1144[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

1145[warn] | Unreachable case

1146[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/ShuffledModule.scala:216:15

1147[warn] 216 | case g: Focus.Snd[pair, g2, b1] =>

1148[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

1149[warn] | Unreachable case

1150[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1539:59

1151[warn] 1539 | m.unpair(fa12) match { case v @ m.Unpaired.Impl(fa1, fa2) =>

1152[warn] | ^

1153[warn] |the type test for m.Unpaired.Impl[A1, A2, T1$38, T2$38] cannot be checked at runtime because its type arguments can't be determined from m.Unpaired[A1, A2, S12]

1154[warn] |

1155[warn] | longer explanation available when compiling with `-explain`

1156[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1824:59

1157[warn] 1824 | m.unpair(fa23) match { case v @ m.Unpaired.Impl(fa2, fa3) =>

1158[warn] | ^

1159[warn] |the type test for m.Unpaired.Impl[A2, A3, T1$42, T2$42] cannot be checked at runtime because its type arguments can't be determined from m.Unpaired[A2, A3, S23]

1160[warn] |

1161[warn] | longer explanation available when compiling with `-explain`

1162[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2109:15

1163[warn] 2109 | case v @ m.Unpaired.Impl(fa1, fa2) =>

1164[warn] | ^

1165[warn] |the type test for m.Unpaired.Impl[A1, A2, T1$46, T2$46] cannot be checked at runtime because its type arguments can't be determined from m.Unpaired[A1, A2, S12]

1166[warn] |

1167[warn] | longer explanation available when compiling with `-explain`

1168[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2396:15

1169[warn] 2396 | case v @ m.Unpaired.Impl(fa2, fa3) =>

1170[warn] | ^

1171[warn] |the type test for m.Unpaired.Impl[A2, A3, T1$50, T2$50] cannot be checked at runtime because its type arguments can't be determined from m.Unpaired[A2, A3, S23]

1172[warn] |

1173[warn] | longer explanation available when compiling with `-explain`

1174[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffled.scala:1141:23

1175[warn] 1141 | case v @ om.Unpaired.Impl(fp1, fp2) =>

1176[warn] | ^

1177[warn] |the type test for om.Unpaired.Impl[P1, P2, T1$8, T2$8] cannot be checked at runtime because its type arguments can't be determined from om.Unpaired[P1, P2, A$62]

1178[warn] |

1179[warn] | longer explanation available when compiling with `-explain`

1180[warn] there were 20 deprecation warnings; re-run with -deprecation for details

1181[warn] 168 warnings found

1182[info] done compiling

1183[info] compiling 49 Scala sources to /build/repo/core/target/scala-3.8.0-RC1/classes ...

1184[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/core/src/main/scala/libretto/scaletto/impl/futurebased/ExecutionImpl.scala:304:13

1185[warn] 304 | case op: Fun.Par[-⚬, a1, a2, b1, b2] =>

1186[warn] | ^

1187[warn] |the type test for libretto.scaletto.impl.Fun.Par[[A, B] =>> A -⚬ B, a1, a2, b1, b2] @b2 @b1 @a2 @

1188[warn] | a1 cannot be checked at runtime because its type arguments can't be determined from libretto.scaletto.impl.Fun[[A, B] =>> A -⚬ B, A, B]

1189[warn] |

1190[warn] | longer explanation available when compiling with `-explain`

1191[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/core/src/main/scala/libretto/scaletto/impl/futurebased/ExecutionImpl.scala:349:13

1192[warn] 349 | case op: Fun.EitherF[-⚬, a1, a2, b] =>

1193[warn] | ^

1194[warn] |the type test for libretto.scaletto.impl.Fun.EitherF[[A, B] =>> A -⚬ B, a1, a2, b] @b @a2 @a1 cannot be checked at runtime because its type arguments can't be determined from libretto.scaletto.impl.Fun[[A, B] =>> A -⚬ B, A, B]

1195[warn] |

1196[warn] | longer explanation available when compiling with `-explain`

1197[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/core/src/main/scala/libretto/scaletto/impl/futurebased/ExecutionImpl.scala:368:13

1198[warn] 368 | case op: Fun.OneOfHandle[-⚬, cases, b] =>

1199[warn] | ^

1200[warn] |the type test for libretto.scaletto.impl.Fun.OneOfHandle[[A, B] =>> A -⚬ B, cases, b] @b @cases cannot be checked at runtime because its type arguments can't be determined from libretto.scaletto.impl.Fun[[A, B] =>> A -⚬ B, A, B]

1201[warn] |

1202[warn] | longer explanation available when compiling with `-explain`

1203[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/core/src/main/scala/libretto/scaletto/impl/futurebased/ExecutionImpl.scala:388:13

1204[warn] 388 | case op: Fun.Choice[-⚬, x1, x2, y] =>

1205[warn] | ^

1206[warn] |the type test for libretto.scaletto.impl.Fun.Choice[[A, B] =>> A -⚬ B, x1, x2, y] @y @x2 @x1 cannot be checked at runtime because its type arguments can't be determined from libretto.scaletto.impl.Fun[[A, B] =>> A -⚬ B, A, B]

1207[warn] |

1208[warn] | longer explanation available when compiling with `-explain`

1209[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/core/src/main/scala/libretto/scaletto/impl/futurebased/ExecutionImpl.scala:705:13

1210[warn] 705 | case f: Fun.CaptureIntoSub[-⚬, x, a, b] =>

1211[warn] | ^

1212[warn] |the type test for libretto.scaletto.impl.Fun.CaptureIntoSub[[A, B] =>> A -⚬ B, x, a, b] @b @a @x cannot be checked at runtime because its type arguments can't be determined from libretto.scaletto.impl.Fun[[A, B] =>> A -⚬ B, A, B]

1213[warn] |

1214[warn] | longer explanation available when compiling with `-explain`

1215[warn] there were 11 deprecation warnings; re-run with -deprecation for details

1216[warn] 6 warnings found

1217[info] done compiling

1218[info] compiling 15 Scala sources to /build/repo/testing/target/scala-3.8.0-RC1/classes ...

1219[info] done compiling

1220Starting build for ProjectRef(file:/build/repo/,testingScalatest) (libretto-testing-scalatest)... [1/7]

1221Compile scalacOptions: -Xkind-projector:underscores, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

1222[info] compiling 3 Scala sources to /build/repo/testing-scalatest/target/scala-3.8.0-RC1/classes ...

1223[info] done compiling

1224Starting build for ProjectRef(file:/build/repo/,core) (libretto-core)... [2/7]

1225Compile scalacOptions: -Xkind-projector:underscores, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

1226Starting build for ProjectRef(file:/build/repo/,stream) (libretto-stream)... [3/7]

1227Compile scalacOptions: -Xkind-projector:underscores, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

1228[info] compiling 5 Scala sources to /build/repo/stream/target/scala-3.8.0-RC1/classes ...

1229[warn] there were 39 deprecation warnings; re-run with -deprecation for details

1230[warn] one warning found

1231[info] done compiling

1232[info] compiling 1 Scala source to /build/repo/stream/target/scala-3.8.0-RC1/test-classes ...

1233[info] done compiling

1234Starting build for ProjectRef(file:/build/repo/,librettoZio) (libretto-zio)... [4/7]

1235Compile scalacOptions: -Xkind-projector:underscores, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

1236[info] compiling 3 Scala sources to /build/repo/libretto-zio/target/scala-3.8.0-RC1/classes ...

1237[info] done compiling

1238[info] compiling 56 Scala sources to /build/repo/examples/target/scala-3.8.0-RC1/classes ...

1239[info] done compiling

1240[info] compiling 2 Scala sources to /build/repo/libretto-zio/target/scala-3.8.0-RC1/test-classes ...

1241[info] done compiling

1242Starting build for ProjectRef(file:/build/repo/,examples) (libretto-examples)... [5/7]

1243Compile scalacOptions: -Xkind-projector:underscores, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

1244[info] compiling 3 Scala sources to /build/repo/examples/target/scala-3.8.0-RC1/test-classes ...

1245[info] done compiling

1246Starting build for ProjectRef(file:/build/repo/,lambdaJVM) (libretto-lambda)... [6/7]

1247Compile scalacOptions: -Xkind-projector:underscores, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

1248[info] compiling 3 Scala sources to /build/repo/lambda/jvm/target/scala-3.8.0-RC1/test-classes ...

1249[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:268:24

1250[warn] 268 | case AssocLR() => a match { case Pair(Pair(a1, a2), a3) => Pair(a1, Pair(a2, a3)) }

1251[warn] | ^

1252[warn] |match may not be exhaustive.

1253[warn] |

1254[warn] |It would fail on pattern case: Values.SingleVal(_), Values.Pair(Values.SingleVal(_), _)

1255[warn] |

1256[warn] | longer explanation available when compiling with `-explain`

1257[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:269:24

1258[warn] 269 | case AssocRL() => a match { case Pair(a1, Pair(a2, a3)) => Pair(Pair(a1, a2), a3) }

1259[warn] | ^

1260[warn] |match may not be exhaustive.

1261[warn] |

1262[warn] |It would fail on pattern case: Values.SingleVal(_), Values.Pair(_, Values.SingleVal(_))

1263[warn] |

1264[warn] | longer explanation available when compiling with `-explain`

1265[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:270:26

1266[warn] 270 | case Par(f1, f2) => a match { case Pair(a1, a2) => Pair(evaluate(f1)(a1), evaluate(f2)(a2)) }

1267[warn] | ^

1268[warn] | match may not be exhaustive.

1269[warn] |

1270[warn] | It would fail on pattern case: Values.SingleVal(_)

1271[warn] |

1272[warn] | longer explanation available when compiling with `-explain`

1273[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:271:21

1274[warn] 271 | case Swap() => a match { case Pair(a1, a2) => Pair(a2, a1) }

1275[warn] | ^

1276[warn] | match may not be exhaustive.

1277[warn] |

1278[warn] | It would fail on pattern case: Values.SingleVal(_)

1279[warn] |

1280[warn] | longer explanation available when compiling with `-explain`

1281[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:274:21

1282[warn] 274 | case Prj1() => a match { case Pair(a1, _) => a1 }

1283[warn] | ^

1284[warn] | match may not be exhaustive.

1285[warn] |

1286[warn] | It would fail on pattern case: Values.SingleVal(_)

1287[warn] |

1288[warn] | longer explanation available when compiling with `-explain`

1289[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:275:21

1290[warn] 275 | case Prj2() => a match { case Pair(_, a2) => a2 }

1291[warn] | ^

1292[warn] | match may not be exhaustive.

1293[warn] |

1294[warn] | It would fail on pattern case: Values.SingleVal(_)

1295[warn] |

1296[warn] | longer explanation available when compiling with `-explain`

1297[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:277:24

1298[warn] 277 | case MapVal(f) => a match { case SingleVal(a) => SingleVal(f(a)) }

1299[warn] | ^

1300[warn] | match may not be exhaustive.

1301[warn] |

1302[warn] | It would fail on pattern case: Values.Pair(_, _)

1303[warn] |

1304[warn] | longer explanation available when compiling with `-explain`

1305[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:278:25

1306[warn] 278 | case LiftPair() => a match { case SingleVal((a1, a2)) => Pair(SingleVal(a1), SingleVal(a2)) }

1307[warn] | ^

1308[warn] | match may not be exhaustive.

1309[warn] |

1310[warn] | It would fail on pattern case: Values.SingleVal(_), Values.Pair(_, _)

1311[warn] |

1312[warn] | longer explanation available when compiling with `-explain`

1313[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:279:27

1314[warn] 279 | case UnliftPair() => a match { case Pair(SingleVal(a1), SingleVal(a2)) => SingleVal((a1, a2)) }

1315[warn] | ^

1316[warn] |match may not be exhaustive.

1317[warn] |

1318[warn] |It would fail on pattern case: Values.SingleVal(_), Values.Pair(Values.Pair(_, _), _), Values.Pair(_, Values.Pair(_, _))

1319[warn] |

1320[warn] | longer explanation available when compiling with `-explain`

1321[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:265:4

1322[warn] 265 | f match

1323[warn] | ^

1324[warn] |match may not be exhaustive.

1325[warn] |

1326[warn] |It would fail on pattern case: InjectL(), InjectR(), HandleEither(_, _), DistributeL()

1327[warn] |

1328[warn] | longer explanation available when compiling with `-explain`

1329[warn] 10 warnings found

1330[info] done compiling

1331

1332************************

1333Build summary:

1334[{

1335 "module": "libretto-testing",

1336 "compile": {"status": "ok", "tookMs": 90006, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

1338 "test-compile": {"status": "ok", "tookMs": 265, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

1341 "metadata": {

1342 "crossScalaVersions": ["3.7.3"]

1343}

1344},{

1345 "module": "libretto-testing-scalatest",

1346 "compile": {"status": "ok", "tookMs": 1243, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

1348 "test-compile": {"status": "ok", "tookMs": 319, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

1351 "metadata": {

1352 "crossScalaVersions": ["3.7.3"]

1353}

1354},{

1355 "module": "libretto-core",

1356 "compile": {"status": "ok", "tookMs": 151, "warnings": 5, "errors": 0, "sourceVersion": "3.8"},

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

1358 "test-compile": {"status": "ok", "tookMs": 185, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

1361 "metadata": {

1362 "crossScalaVersions": ["3.7.3"]

1363}

1364},{

1365 "module": "libretto-stream",

1366 "compile": {"status": "ok", "tookMs": 4220, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

1368 "test-compile": {"status": "ok", "tookMs": 1262, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

1371 "metadata": {

1372 "crossScalaVersions": ["3.7.3"]

1373}

1374},{

1375 "module": "libretto-zio",

1376 "compile": {"status": "ok", "tookMs": 1145, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

1378 "test-compile": {"status": "ok", "tookMs": 6323, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

1381 "metadata": {

1382 "crossScalaVersions": ["3.7.3"]

1383}

1384},{

1385 "module": "libretto-examples",

1386 "compile": {"status": "ok", "tookMs": 312, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

1388 "test-compile": {"status": "ok", "tookMs": 1029, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

1391 "metadata": {

1392 "crossScalaVersions": ["3.7.3"]

1393}

1394},{

1395 "module": "libretto-lambda",

1396 "compile": {"status": "ok", "tookMs": 67, "warnings": 166, "errors": 0, "sourceVersion": "3.8"},

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

1398 "test-compile": {"status": "ok", "tookMs": 1708, "warnings": 10, "errors": 0, "sourceVersion": "3.8"},

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

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

1401 "metadata": {

1402 "crossScalaVersions": ["3.7.3"]

1403}

1404}]

1405************************

1406[success] Total time: 131 s (0:02:11.0), completed Nov 14, 2025, 9:19:31 PM

1407[0JChecking patch project/plugins.sbt...

1408Checking patch build.sbt...

1409Applied patch project/plugins.sbt cleanly.

1410Applied patch build.sbt cleanly.

Build Logs