Bump cats, add dependency override for cats laws ;/

The `.value` removals are probably due to typelevel/cats#2423
ArturGajowy · Jan 4, 2019 · c185918 · c185918
1 parent 853acc3
commit c185918
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 4 deletions.
diff --git a/casper/src/main/scala/coop/rchain/casper/util/rholang/RuntimeManager.scala b/casper/src/main/scala/coop/rchain/casper/util/rholang/RuntimeManager.scala
@@ -177,7 +177,7 @@ class AbstractRuntimeManager[F[_]: Concurrent: ToAbstractContext] protected (
           case deploy +: rem =>
             for {
               _              <- ToAbstractContext[F].fromTask(runtime.space.reset(hash))
-              availablePhlos = Cost(deploy.raw.map(_.phloLimit).get.value)
+              availablePhlos = Cost(deploy.raw.map(_.phloLimit).get)
               _              <- ToAbstractContext[F].fromTask(runtime.reducer.setAvailablePhlos(availablePhlos))
               (codeHash, phloPrice, userId, timestamp) = ProtoUtil.getRholangDeployParams(
                 deploy.raw.get
@@ -220,7 +220,7 @@ class AbstractRuntimeManager[F[_]: Concurrent: ToAbstractContext] protected (
       Concurrent[F].defer {
         terms match {
           case InternalProcessedDeploy(deploy, _, log, status) +: rem =>
-            val availablePhlos = Cost(deploy.raw.map(_.phloLimit).get.value)
+            val availablePhlos = Cost(deploy.raw.map(_.phloLimit).get)
             for {
               _ <- ToAbstractContext[F].fromTask(
                     runtime.replayReducer.setAvailablePhlos(availablePhlos)

diff --git a/project/Dependencies.scala b/project/Dependencies.scala
@@ -7,7 +7,7 @@ object Dependencies {
   val circeVersion   = "0.10.0"
   val http4sVersion  = "0.19.0"
   val kamonVersion   = "1.1.3"
-  val catsVersion    = "1.4.0"
+  val catsVersion    = "1.5.0"
   val catsMtlVersion = "0.4.0"
 
   // format: off
@@ -77,6 +77,7 @@ object Dependencies {
   val overrides = Seq(
     catsCore,
     catsEffect,
+    catsLawsTest,
     shapeless,
     guava,
     scodecBits,

diff --git a/rholang/src/main/scala/coop/rchain/rholang/interpreter/Reduce.scala b/rholang/src/main/scala/coop/rchain/rholang/interpreter/Reduce.scala
@@ -818,7 +818,7 @@ object Reduce {
                        case (EListBody(lhs), EListBody(rhs)) =>
                          for {
                            _ <- costAccountingAlg.charge(
-                                 listAppendCost(rhs.value.ps.toVector)
+                                 listAppendCost(rhs.ps.toVector)
                                )
                          } yield
                            Expr(