Fix spelling withdrawl -> withdrawal

IntersectMBO · Mar 16, 2023 · 015bd91 · 015bd91
1 parent 6cbfdfc
commit 015bd91
Show file tree

Hide file tree

Showing 5 changed files with 10 additions and 10 deletions.
diff --git a/eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Scripts.hs b/eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Scripts.hs
@@ -146,7 +146,7 @@ data Tag
     Mint
   | -- | Validates certificate transactions
     Cert
-  | -- | Validates withdrawl from a reward account
+  | -- | Validates withdrawal from a reward account
     Rewrd
   deriving (Eq, Generic, Ord, Show, Enum, Bounded)
 

diff --git a/eras/alonzo/impl/src/Cardano/Ledger/Alonzo/UTxO.hs b/eras/alonzo/impl/src/Cardano/Ledger/Alonzo/UTxO.hs
@@ -40,7 +40,7 @@ import qualified Data.Set as Set
 import Lens.Micro
 import Lens.Micro.Extras (view)
 
--- | Alonzo era style scritps needed require also a `ScriptPurpose`, not only the `ScriptHash`
+-- | Alonzo era style scripts needed require also a `ScriptPurpose`, not only the `ScriptHash`
 newtype AlonzoScriptsNeeded era
   = AlonzoScriptsNeeded [(ScriptPurpose (EraCrypto era), ScriptHash (EraCrypto era))]
   deriving (Eq, Show)

diff --git a/eras/shelley/impl/src/Cardano/Ledger/Shelley/Rules/Delegs.hs b/eras/shelley/impl/src/Cardano/Ledger/Shelley/Rules/Delegs.hs
@@ -104,7 +104,7 @@ data ShelleyDelegsPredFailure era
   = DelegateeNotRegisteredDELEG
       !(KeyHash 'StakePool (EraCrypto era)) -- target pool which is not registered
   | WithdrawalsNotInRewardsDELEGS
-      !(Map (RewardAcnt (EraCrypto era)) Coin) -- withdrawals that are missing or do not withdrawl the entire amount
+      !(Map (RewardAcnt (EraCrypto era)) Coin) -- withdrawals that are missing or do not withdrawal the entire amount
   | DelplFailure (PredicateFailure (EraRule "DELPL" era)) -- Subtransition Failures
   deriving (Generic)
 

diff --git a/eras/shelley/test-suite/src/Test/Cardano/Ledger/Shelley/BenchmarkFunctions.hs b/eras/shelley/test-suite/src/Test/Cardano/Ledger/Shelley/BenchmarkFunctions.hs
@@ -342,7 +342,7 @@ ledgerDeRegisterStakeKeys x y state =
 -- ===========================================================
 -- Reward Withdrawal example
 
--- Create a transaction body that withdrawls from reward accounts,
+-- Create a transaction body that withdrawals from reward accounts,
 -- corresponding to the keys seeded with (RawSeed x 0 0 0 0) to (RawSeed y 0 0 0 0).
 txbWithdrawals :: Word64 -> Word64 -> ShelleyTxBody B
 txbWithdrawals x y =
@@ -359,7 +359,7 @@ txbWithdrawals x y =
     SNothing
     SNothing
 
--- Create a transaction that withdrawls from a reward accounts.
+-- Create a transaction that withdrawals from a reward accounts.
 -- It spends the genesis coin indexed by 1.
 txWithdrawals :: Word64 -> Word64 -> ShelleyTx B
 txWithdrawals x y =
@@ -369,7 +369,7 @@ txWithdrawals x y =
 
 -- Given a ledger state, presumably created by ledgerStateWithNregisteredKeys n m,
 -- so that keys (RawSeed n 0 0 0 0) through (RawSeed m 0 0 0 0) are already registered,
--- make reward withdrawls for keys (RawSeed x 0 0 0 0) through (RawSeed y 0 0 0 0).
+-- make reward withdrawals for keys (RawSeed x 0 0 0 0) through (RawSeed y 0 0 0 0).
 -- Note that [x, y] must be contained in [n, m].
 ledgerRewardWithdrawals :: Word64 -> Word64 -> LedgerState B -> ()
 ledgerRewardWithdrawals x y state = testLEDGER state (txWithdrawals x y) ledgerEnv

diff --git a/eras/shelley/test-suite/src/Test/Cardano/Ledger/Shelley/Rules/AdaPreservation.hs b/eras/shelley/test-suite/src/Test/Cardano/Ledger/Shelley/Rules/AdaPreservation.hs
@@ -155,7 +155,7 @@ adaPreservationProps =
       , -- well formed deposits
         map nonNegativeDeposits ssts
       , -- non-epoch-boundary preservation properties
-        map checkWithdrawlBound noEpochBoundarySsts
+        map checkWithdrawalBound noEpochBoundarySsts
       , map (utxoDepositsIncreaseByFeesWithdrawals @era @ledger) noEpochBoundarySsts
       , map potsSumIncreaseWithdrawalsPerBlock noEpochBoundarySsts
       , map feesNonDecreasing noEpochBoundarySsts
@@ -298,10 +298,10 @@ checkPreservation (SourceSignalTarget {source, target, signal}, count) =
 
 -- If we are not at an Epoch Boundary (i.e. epoch source == epoch target)
 -- then the total rewards should change only by withdrawals
-checkWithdrawlBound ::
+checkWithdrawalBound ::
   EraGen era => SourceSignalTarget (CHAIN era) -> Property
-checkWithdrawlBound SourceSignalTarget {source, signal, target} =
-  counterexample "checkWithdrawlBound" $
+checkWithdrawalBound SourceSignalTarget {source, signal, target} =
+  counterexample "checkWithdrawalBound" $
     rewardDelta === withdrawals signal
   where
     rewardDelta :: Coin