From 38b42631d36d37dcb02aa7e2c6bd20ea14646f42 Mon Sep 17 00:00:00 2001
From: Tim Sheard <sheard@pdx.edu>
Date: Thu, 2 May 2024 09:57:55 -0700
Subject: [PATCH] Fixed problems with CI GHC9.82 and GHC9.64

---
 .../Test/Cardano/Ledger/Constrained/Conway/Instances.hs    | 7 +++++--
 .../Test/Cardano/Ledger/Constrained/Trace/TraceMonad.hs    | 1 +
 2 files changed, 6 insertions(+), 2 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
index 2ce514af038..95c816b3eb5 100644
--- 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
@@ -17,6 +17,7 @@
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE UndecidableInstances #-}
+-- {-# LANGUAGE UndecidableSuperClasses #-}
 {-# OPTIONS_GHC -Wno-orphans #-}
 
 -- RecordWildCards cause name shadowing warnings in ghc-8.10.
@@ -289,7 +290,7 @@ deriving via Integer instance Num DeltaCoin
 
 instance HasSimpleRep (GovProcedures era)
 instance
-  ( Era era
+  ( EraPParams era
   , EraPP era
   , IsConwayUniv fn
   , HasSimpleRep (PParamsHKD StrictMaybe era)
@@ -888,6 +889,7 @@ instance HasSimpleRep (GovAction era)
 instance
   ( IsConwayUniv fn
   , EraPP era
+  , EraPParams era
   , HasSimpleRep (PParamsHKD StrictMaybe era)
   , TypeSpec fn (SimpleRep (PParamsHKD StrictMaybe era)) ~ TypeSpec fn (PParamsHKD StrictMaybe era)
   , HasSpec fn (SimpleRep (PParamsHKD StrictMaybe era))
@@ -1007,6 +1009,7 @@ instance HasSimpleRep (ProposalProcedure era)
 instance
   ( IsConwayUniv fn
   , EraPP era
+  , EraPParams era
   , HasSimpleRep (PParamsHKD StrictMaybe era)
   , TypeSpec fn (SimpleRep (PParamsHKD StrictMaybe era)) ~ TypeSpec fn (PParamsHKD StrictMaybe era)
   , HasSpec fn (SimpleRep (PParamsHKD StrictMaybe era))
@@ -1491,7 +1494,7 @@ deltaToCoin (DeltaCoin i) = Coin i
 --   This allow us to use PParamsSubset as the (SimpleRep (PParams era))
 --   Much easier to constrain PParamSubset than (PParams era) with all the THKD stuff.
 class
-  ( EraPParams era
+  ( Era era
   , Eq (PParamsHKD Identity era)
   , Show (PParamsHKD Identity era)
   , Eq (PParamsHKD StrictMaybe era)
diff --git a/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Trace/TraceMonad.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Trace/TraceMonad.hs
index 3f85d573685..3bceff2ae6b 100644
--- a/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Trace/TraceMonad.hs
+++ b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Trace/TraceMonad.hs
@@ -8,6 +8,7 @@
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
+{-# OPTIONS_GHC -Wno-orphans #-}
 
 module Test.Cardano.Ledger.Constrained.Trace.TraceMonad where