From c1c26d509ca330c795a96951cf2210955b0e5b65 Mon Sep 17 00:00:00 2001 From: Tim Spence Date: Fri, 3 May 2024 10:13:24 +0100 Subject: [PATCH] Make scala 3 happy part 2 --- .../io/github/timwspence/cats/stm/STMLaws.scala | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/laws/src/test/scala/io/github/timwspence/cats/stm/STMLaws.scala b/laws/src/test/scala/io/github/timwspence/cats/stm/STMLaws.scala index aa056a05..0bf86124 100644 --- a/laws/src/test/scala/io/github/timwspence/cats/stm/STMLaws.scala +++ b/laws/src/test/scala/io/github/timwspence/cats/stm/STMLaws.scala @@ -66,14 +66,14 @@ trait STMTests extends Laws with STMLaws { new DefaultRuleSet( name = "stm", parent = None, - "get then get is get" -> forAll(getThenGet[A] _), - "set then get is set then pure" -> forAll(setThenGet[A] _), - "set then set is set" -> forAll(setThenSet[A] _), - "set then retry is retry" -> forAll(setThenRetry[A] _), - "set then abort is abort" -> forAll(setThenAbort[A] _), - "retry orElse stm is stm" -> forAll(retryOrElse[A] _), - "stm orElse retry is stm" -> forAll(orElseRetry[A] _), - "abort orElse stm is abort" -> forAll(abortOrElse[A] _) + "get then get is get" -> forAll(getThenGet[A](_)), + "set then get is set then pure" -> forAll(setThenGet[A](_, _)), + "set then set is set" -> forAll(setThenSet[A](_, _, _)), + "set then retry is retry" -> forAll(setThenRetry[A](_, _)), + "set then abort is abort" -> forAll(setThenAbort[A](_, _, _)), + "retry orElse stm is stm" -> forAll(retryOrElse[A](_)), + "stm orElse retry is stm" -> forAll(orElseRetry[A](_)), + "abort orElse stm is abort" -> forAll(abortOrElse[A](_, _)) ) }