Apply suggestions from code review

Co-authored-by: Joosep Jääger <[email protected]>
IntersectMBO · Sep 24, 2024 · b5250be · b5250be
1 parent 34586a5
commit b5250be
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 10 deletions.
diff --git a/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/Instances.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/Instances.hs
@@ -1194,15 +1194,6 @@ instance
         , forAll (snd_ forest) $ genHint (Just 2, limit)
         ]
 
-{-
-type UsesPParamsHKD era fn =
-  ( EraPP era,
-    TypeSpec fn (SimpleRep (PParamsHKD StrictMaybe era))
-       ~ TypeSpec fn (PParamsHKD StrictMaybe era),
-    HasSimpleRep (PParamsHKD StrictMaybe era),
-    HasSpec fn (SimpleRep(PParamsHKD StrictMaybe era)) )
--}
-
 instance Era era => HasSimpleRep (EnactSignal era)
 instance (IsConwayUniv fn, EraPP Conway) => HasSpec fn (EnactSignal Conway)
 

diff --git a/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/LedgerTypes/Tests.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/LedgerTypes/Tests.hs
@@ -146,7 +146,7 @@ utxoStateGen =
 
 spec :: Spec
 spec = do
-  describe "Soundnes of WellFormed types from the Cardano Ledger: " $ do
+  describe "Soundness of WellFormed types from the Cardano Ledger: " $ do
     soundSpecWith @(ProtVer, ProtVer) 100 (pure protVersCanfollow)
     soundSpecWith @(InstantaneousRewards StandardCrypto)
       20