PLT-6070 Implemented arbitrary instances for safety errors.

input-output-hk · Jun 23, 2023 · fefcbfd · fefcbfd
1 parent 6a3aa67
commit fefcbfd
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/marlowe-runtime/test/Language/Marlowe/Runtime/Transaction/SafetySpec.hs b/marlowe-runtime/test/Language/Marlowe/Runtime/Transaction/SafetySpec.hs
@@ -1,3 +1,5 @@
+-- editorconfig-checker-disable-file
+
 {-# LANGUAGE OverloadedStrings #-}
 
 
@@ -289,7 +291,7 @@ spec =
         let
           minAda = maybe 0 toInteger $ minAdaUpperBound protocolTestnet version contract continuations
           overspentOrWarning (TransactionValidationError _ msg) = "The machine terminated part way through evaluation due to overspending the budget." `isInfixOf` msg
-          overspentOrWarning (TransactionWarning _) = True
+          overspentOrWarning (TransactionWarning _ _) = True
           overspentOrWarning _ = False
         actual <- checkTransactions solveConstraints' version marloweContext policy address minAda contract continuations
         case actual of