Skip to content

Commit 2ed2122

Browse files
committed
Updates from review
1 parent dee549f commit 2ed2122

File tree

2 files changed

+2
-4
lines changed

2 files changed

+2
-4
lines changed

build.sbt

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
import sbtcrossproject.CrossPlugin.autoImport.{crossProject, CrossType}
2-
31
val dottyVersion = "3.0.0"
42

53
ThisBuild / organization := "org.typelevel"

modules/deriving/src/test/scala/shapeless3/deriving/type-classes.scala

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -263,7 +263,7 @@ object Foldable {
263263
def foldRight[A, B](fa: F[A])(lb: Eval[B])(f: (A, Eval[B]) => Eval[B]): Eval[B] =
264264
inst.foldRight[A, Eval[B]](fa)(lb)(
265265
[t[_]] => (fd: Foldable[t], t0: t[A], acc: Eval[B]) =>
266-
Continue(acc.flatMap(acc0 => fd.foldRight(t0)(Eval.now(acc0))(f)))
266+
Continue(Eval.defer(fd.foldRight(t0)(acc)(f)))
267267
)
268268

269269
given foldableCoproduct[F[_]](using inst: => K1.CoproductInstances[Foldable, F]): Foldable[F] with
@@ -274,7 +274,7 @@ object Foldable {
274274

275275
def foldRight[A, B](fa: F[A])(lb: Eval[B])(f: (A, Eval[B]) => Eval[B]): Eval[B] =
276276
inst.fold[A, Eval[B]](fa)(
277-
[t[_]] => (fd: Foldable[t], t0: t[A]) => lb.flatMap(lb0 => fd.foldRight(t0)(Eval.now(lb0))(f))
277+
[t[_]] => (fd: Foldable[t], t0: t[A]) => Eval.defer(fd.foldRight(t0)(lb)(f))
278278
)
279279

280280
inline def derived[F[_]](using gen: K1.Generic[F]): Foldable[F] =

0 commit comments

Comments
 (0)