Verify errors of type SelectionOutputTokenQuantityExceedsLimitError.

cardano-foundation · Oct 26, 2021 · a534ad2 · a534ad2
1 parent ad613fa
commit a534ad2
Showing 1 changed file with 11 additions and 5 deletions.
diff --git a/lib/core/src/Cardano/Wallet/Primitive/CoinSelection.hs b/lib/core/src/Cardano/Wallet/Primitive/CoinSelection.hs
@@ -834,13 +834,19 @@ verifySelectionOutputSizeExceedsLimitError cs _ps e
 
     outputReportedAsExceedingLimit = e ^. #outputThatExceedsLimit
 
+newtype FailureToVerifySelectionOutputTokenQuantityExceedsLimitError =
+    FailureToVerifySelectionOutputTokenQuantityExceedsLimitError
+        { reportedError :: SelectionOutputTokenQuantityExceedsLimitError }
+    deriving (Eq, Show)
+
 verifySelectionOutputTokenQuantityExceedsLimitError
     :: VerifySelectionError SelectionOutputTokenQuantityExceedsLimitError
-verifySelectionOutputTokenQuantityExceedsLimitError _cs _ps _e =
-    -- TODO: [ADP-1037]
-    --
-    -- Verify that the indicated output token quantity is above the limit.
-    VerificationSuccess
+verifySelectionOutputTokenQuantityExceedsLimitError _cs _ps e
+    | e ^. #quantity <= e ^. #quantityMaxBound =
+        verificationFailure $
+        FailureToVerifySelectionOutputTokenQuantityExceedsLimitError e
+    | otherwise =
+        VerificationSuccess
 
 --------------------------------------------------------------------------------
 -- Selection deltas