Make CI happy

- Re-format files
- Remove warning on unused import
- Update hackageNix in flake.lock

Author: jasagredo

docs/website/contents/for-developers/utxo-hd/migrating.md

@@ -92,7 +92,7 @@ $ snapshot-converter Legacy ./ledger/<slotno> LMDB ./ledger/<slotno>_lmdb cardan
 ```
 
 This will create a snapshot with the proper format for UTxO-HD. See [the UTxO-HD
-in depth document](./utxo-hd-in-depth.html#storing-snapshots) for more
+in depth document](./utxo-hd-in-depth#storing-snapshots) for more
 information on the contents of the different files in the snapshot.
 
 If the snapshot does not have the expected structure or the backend for which it

flake.lock

@@ -1,7 +1,6 @@
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE DeriveAnyClass #-}
 {-# LANGUAGE FlexibleContexts #-}
-{-# LANGUAGE NamedFieldPuns #-}
 {-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE TupleSections #-}
@@ -57,13 +56,13 @@ data Format
     deriving (Show, Read)
 
 data Config = Config
-    { from          :: Format
+    { from    :: Format
     -- ^ Which format the input snapshot is in
-    , inpath        :: FilePath
+    , inpath  :: FilePath
     -- ^ Path to the input snapshot
-    , to            :: Format
+    , to      :: Format
     -- ^ Which format the output snapshot must be in
-    , outpath       :: FilePath
+    , outpath :: FilePath
     -- ^ Path to the output snapshot
     }
 

ouroboros-consensus-cardano/app/snapshot-converter.hs

@@ -34,8 +34,8 @@ import           Ouroboros.Consensus.HardFork.History.EpochInfo
 import           Ouroboros.Consensus.HardFork.Simple
 import           Ouroboros.Consensus.HeaderValidation
 import           Ouroboros.Consensus.Ledger.Query
-import           Ouroboros.Consensus.Ledger.SupportsProtocol
 import           Ouroboros.Consensus.Ledger.SupportsMempool (GenTxId)
+import           Ouroboros.Consensus.Ledger.SupportsProtocol
 import           Ouroboros.Consensus.Ledger.Tables (EmptyMK)
 import           Ouroboros.Consensus.Node.Run
 import           Ouroboros.Consensus.Node.Serialisation

ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Node/Serialisation.hs

@@ -5,7 +5,6 @@ module Cardano.Tools.DBAnalyser.Types (module Cardano.Tools.DBAnalyser.Types) wh
 
 import           Data.Word
 import           Ouroboros.Consensus.Block
-import           Ouroboros.Consensus.Util (Flag)
 
 data SelectDB =
     SelectImmutableDB (WithOrigin SlotNo)

ouroboros-consensus-cardano/src/unstable-cardano-tools/Cardano/Tools/DBAnalyser/Types.hs

@@ -196,7 +196,7 @@ instance CanMock proto era=> Arbitrary (ShelleyTip proto era) where
 instance Arbitrary ShelleyTransition where
   arbitrary = ShelleyTransitionInfo <$> arbitrary
 
-instance (Arbitrary (InstantStake era), CanMock proto era) 
+instance (Arbitrary (InstantStake era), CanMock proto era)
       => Arbitrary (LedgerState (ShelleyBlock proto era) EmptyMK) where
   arbitrary = ShelleyLedgerState
     <$> arbitrary

ouroboros-consensus-cardano/src/unstable-shelley-testlib/Test/Consensus/Shelley/Generators.hs

@@ -706,8 +706,8 @@ test-suite storage-test
     Test.Ouroboros.Storage.ImmutableDB.StateMachine
     Test.Ouroboros.Storage.LedgerDB
     Test.Ouroboros.Storage.LedgerDB.Serialisation
-    Test.Ouroboros.Storage.LedgerDB.Snapshots
     Test.Ouroboros.Storage.LedgerDB.SnapshotPolicy
+    Test.Ouroboros.Storage.LedgerDB.Snapshots
     Test.Ouroboros.Storage.LedgerDB.StateMachine
     Test.Ouroboros.Storage.LedgerDB.StateMachine.TestBlock
     Test.Ouroboros.Storage.LedgerDB.V1.BackingStore

ouroboros-consensus/ouroboros-consensus.cabal

@@ -1153,7 +1153,7 @@ extendTables st =
 
 
 injectHardForkTxOutDefault ::
-     SListI xs 
+     SListI xs
   => Index xs x
   -> TxOut (LedgerState x)
   -> DefaultHardForkTxOut xs

ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Ledger.hs

@@ -21,8 +21,8 @@
 
 module Ouroboros.Consensus.HardFork.Combinator.Ledger.Query (
     BlockQuery (..)
-  , HardForkNodeToClientVersion (..)
   , BlockSupportsHFLedgerQuery (..)
+  , HardForkNodeToClientVersion (..)
   , HardForkQueryResult
   , QueryAnytime (..)
   , QueryHardFork (..)

ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Ledger/Query.hs

@@ -48,11 +48,11 @@ import           Codec.Serialise (Serialise)
 import           Codec.Serialise.Class (decode, encode)
 import           Control.Exception (throw)
 import           Data.Kind (Type)
-import Data.Typeable (Typeable)
 import qualified Data.Map.Strict as Map
 import           Data.Maybe (isJust)
 import           Data.Singletons
 import           Data.SOP.BasicFunctors
+import           Data.Typeable (Typeable)
 import           Ouroboros.Consensus.Block.Abstract (CodecConfig)
 import           Ouroboros.Consensus.BlockchainTime (SystemStart)
 import           Ouroboros.Consensus.Config
@@ -187,8 +187,8 @@ class
   -- https://ouroboros-consensus.cardano.intersectmbo.org/docs/for-developers/QueryVersioning/. In
   -- particular this function implements the check described in
   -- https://ouroboros-consensus.cardano.intersectmbo.org/docs/for-developers/QueryVersioning/#checks.
-  blockQueryIsSupportedOnVersion :: 
-      BlockQuery blk fp result 
+  blockQueryIsSupportedOnVersion ::
+       BlockQuery blk fp result
     -> BlockNodeToClientVersion blk
     -> Bool
 

ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Ledger/Query.hs

@@ -453,7 +453,7 @@ data SnapshotPolicy = SnapshotPolicy {
       --        the next snapshot, we delete the oldest one, leaving the middle
       --        one available in case of truncation of the write. This is
       --        probably a sane value in most circumstances.
-      onDiskNumSnapshots            :: Word
+      onDiskNumSnapshots       :: Word
 
       -- | Should we write a snapshot of the ledger state to disk?
       --
@@ -473,13 +473,13 @@ data SnapshotPolicy = SnapshotPolicy {
       --   blocks had to be replayed.
       --
       -- See also 'defaultSnapshotPolicy'
-    , onDiskShouldTakeSnapshot      :: Maybe DiffTime -> Word64 -> Bool
+    , onDiskShouldTakeSnapshot :: Maybe DiffTime -> Word64 -> Bool
     }
   deriving NoThunks via OnlyCheckWhnf SnapshotPolicy
 
 data SnapshotPolicyArgs = SnapshotPolicyArgs {
-    spaInterval   :: !(SnapshotInterval)
-  , spaNum        :: !(NumOfDiskSnapshots)
+    spaInterval :: !SnapshotInterval
+  , spaNum      :: !NumOfDiskSnapshots
   }
 
 defaultSnapshotPolicyArgs :: SnapshotPolicyArgs

ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/Snapshots.hs

@@ -29,8 +29,8 @@ import           Ouroboros.Consensus.Config
 import           Ouroboros.Consensus.Ledger.Abstract
 import           Ouroboros.Consensus.Ledger.SupportsProtocol
 import qualified Ouroboros.Consensus.Ledger.Tables.Diff as Diff
-import           Ouroboros.Consensus.Storage.LedgerDB.Args
 import           Ouroboros.Consensus.Storage.LedgerDB.API
+import           Ouroboros.Consensus.Storage.LedgerDB.Args
 import           Ouroboros.Consensus.Storage.LedgerDB.Forker as Forker
 import           Ouroboros.Consensus.Storage.LedgerDB.V1.BackingStore
 import qualified Ouroboros.Consensus.Storage.LedgerDB.V1.BackingStore.API as BackingStore

ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/V1/Forker.hs

@@ -7,9 +7,9 @@
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE QuantifiedConstraints #-}
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE QuantifiedConstraints #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE UndecidableInstances #-}
@@ -291,7 +291,7 @@ roundtrip_all_skipping
      , ArbitraryWithVersion (BlockNodeToClientVersion blk) (SomeResult blk)
      , Arbitrary (WithVersion (BlockNodeToClientVersion blk) (LedgerConfig blk))
      , ArbitraryWithVersion (QueryVersion, BlockNodeToClientVersion blk) (SomeSecond Query blk)
-     
+
      , Show (BlockNodeToClientVersion blk)
      , BlockSupportsLedgerQuery blk
      )

ouroboros-consensus/src/unstable-consensus-testlib/Test/Util/Serialisation/Roundtrip.hs

@@ -49,7 +49,7 @@ import           Ouroboros.Consensus.Node.ProtocolInfo (NumCoreNodes (..))
 import           Ouroboros.Consensus.Protocol.BFT
 import           Ouroboros.Consensus.Util (safeMaximumOn)
 import           Test.Crypto.Hash ()
-import           Test.QuickCheck 
+import           Test.QuickCheck
 import           Test.Util.Orphans.IOLike ()
 
 type TestBlock = SimpleBftBlock SimpleMockCrypto BftMockCrypto

ouroboros-consensus/test/consensus-test/Test/Consensus/Mempool/Util.hs

@@ -113,7 +113,8 @@ import           Ouroboros.Consensus.Storage.ChainDB.API (AddBlockPromise (..),
                      validBounds)
 import           Ouroboros.Consensus.Storage.ChainDB.Impl.ChainSel (olderThanK)
 import           Ouroboros.Consensus.Storage.Common ()
-import           Ouroboros.Consensus.Storage.LedgerDB.API (LedgerDbCfgF (..), LedgerDbPrune (..))
+import           Ouroboros.Consensus.Storage.LedgerDB.API (LedgerDbCfgF (..),
+                     LedgerDbPrune (..))
 import qualified Ouroboros.Consensus.Storage.LedgerDB.V1.DbChangelog as DbChangelog
 import           Ouroboros.Consensus.Util (repeatedly)
 import qualified Ouroboros.Consensus.Util.AnchoredFragment as Fragment

ouroboros-consensus/test/storage-test/Test/Ouroboros/Storage/ChainDB/Model.hs

@@ -63,7 +63,7 @@ import           Ouroboros.Consensus.Util.IndexedMemPack
 import qualified Ouroboros.Network.AnchoredSeq as AS
 import           Ouroboros.Network.Block (Point (..))
 import qualified Ouroboros.Network.Point as Point
-import           Test.QuickCheck 
+import           Test.QuickCheck
 import           Test.Tasty
 import           Test.Tasty.QuickCheck hiding (elements)
 import           Test.Util.Orphans.Arbitrary ()

ouroboros-consensus/test/storage-test/Test/Ouroboros/Storage/LedgerDB/V1/DbChangelog.hs

@@ -114,7 +114,7 @@ inPairsToTails = go
             ) n'
 
 extendWithTails ::
-     SListI xs 
+     SListI xs
   => Index xs x
   -> Index xs y
   -> Tails (InPairs.Fn2 f) xs