Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update scala3-library, ... to 3.3.4 #243

Merged
merged 2 commits into from
Sep 29, 2024
Merged

Update scala3-library, ... to 3.3.4 #243

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b863b76
Update scala3-library, ... to 3.3.4
typelevel-steward[bot] Sep 27, 2024
541d22c
Ignore warnings in tests
joroKr21 Sep 27, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion build.sbt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
import com.typesafe.tools.mima.core.*

val scala3Version = "3.3.3"
val scala3Version = "3.3.4"

ThisBuild / organization := "org.typelevel"
ThisBuild / tlBaseVersion := "3.4"
Expand Down
18 changes: 11 additions & 7 deletions modules/deriving/src/test/scala/shapeless3/deriving/type-classes.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@

package shapeless3.deriving

import scala.annotation.tailrec
import scala.annotation.{nowarn, tailrec}
import scala.compiletime.*
import cats.Eval
import cats.data.{EitherK, Tuple2K}
Expand Down Expand Up @@ -492,6 +492,7 @@ object Empty:
given emptyGen[A](using inst: K0.ProductInstances[Empty, A]): Empty[A] =
mkEmpty(inst.construct([a] => (A: Empty[a]) => A.empty))

@nowarn("id=E197")
inline given emptyGenC[A](using gen: K0.CoproductGeneric[A]): Empty[A] =
mkEmpty(gen.withOnly[Empty, A]([a <: A] => (A: Empty[a]) => A.empty))

Expand All @@ -516,6 +517,7 @@ object EmptyK:
given emptyKGen[F[_]](using inst: K1.ProductInstances[EmptyK, F]): EmptyK[F] =
mkEmptyK([t] => () => inst.construct([f[_]] => (F: EmptyK[f]) => F.empty[t]))

@nowarn("id=E197")
inline given emptyKGenC[F[_]](using gen: K1.CoproductGeneric[F]): EmptyK[F] =
mkEmptyK[F]([t] => () => gen.withOnly[EmptyK, F[t]]([f[x] <: F[x]] => (F: EmptyK[f]) => F.empty[t]))

Expand Down Expand Up @@ -556,6 +558,7 @@ object Return:
given pureGen[A[_]](using inst: K1.ProductInstances[Alt1.Of[Return, EmptyK], A]): Return[A] = from[A]:
[t] => (a: t) => inst.construct([f[_]] => (af: Alt1.Of[Return, EmptyK][f]) => af.fold[f[t]](_.pure(a))(_.empty[t]))

@nowarn("id=E197")
inline given pureGenC[F[_]](using gen: K1.CoproductGeneric[F]): Return[F] = from[F]:
[t] => (a: t) => gen.withFirst[Return, F[t]]([f[x] <: F[x]] => (F: Return[f]) => F.pure(a))

Expand Down Expand Up @@ -708,16 +711,17 @@ object Transform:
inline def mkRecord[KU, RU <: Tuple, KT, RT <: NonEmptyTuple](rt: RT): RU =
Tuple.fromArray(mkFieldArray[KU, RU, KT, RT](rt)).asInstanceOf

@nowarn("id=E174")
@nowarn("id=E197")
inline given [T, U](using
gent: K0.ProductGeneric[T] { type MirroredElemTypes <: NonEmptyTuple },
genu: K0.ProductGeneric[U] { type MirroredElemTypes <: Tuple }
): Transform[T, U] = new Transform[T, U]:
def apply(t: T): U =
genu.fromRepr(
mkRecord[genu.MirroredElemLabels, genu.MirroredElemTypes, gent.MirroredElemLabels, gent.MirroredElemTypes](
gent.toRepr(t)
)
): Transform[T, U] = t =>
genu.fromRepr(
mkRecord[genu.MirroredElemLabels, genu.MirroredElemTypes, gent.MirroredElemLabels, gent.MirroredElemTypes](
gent.toRepr(t)
)
)

trait Parser[T]:
protected def parse(text: String, accum: Boolean): Either[String, T]
Expand Down