io-sim: expose Timeout type

This should be exposed as part of the `newTimeout` API.

Author: coot

io-sim/CHANGELOG.md

@@ -28,6 +28,7 @@
   a racy `StepId`: `(RacyThreadId [1,2], 2)`, is now pretty printed as `Thread
   {1,2}.2`, a non racy step is printed as `Thread [1,2].2`.
 * Fixed trace of calls to the `deschedule` function.
+* Exposed `Timeout` type as part of the `newTimeout` API.
 
 ## 1.2.0.0
 

io-sim/src/Control/Monad/IOSim.hs

@@ -84,6 +84,7 @@ module Control.Monad.IOSim
   , EventlogEvent (..)
   , EventlogMarker (..)
     -- * Low-level API
+  , Timeout
   , newTimeout
   , readTimeout
   , cancelTimeout

io-sim/test/Test/Control/Monad/IOSimPOR.hs

@@ -7,7 +7,6 @@
 
 {-# OPTIONS_GHC -Wno-unused-top-binds #-}
 {-# OPTIONS_GHC -Wno-incomplete-uni-patterns #-}
-{-# OPTIONS_GHC -Wno-partial-type-signatures #-}
 
 module Test.Control.Monad.IOSimPOR (tests) where
 
@@ -296,7 +295,7 @@ interpret cmp r t (tlbl, Task steps) = async $ do
       AreEqual    -> (==)
       AreNotEqual -> (/=)
     interpretStep :: [ThreadId (IOSim s)]
-                  -> TVar (IOSim s) (Maybe _) -- Timeout is not exported
+                  -> TVar (IOSim s) (Maybe (Timeout s))
                   -> Step
                   -> IOSim s ()
     interpretStep _ _ (WhenSet m n) = atomically $ do