Override field is mandatory

Author: j-mueller

src/lib/Wst/Server.hs

@@ -224,7 +224,7 @@ transferProgrammableTokenEndpoint TransferProgrammableTokenArgs{ttaSender, ttaRe
   dirEnv <- asks Env.directoryEnv
   logic <- Env.transferLogicForDirectory (paymentKeyHashFromAddress ttaIssuer)
   assetId <- Env.programmableTokenAssetId dirEnv <$> Env.transferLogicForDirectory (paymentKeyHashFromAddress ttaIssuer) <*> pure ttaAssetName
-  let policy = maybe DontSubmitFailingTx (\k -> if k then SubmitFailingTx else DontSubmitFailingTx) ttaSubmitFailingTx
+  let policy = if ttaSubmitFailingTx then SubmitFailingTx else DontSubmitFailingTx
   Env.withEnv $ Env.withOperator operatorEnv $ Env.withDirectory dirEnv $ Env.withTransfer logic $ do
     TextEnvelopeJSON <$> Endpoints.transferSmartTokensTx policy assetId ttaQuantity (paymentCredentialFromAddress ttaRecipient)
 

src/lib/Wst/Server/Types.hs

@@ -136,7 +136,7 @@ data TransferProgrammableTokenArgs =
     , ttaIssuer    :: C.Address C.ShelleyAddr
     , ttaAssetName :: AssetName
     , ttaQuantity  :: Quantity
-    , ttaSubmitFailingTx :: Maybe Bool
+    , ttaSubmitFailingTx :: Bool
     }
     deriving stock (Eq, Show, Generic)