{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}

module Test.Cardano.Ledger.Alonzo.GoldenSpec (spec) where

import Cardano.Ledger.Alonzo
import Paths_cardano_ledger_alonzo (getDataFileName)
import Test.Cardano.Ledger.Common
import Test.Cardano.Ledger.Core.JSON (goldenJsonPParamsSpec)

spec :: Spec
spec :: Spec
spec =
  forall a. HasCallStack => String -> SpecWith a -> SpecWith a
describe String
"Golden" forall a b. (a -> b) -> a -> b
$ do
    forall a. HasCallStack => IO a -> SpecWith a -> Spec
beforeAll (String -> IO String
getDataFileName String
"golden/pparams.json") forall a b. (a -> b) -> a -> b
$
      forall era. EraPParams era => SpecWith String
goldenJsonPParamsSpec @AlonzoEra