WIP ThreadNet: address code style

Author: geo2a

ouroboros-consensus-cardano/src/unstable-cardano-testlib/Test/ThreadNet/Infra/ShelleyBasedHardFork.hs

@@ -8,7 +8,6 @@
 {-# LANGUAGE InstanceSigs #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
-{-# LANGUAGE NamedFieldPuns #-}
 {-# LANGUAGE PatternSynonyms #-}
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE ScopedTypeVariables #-}
@@ -237,19 +236,19 @@ instance
 
   hardForkEraTranslation =
     EraTranslation
-      { translateLedgerState = PCons translateLedgerState PNil
-      , translateLedgerTables = PCons translateLedgerTables PNil
+      { translateLedgerState = PCons translateLedgerStateInstance PNil
+      , translateLedgerTables = PCons translateLedgerTablesInstance PNil
       , translateChainDepState = PCons translateChainDepStateAcrossShelley PNil
       , crossEraForecast = PCons crossEraForecastAcrossShelley PNil
       }
    where
-    translateLedgerState ::
+    translateLedgerStateInstance ::
       InPairs.RequiringBoth
         WrapLedgerConfig
         TranslateLedgerState
         (ShelleyBlock proto1 era1)
         (ShelleyBlock proto2 era2)
-    translateLedgerState =
+    translateLedgerStateInstance =
       InPairs.RequireBoth $
         \_cfg1 cfg2 ->
           HFC.TranslateLedgerState
@@ -263,11 +262,11 @@ instance
                   . Flip
             }
 
-    translateLedgerTables ::
+    translateLedgerTablesInstance ::
       TranslateLedgerTables
         (ShelleyBlock proto1 era1)
         (ShelleyBlock proto2 era2)
-    translateLedgerTables =
+    translateLedgerTablesInstance =
       HFC.TranslateLedgerTables
         { translateTxInWith = coerce
         , translateTxOutWith = SL.upgradeTxOut
@@ -459,9 +458,9 @@ protocolInfoShelleyBasedHardFork
     toPartialLedgerConfig1 ::
       LedgerConfig (ShelleyBlock proto1 era1) ->
       PartialLedgerConfig (ShelleyBlock proto1 era1)
-    toPartialLedgerConfig1 cfg =
+    toPartialLedgerConfig1 cfg1 =
       ShelleyPartialLedgerConfig
-        { shelleyLedgerConfig = cfg
+        { shelleyLedgerConfig = cfg1
         , shelleyTriggerHardFork = hardForkTrigger
         }
 
@@ -482,9 +481,9 @@ protocolInfoShelleyBasedHardFork
     toPartialLedgerConfig2 ::
       LedgerConfig (ShelleyBlock proto2 era2) ->
       PartialLedgerConfig (ShelleyBlock proto2 era2)
-    toPartialLedgerConfig2 cfg =
+    toPartialLedgerConfig2 cfg2 =
       ShelleyPartialLedgerConfig
-        { shelleyLedgerConfig = cfg
+        { shelleyLedgerConfig = cfg2
         , shelleyTriggerHardFork = TriggerHardForkNotDuringThisExecution
         }
 

ouroboros-consensus-cardano/src/unstable-shelley-testlib/Test/ThreadNet/Infra/Shelley.hs

@@ -109,7 +109,7 @@ import Ouroboros.Consensus.Protocol.Praos.Common
   , praosCanBeLeaderSignKeyVRF
   )
 import Ouroboros.Consensus.Protocol.TPraos
-import Ouroboros.Consensus.Shelley.Eras (AlonzoEra, BabbageEra, ConwayEra, MaryEra, ShelleyEra)
+import Ouroboros.Consensus.Shelley.Eras (ConwayEra, ShelleyEra)
 import Ouroboros.Consensus.Shelley.Ledger
   ( GenTx (..)
   , ShelleyBasedEra