Update libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Confor…

…mance/ExecSpecRule/Core.hs

Co-authored-by: Alexey Kuleshevich <[email protected]>

eras/shelley/impl/testlib/Test/Cardano/Ledger/Shelley/ImpTest.hs

@@ -576,7 +576,7 @@ instance
   Testable (ImpTestM era a)
   where
   property m = property . fmap ioProperty . runGenT $ do
-    res <- liftGen $ runImpTestGenM mkImpState m
+    res <- liftGen $ runImpTestGenM def m
     liftIO $ fst <$> res
 
 instance MonadWriter [SomeSTSEvent era] (ImpTestM era) where
@@ -1117,20 +1117,20 @@ logEntry e = impLogL %= (<> pretty loc <> "\t" <> pretty e <> line)
 logToExpr :: (HasCallStack, ToExpr a) => a -> ImpTestM era ()
 logToExpr e = logEntry (showExpr e)
 
-mkImpState :: ShelleyEraImp era => ImpTestState era
-mkImpState =
-  ImpTestState
-    { impNES = initShelleyImpNES
-    , impRootTxIn = TxIn (mkTxId 0) minBound
-    , impKeyPairs = mempty
-    , impByronKeyPairs = mempty
-    , impNativeScripts = mempty
-    , impLastTick = 0
-    , impGlobals = testGlobals
-    , impLog = mempty
-    , impGen = mkQCGen 2024
-    , impEvents = mempty
-    }
+instance ShelleyEraImp era => Default (ImpTestState era) where
+  def =
+    ImpTestState
+      { impNES = initShelleyImpNES
+      , impRootTxIn = TxIn (mkTxId 0) minBound
+      , impKeyPairs = mempty
+      , impByronKeyPairs = mempty
+      , impNativeScripts = mempty
+      , impLastTick = 0
+      , impGlobals = testGlobals
+      , impLog = mempty
+      , impGen = mkQCGen 2024
+      , impEvents = mempty
+      }
 
 withImpState ::
   ShelleyEraImp era =>
@@ -1146,7 +1146,7 @@ withImpStateModified ::
   Spec
 withImpStateModified f =
   beforeAll $
-    execImpTestM Nothing (f mkImpState) $
+    execImpTestM Nothing (f def) $
       addRootTxOut >> initImpTestState
   where
     rootCoin = Coin 1_000_000_000
@@ -1155,7 +1155,7 @@ withImpStateModified f =
       let rootAddr = Addr Testnet (KeyHashObj rootKeyHash) StakeRefNull
           rootTxOut = mkBasicTxOut rootAddr $ inject rootCoin
       impNESL . nesEsL . esLStateL . lsUTxOStateL . utxosUtxoL
-        %= (<> UTxO (Map.singleton (impRootTxIn @era mkImpState) rootTxOut))
+        %= (<> UTxO (Map.singleton (impRootTxIn @era def) rootTxOut))
 
 -- | Creates a fresh @SafeHash@
 freshSafeHash :: Era era => ImpTestM era (SafeHash (EraCrypto era) a)

libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/ExecSpecRule/Core.hs

@@ -276,7 +276,7 @@ generatesWithin gen timeout =
     . forAllShow gen showExpr
     $ \x -> within timeout $ ioProperty (evaluateDeep x $> ())
   where
-    aName = showsTypeRep (typeRep $ Proxy @a) ""
+    aName = show (typeRep $ Proxy @a)
 
 computationResultToEither :: Agda.ComputationResult e a -> Either e a
 computationResultToEither (Agda.Success x) = Right x