stylish

IntersectMBO · Apr 30, 2024 · 07b404e · 07b404e
1 parent 3f9a035
commit 07b404e
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 12 deletions.
diff --git a/ouroboros-consensus-diffusion/test/consensus-test/Test/Consensus/PeerSimulator/Trace.hs b/ouroboros-consensus-diffusion/test/consensus-test/Test/Consensus/PeerSimulator/Trace.hs
@@ -31,11 +31,11 @@ import           Ouroboros.Consensus.Genesis.Governor (DensityBounds (..),
 import           Ouroboros.Consensus.MiniProtocol.ChainSync.Client
                      (TraceChainSyncClientEvent (..))
 import           Ouroboros.Consensus.MiniProtocol.ChainSync.Client.Jumping
-                     (Instruction (..), JumpResult (..), JumpInstruction (..))
+                     (Instruction (..), JumpInstruction (..), JumpResult (..))
 import           Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
                      (ChainSyncJumpingJumperState (..),
-                     ChainSyncJumpingState (..), JumpInfo (..),
-                     DynamoInitState (..))
+                     ChainSyncJumpingState (..), DynamoInitState (..),
+                     JumpInfo (..))
 import           Ouroboros.Consensus.Storage.ChainDB.API (LoE (..))
 import qualified Ouroboros.Consensus.Storage.ChainDB.Impl as ChainDB
 import           Ouroboros.Consensus.Storage.ChainDB.Impl.Types
@@ -229,7 +229,7 @@ traceSchedulerEventTestBlockWith setTickTime tracer0 _tracer = \case
       Dynamo initState lastJump ->
         let showInitState = case initState of
               DynamoStarting ji -> terseJumpInfo ji
-              DynamoStarted -> "Nothing"
+              DynamoStarted     -> "Nothing"
          in unwords ["Dynamo", showInitState, terseWithOrigin show lastJump]
       Objector initState goodJumpInfo badPoint -> unwords
           [ "Objector"

diff --git a/...os-consensus/src/ouroboros-consensus/Ouroboros/Consensus/MiniProtocol/ChainSync/Client.hs b/...os-consensus/src/ouroboros-consensus/Ouroboros/Consensus/MiniProtocol/ChainSync/Client.hs
@@ -1231,7 +1231,7 @@ knownIntersectionStateTop cfgEnv dynEnv intEnv =
             (ClientPipelinedStIdle Z)
     offerJump mkPipelineDecision jump = Stateful $ \kis -> do
         let jumpInfo = case jump of
-              Jumping.JumpTo ji -> ji
+              Jumping.JumpTo ji          -> ji
               Jumping.JumpToGoodPoint ji -> ji
             dynamoTipPt = castPoint $ AF.headPoint $ jTheirFragment jumpInfo
         traceWith tracer $ TraceOfferJump dynamoTipPt

diff --git a/...nsus/src/ouroboros-consensus/Ouroboros/Consensus/MiniProtocol/ChainSync/Client/Jumping.hs b/...nsus/src/ouroboros-consensus/Ouroboros/Consensus/MiniProtocol/ChainSync/Client/Jumping.hs
@@ -177,10 +177,8 @@ import           Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
                      (ChainSyncClientHandle (..),
                      ChainSyncJumpingJumperState (..),
                      ChainSyncJumpingState (..), ChainSyncState (..),
-                     JumpInfo (..),
-                     DynamoInitState (..),
-                     ObjectorInitState (..),
-                     DisengagedInitState (..))
+                     DisengagedInitState (..), DynamoInitState (..),
+                     JumpInfo (..), ObjectorInitState (..))
 import           Ouroboros.Consensus.Util.IOLike hiding (handle)
 import qualified Ouroboros.Network.AnchoredFragment as AF
 
@@ -759,7 +757,7 @@ electNewDynamo context = do
     findNonDisengaged =
       findM $ \(_, st) -> not . isDisengaged <$> readTVar (cschJumping st)
     isDisengaged Disengaged{} = True
-    isDisengaged _          = False
+    isDisengaged _            = False
 
 findM :: Monad m => (a -> m Bool) -> [a] -> m (Maybe a)
 findM _ [] = pure Nothing

diff --git a/...sensus/src/ouroboros-consensus/Ouroboros/Consensus/MiniProtocol/ChainSync/Client/State.hs b/...sensus/src/ouroboros-consensus/Ouroboros/Consensus/MiniProtocol/ChainSync/Client/State.hs
@@ -12,10 +12,10 @@ module Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State (
   , ChainSyncJumpingJumperState (..)
   , ChainSyncJumpingState (..)
   , ChainSyncState (..)
-  , JumpInfo (..)
+  , DisengagedInitState (..)
   , DynamoInitState (..)
+  , JumpInfo (..)
   , ObjectorInitState (..)
-  , DisengagedInitState (..)
   ) where
 
 import           Cardano.Slotting.Slot (SlotNo, WithOrigin)