Skip to content

Commit

Permalink
Fix incomplete pattern match warning in UTxOIndex.checkInvariant.
Browse files Browse the repository at this point in the history
  • Loading branch information
jonathanknowles committed Mar 16, 2023
1 parent a42ce17 commit 1c667ad
Showing 1 changed file with 1 addition and 4 deletions.
Expand Up @@ -631,7 +631,7 @@ data InvariantStatus
--
checkInvariant :: Ord u => UTxOIndex u -> InvariantStatus
checkInvariant i
| balanceStatus /= BalanceCorrect =
| BalanceIncorrect balanceError <- checkBalance i =
InvariantBalanceError balanceError
| not (indexIsComplete i) =
InvariantIndexIncomplete
Expand All @@ -643,9 +643,6 @@ checkInvariant i
InvariantAssetsInconsistent
| otherwise =
InvariantHolds
where
balanceStatus = checkBalance i
BalanceIncorrect balanceError = balanceStatus

-- | Indicates whether on not the stored 'balance' value is correct.
--
Expand Down

0 comments on commit 1c667ad

Please sign in to comment.