Fix the definition of receivedD to avoid reliance on (<>)

cardano-foundation · Mar 16, 2023 · 8e55c9e · 8e55c9e
1 parent 7d4f880
commit 8e55c9e
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/lib/primitive/lib/Cardano/Wallet/Primitive/Types/UTxO.hs b/lib/primitive/lib/Cardano/Wallet/Primitive/Types/UTxO.hs
@@ -262,8 +262,10 @@ excludingD u ins = (du, u `excluding` spent)
 
 -- | Receive additional 'UTxO' / union.
 receiveD :: UTxO -> UTxO -> (DeltaUTxO, UTxO)
-receiveD a b = (da, a <> b)
-  where da = DeltaUTxO { excluded = mempty, received = b }
+receiveD a b = (da, a <> new)
+  where
+    new =  b `excluding` dom a
+    da = DeltaUTxO { excluded = mempty, received = new}
 
 --------------------------------------------------------------------------------
 -- Queries