WIP

IntersectMBO · Sep 28, 2021 · 1bdef6b · 1bdef6b
1 parent 2e60923
commit 1bdef6b
Show file tree

Hide file tree

Showing 3 changed files with 77 additions and 78 deletions.
diff --git a/plutus-core/cost-model/create-cost-model/CostModelCreation.hs b/plutus-core/cost-model/create-cost-model/CostModelCreation.hs
@@ -404,8 +404,7 @@ indexByteString cpuModelR = do
 
 equalsByteString :: MonadR m => (SomeSEXP (Region m)) -> m (CostingFun ModelTwoArguments)
 equalsByteString cpuModelR = do
-  cpuModelOnDiagonal <- readModelLinearInX cpuModelR
-  let cpuModel = ModelTwoArgumentsLinearOnDiagonal $ readModelLinearOnDiagonal cpuModel 245000
+  cpuModel <- ModelTwoArgumentsLinearOnDiagonal <$> readModelLinearOnDiagonal cpuModelR 245000
                   -- ### FIXME: the constant above is currently obtained manually from R; automate this
   pure $ CostingFun cpuModel boolMemModel