Export ThreadAction' type

2024-12-19 19:41:31 +03:00 · 2015-07-08 20:05:58 +01:00 · 2015-07-08 20:05:58 +01:00 · e92d639537
commit e92d639537
parent 6e01de2e85
3 changed files with 3 additions and 0 deletions
--- a/Test/DejaFu/Deterministic.hs
+++ b/Test/DejaFu/Deterministic.hs
@ -55,6 +55,7 @@ module Test.DejaFu.Deterministic
  , Trace
  , Decision(..)
  , ThreadAction(..)
+  , ThreadAction'(..)
  , CVarId
  , CRefId
  , MaskingState(..)
--- a/Test/DejaFu/Deterministic/IO.hs
+++ b/Test/DejaFu/Deterministic/IO.hs
@ -59,6 +59,7 @@ module Test.DejaFu.Deterministic.IO
  , Trace
  , Decision(..)
  , ThreadAction(..)
+  , ThreadAction'(..)
  , CVarId
  , MaskingState(..)
  , showTrace
--- a/Test/DejaFu/Deterministic/Internal.hs
+++ b/Test/DejaFu/Deterministic/Internal.hs
@ -27,6 +27,7 @@ module Test.DejaFu.Deterministic.Internal
 , Trace
 , Decision(..)
 , ThreadAction(..)
+ , ThreadAction'(..)
 , showTrace

 -- * Failures