Export empty predicate failures.

Needed for orphan instances for cardano-node.
IntersectMBO · Sep 15, 2020 · 7265684 · 7265684
1 parent d758f18
commit 7265684
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 0 deletions.
diff --git a/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Mir.hs b/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Mir.hs
@@ -11,6 +11,7 @@
 module Shelley.Spec.Ledger.STS.Mir
   ( MIR,
     PredicateFailure,
+    MirPredicateFailure,
   )
 where
 

diff --git a/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/PoolReap.hs b/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/PoolReap.hs
@@ -8,6 +8,7 @@ module Shelley.Spec.Ledger.STS.PoolReap
   ( POOLREAP,
     PoolreapState (..),
     PredicateFailure,
+    PoolreapPredicateFailure,
   )
 where
 

diff --git a/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Rupd.hs b/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Rupd.hs
@@ -8,6 +8,7 @@ module Shelley.Spec.Ledger.STS.Rupd
   ( RUPD,
     RupdEnv (..),
     PredicateFailure,
+    RupdPredicateFailure,
   )
 where
 

diff --git a/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Snap.hs b/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Snap.hs
@@ -7,6 +7,7 @@
 module Shelley.Spec.Ledger.STS.Snap
   ( SNAP,
     PredicateFailure,
+    SnapPredicateFailure,
   )
 where
 

diff --git a/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Updn.hs b/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Updn.hs
@@ -12,6 +12,7 @@ module Shelley.Spec.Ledger.STS.Updn
     UpdnEnv (..),
     UpdnState (..),
     PredicateFailure,
+    UpdnPredicateFailure,
   )
 where