fix build failure

IntersectMBO · Oct 12, 2021 · d27344e · d27344e
1 parent 92f8ad5
commit d27344e
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/plutus-contract/src/Plutus/Contract/Test/ContractModel.hs b/plutus-contract/src/Plutus/Contract/Test/ContractModel.hs
@@ -1213,13 +1213,13 @@ checkErrorWhitelistWithOptions :: forall m. ContractModel m
                                -> Property
 checkErrorWhitelistWithOptions opts handleSpecs whitelist acts = property $ go check acts
   where
-    check :: Predicate
+    check :: TracePredicate
     check = checkOnchain .&&. (assertNoFailedTransactions .||. checkOffchain)
 
-    checkOnChain :: Predicate
+    checkOnchain :: TracePredicate
     checkOnchain = assertChainEvents checkEvents
 
-    checkOffChain :: Predicate
+    checkOffchain :: TracePredicate
     checkOffchain = assertFailedTransaction (\ _ _ -> all (either checkEvent (const True) . sveResult))
 
     checkEvent :: ScriptError -> Bool
@@ -1231,7 +1231,7 @@ checkErrorWhitelistWithOptions opts handleSpecs whitelist acts = property $ go c
     checkEvents :: [ChainEvent] -> Bool
     checkEvents events = all checkEvent [ f | (TxnValidationFail _ _ _ (ScriptFailure f) _) <- events ]
 
-    go :: Predicate -> Actions m -> Property
+    go :: TracePredicate -> Actions m -> Property
     go check actions = monadic (flip State.evalState mempty) $ finalChecks opts check $ do
                         QC.run $ setHandles $ activateWallets handleSpecs
                         void $ runActionsInState StateModel.initialState (toStateModelActions actions)
diff --git a/plutus-contract/test/Spec/ErrorChecking.hs b/plutus-contract/test/Spec/ErrorChecking.hs
@@ -42,7 +42,7 @@ tests = testGroup "error checking"
   , testProperty "Failure due to head [] not allowed" $ withMaxSuccess 1 $ expectFailure prop_FailHeadNil
   , testProperty "Division by zero not allowed" $ withMaxSuccess 1 $ expectFailure prop_DivZero
   , testProperty "Normal success allowed" $ withMaxSuccess 1 prop_Success
-  , assertBool "defaultWhitelist OK" $ whitelistOk defaultWhitelist ]
+  , testCase "Check defaultWhitelist is ok" $ assertBool "whitelistOk defaultWhitelist" $ whitelistOk defaultWhitelist ]
 
 -- | Normal failures should be allowed
 prop_FailFalse :: Property