Move ToExpr orphan to Orphans.ToExpr

IntersectMBO · May 7, 2024 · 76a4a10 · 76a4a10
1 parent f99051a
commit 76a4a10
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 2 deletions.
diff --git a/ouroboros-consensus-diffusion/test/consensus-test/Test/Consensus/GSM/Model.hs b/ouroboros-consensus-diffusion/test/consensus-test/Test/Consensus/GSM/Model.hs
@@ -29,6 +29,7 @@ import           Test.QuickCheck (choose, elements, shrink)
 import qualified Test.StateMachine as QSM
 import           Test.StateMachine (Concrete, Symbolic)
 import qualified Test.StateMachine.Types.Rank2 as QSM
+import           Test.Util.Orphans.ToExpr ()
 
 ----- the QSM model
 
@@ -590,8 +591,6 @@ instance TD.ToExpr Notable where toExpr = TD.defaultExprViaShow
 
 ----- orphans
 
-instance TD.ToExpr SI.Time where toExpr = TD.defaultExprViaShow
-
 deriving instance Read LedgerStateJudgement
 
 instance QC.Arbitrary LedgerStateJudgement where

diff --git a/ouroboros-consensus/ouroboros-consensus.cabal b/ouroboros-consensus/ouroboros-consensus.cabal
@@ -409,6 +409,7 @@ library unstable-consensus-testlib
     quiet,
     random,
     serialise,
+    si-timers,
     sop-core,
     sop-extras,
     strict-checked-vars,

diff --git a/ouroboros-consensus/src/unstable-consensus-testlib/Test/Util/Orphans/ToExpr.hs b/ouroboros-consensus/src/unstable-consensus-testlib/Test/Util/Orphans/ToExpr.hs
@@ -5,6 +5,7 @@
 
 module Test.Util.Orphans.ToExpr () where
 
+import qualified Control.Monad.Class.MonadTime.SI as SI
 import           Data.TreeDiff
 import           Ouroboros.Consensus.Block
 import           Ouroboros.Consensus.HeaderValidation
@@ -37,3 +38,9 @@ instance ( ToExpr (ChainDepState (BlockProtocol blk))
 
 instance ( ToExpr (TipInfo blk)
          ) => ToExpr (AnnTip blk)
+
+{-------------------------------------------------------------------------------
+  si-timers
+--------------------------------------------------------------------------------}
+
+instance ToExpr SI.Time where toExpr = defaultExprViaShow