Format pragmas

IntersectMBO · May 8, 2024 · e9eb7a4 · e9eb7a4
1 parent b898aaa
commit e9eb7a4
Show file tree

Hide file tree

Showing 273 changed files with 175 additions and 713 deletions.
diff --git a/cabal.project b/cabal.project
@@ -36,3 +36,11 @@ import: ./asserts.cabal
 if(os(windows))
   constraints:
     bitvec -simd
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/ouroboros-network
+  tag: 431bb599940d2947b2cb99d3ae29b7f2c4cdd36d
+  subdir:
+    ouroboros-network-api
+    ouroboros-network-protocols
diff --git a/ouroboros-consensus-cardano/app/DBSynthesizer/Parsers.hs b/ouroboros-consensus-cardano/app/DBSynthesizer/Parsers.hs
@@ -1,4 +1,3 @@
-
 module DBSynthesizer.Parsers (parseCommandLine) where
 
 import           Cardano.Tools.DBSynthesizer.Types

diff --git a/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Crypto/DSIGN.hs b/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Crypto/DSIGN.hs
@@ -1,16 +1,13 @@
 {-# LANGUAGE ConstraintKinds       #-}
 {-# LANGUAGE DataKinds             #-}
 {-# LANGUAGE DeriveGeneric         #-}
-
 {-# LANGUAGE DerivingVia           #-}
 {-# LANGUAGE FlexibleContexts      #-}
 {-# LANGUAGE FlexibleInstances     #-}
-
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE ScopedTypeVariables   #-}
 {-# LANGUAGE TypeApplications      #-}
 {-# LANGUAGE TypeFamilies          #-}
-
 {-# LANGUAGE UndecidableInstances  #-}
 
 -- | Byron digital signatures.

diff --git a/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Block.hs b/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Block.hs
@@ -4,7 +4,6 @@
 {-# LANGUAGE FlexibleInstances          #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE LambdaCase                 #-}
-
 {-# LANGUAGE RecordWildCards            #-}
 {-# LANGUAGE TypeApplications           #-}
 {-# LANGUAGE TypeFamilies               #-}

diff --git a/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Config.hs b/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Config.hs
@@ -1,7 +1,6 @@
 {-# LANGUAGE DeriveAnyClass    #-}
 {-# LANGUAGE DeriveGeneric     #-}
 {-# LANGUAGE FlexibleInstances #-}
-
 {-# LANGUAGE TypeFamilies      #-}
 
 {-# OPTIONS_GHC -Wno-orphans #-}

diff --git a/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Forge.hs b/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Forge.hs
@@ -1,9 +1,6 @@
 {-# LANGUAGE FlexibleContexts    #-}
-
 {-# LANGUAGE NamedFieldPuns      #-}
-
 {-# LANGUAGE ScopedTypeVariables #-}
-
 {-# LANGUAGE TypeFamilies        #-}
 
 {-# OPTIONS_GHC -Wno-orphans #-}

diff --git a/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Inspect.hs b/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Inspect.hs
@@ -1,5 +1,4 @@
 {-# LANGUAGE MultiWayIf   #-}
-
 {-# LANGUAGE TypeFamilies #-}
 
 {-# OPTIONS_GHC -Wno-orphans #-}

diff --git a/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Integrity.hs b/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Integrity.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NamedFieldPuns #-}
+
 module Ouroboros.Consensus.Byron.Ledger.Integrity (
     verifyBlockIntegrity
   , verifyHeaderIntegrity

diff --git a/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Mempool.hs b/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Mempool.hs
@@ -4,12 +4,8 @@
 {-# LANGUAGE DerivingVia       #-}
 {-# LANGUAGE FlexibleContexts  #-}
 {-# LANGUAGE FlexibleInstances #-}
-
 {-# LANGUAGE LambdaCase        #-}
-
 {-# LANGUAGE OverloadedStrings #-}
-
-
 {-# LANGUAGE TypeFamilies      #-}
 
 {-# OPTIONS_GHC -Wno-orphans #-}

diff --git a/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Orphans.hs b/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Orphans.hs
@@ -5,6 +5,7 @@
 {-# LANGUAGE StandaloneDeriving #-}
 
 {-# OPTIONS_GHC -Wno-orphans #-}
+
 module Ouroboros.Consensus.Byron.Ledger.Orphans () where
 
 import qualified Cardano.Chain.Block as CC

diff --git a/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/PBFT.hs b/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/PBFT.hs
@@ -1,10 +1,10 @@
 {-# LANGUAGE FlexibleInstances     #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE RecordWildCards       #-}
-
 {-# LANGUAGE TypeFamilies          #-}
 
 {-# OPTIONS_GHC -Wno-orphans #-}
+
 -- | Instances required to support PBFT
 module Ouroboros.Consensus.Byron.Ledger.PBFT (
     decodeByronChainDepState

diff --git a/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Serialisation.hs b/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Serialisation.hs
@@ -1,5 +1,3 @@
-
-
 {-# LANGUAGE FlexibleInstances     #-}
 {-# LANGUAGE GADTs                 #-}
 {-# LANGUAGE LambdaCase            #-}

diff --git a/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Node.hs b/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Node.hs
@@ -3,7 +3,6 @@
 {-# LANGUAGE NamedFieldPuns        #-}
 {-# LANGUAGE ScopedTypeVariables   #-}
 {-# LANGUAGE StandaloneDeriving    #-}
-
 {-# LANGUAGE TypeFamilies          #-}
 {-# LANGUAGE UndecidableInstances  #-}
 

diff --git a/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Protocol.hs b/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Protocol.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE TypeFamilies          #-}
+
 module Ouroboros.Consensus.Byron.Protocol (
     PBftByronCrypto
   , genesisKeyCoreNodeId

diff --git a/...os-consensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano/Block.hs b/...os-consensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano/Block.hs
@@ -5,6 +5,7 @@
 {-# LANGUAGE StandaloneKindSignatures #-}
 {-# LANGUAGE TypeOperators            #-}
 {-# LANGUAGE ViewPatterns             #-}
+
 module Ouroboros.Consensus.Cardano.Block (
     -- * Eras
     CardanoEras

diff --git a/...consensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano/ByronHFC.hs b/...consensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano/ByronHFC.hs
@@ -1,7 +1,9 @@
 {-# LANGUAGE DataKinds         #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE TypeApplications  #-}
+
 {-# OPTIONS_GHC -Wno-orphans #-}
+
 module Ouroboros.Consensus.Cardano.ByronHFC (ByronBlockHFC) where
 
 import qualified Data.Map.Strict as Map

diff --git a/...sensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano/CanHardFork.hs b/...sensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano/CanHardFork.hs
@@ -13,7 +13,9 @@
 {-# LANGUAGE TypeFamilies          #-}
 {-# LANGUAGE TypeOperators         #-}
 {-# LANGUAGE UndecidableInstances  #-}
+
 {-# OPTIONS_GHC -Wno-orphans #-}
+
 module Ouroboros.Consensus.Cardano.CanHardFork (
     ByronPartialLedgerConfig (..)
   , CardanoHardForkConstraints

diff --git a/...consensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano/Condense.hs b/...consensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano/Condense.hs
@@ -1,7 +1,9 @@
 {-# LANGUAGE FlexibleContexts  #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE TypeFamilies      #-}
+
 {-# OPTIONS_GHC -Wno-orphans #-}
+
 module Ouroboros.Consensus.Cardano.Condense () where
 
 import           Ouroboros.Consensus.Byron.Ledger

diff --git a/...ros-consensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano/Node.hs b/...ros-consensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano/Node.hs
@@ -9,25 +9,26 @@
 {-# LANGUAGE PatternSynonyms         #-}
 {-# LANGUAGE RankNTypes              #-}
 {-# LANGUAGE ScopedTypeVariables     #-}
-
 {-# LANGUAGE TypeApplications        #-}
 {-# LANGUAGE TypeFamilies            #-}
 {-# LANGUAGE TypeOperators           #-}
 {-# LANGUAGE UndecidableSuperClasses #-}
+
 {-# OPTIONS_GHC -Wno-orphans #-}
 
 -- Disable completeness checks on GHC versions pre-9.6, where this can be
 -- exceptionally slow:
-
+#if __GLASGOW_HASKELL__ <= 906
 {-# OPTIONS_GHC -Wno-incomplete-patterns
                 -Wno-incomplete-uni-patterns
                 -Wno-incomplete-record-updates
                 -Wno-overlapping-patterns #-}
-
+#endif
 
 -- TODO: this is required for ghc-8.10.7, because using NamedFieldPuns and
 -- PatternSynonyms with record syntax results in warnings related to shadowing.
 -- This can be removed once we drop ghc-8.10.7.
+
 {-# OPTIONS_GHC -Wno-name-shadowing #-}
 
 module Ouroboros.Consensus.Cardano.Node (
@@ -684,138 +685,6 @@ protocolInfoCardano paramsCardano
       where
         protVers :: Exactly (CardanoShelleyEras StandardCrypto) ProtVer
         protVers = Exactly $
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-          -- ensure that these have the same order as 'CardanoShelleyEras'!
-
           -- ensure that these have the same order as 'CardanoShelleyEras'!
           K protVerShelley :*
           K protVerAllegra :*

diff --git a/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Eras.hs b/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Eras.hs
@@ -1,12 +1,10 @@
 {-# LANGUAGE AllowAmbiguousTypes     #-}
 {-# LANGUAGE DataKinds               #-}
-
 {-# LANGUAGE FlexibleContexts        #-}
 {-# LANGUAGE FlexibleInstances       #-}
 {-# LANGUAGE GADTs                   #-}
 {-# LANGUAGE LambdaCase              #-}
 {-# LANGUAGE MultiParamTypeClasses   #-}
-
 {-# LANGUAGE ScopedTypeVariables     #-}
 {-# LANGUAGE TypeApplications        #-}
 {-# LANGUAGE TypeFamilies            #-}

diff --git a/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/HFEras.hs b/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/HFEras.hs
@@ -1,6 +1,7 @@
 {-# LANGUAGE FlexibleInstances     #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE UndecidableInstances  #-}
+
 {-# OPTIONS_GHC -Wno-orphans #-}
 
 -- | Hard fork eras.

diff --git a/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Block.hs b/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Block.hs
@@ -6,14 +6,14 @@
 {-# LANGUAGE GADTs                      #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE MultiParamTypeClasses      #-}
-
 {-# LANGUAGE ScopedTypeVariables        #-}
 {-# LANGUAGE StandaloneDeriving         #-}
 {-# LANGUAGE TypeApplications           #-}
 {-# LANGUAGE TypeFamilyDependencies     #-}
 {-# LANGUAGE TypeOperators              #-}
 {-# LANGUAGE UndecidableInstances       #-}
 {-# LANGUAGE UndecidableSuperClasses    #-}
+
 module Ouroboros.Consensus.Shelley.Ledger.Block (
     GetHeader (..)
   , Header (..)

diff --git a/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Config.hs b/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Config.hs
@@ -6,7 +6,9 @@
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE StandaloneDeriving         #-}
 {-# LANGUAGE TypeFamilies               #-}
+
 {-# OPTIONS_GHC -Wno-orphans #-}
+
 module Ouroboros.Consensus.Shelley.Ledger.Config (
     BlockConfig (..)
   , CodecConfig (..)

diff --git a/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Inspect.hs b/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Inspect.hs
@@ -2,11 +2,11 @@
 {-# LANGUAGE FlexibleContexts     #-}
 {-# LANGUAGE ScopedTypeVariables  #-}
 {-# LANGUAGE StandaloneDeriving   #-}
-
 {-# LANGUAGE TypeFamilies         #-}
 {-# LANGUAGE UndecidableInstances #-}
 
 {-# OPTIONS_GHC -Wno-orphans #-}
+
 module Ouroboros.Consensus.Shelley.Ledger.Inspect (
     ProtocolUpdate (..)
   , ShelleyLedgerUpdate (..)