{-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} module Test.Cardano.Ledger.Conway.GoldenSpec (spec) where import Paths_cardano_ledger_conway (getDataFileName) import Test.Cardano.Ledger.Common import Test.Cardano.Ledger.Conway.Era (ConwayEraTest) import Test.Cardano.Ledger.Core.JSON (goldenJsonPParamsSpec, goldenJsonPParamsUpdateSpec) spec :: forall era. ConwayEraTest era => Spec spec :: forall era. ConwayEraTest era => Spec spec = String -> Spec -> Spec forall a. HasCallStack => String -> SpecWith a -> SpecWith a describe String "Golden" (Spec -> Spec) -> Spec -> Spec forall a b. (a -> b) -> a -> b $ do IO String -> SpecWith String -> Spec forall a. HasCallStack => IO a -> SpecWith a -> Spec beforeAll (String -> IO String getDataFileName String "golden/pparams.json") (SpecWith String -> Spec) -> SpecWith String -> Spec forall a b. (a -> b) -> a -> b $ forall era. EraPParams era => SpecWith String goldenJsonPParamsSpec @era IO String -> SpecWith String -> Spec forall a. HasCallStack => IO a -> SpecWith a -> Spec beforeAll (String -> IO String getDataFileName String "golden/pparams-update.json") (SpecWith String -> Spec) -> SpecWith String -> Spec forall a b. (a -> b) -> a -> b $ forall era. EraTest era => SpecWith String goldenJsonPParamsUpdateSpec @era