mirror of
https://github.com/barrucadu/dejafu.git
synced 2024-12-18 19:11:37 +03:00
Fix a => typo (why did that ever compile and run!?)
This commit is contained in:
parent
392a8c54c6
commit
ad98bb6d90
@ -131,7 +131,7 @@ class ( Monad m, MonadCatch m, MonadThrow m, MonadMask m
|
||||
-- | Throw an exception to the target thread. This blocks until the
|
||||
-- exception is delivered, and it is just as if the target thread
|
||||
-- had raised it with 'throw'. This can interrupt a blocked action.
|
||||
throwTo :: Exception e => ThreadId m => e -> m ()
|
||||
throwTo :: Exception e => ThreadId m -> e -> m ()
|
||||
|
||||
-- | Executes a computation with asynchronous exceptions
|
||||
-- /masked/. That is, any thread which attempts to raise an
|
||||
@ -223,5 +223,5 @@ forkFinally action and_then =
|
||||
-- | Raise the 'ThreadKilled' exception in the target thread. Note
|
||||
-- that if the thread is prepared to catch this exception, it won't
|
||||
-- actually kill it.
|
||||
killThread :: MonadConc m => ThreadId m => m ()
|
||||
killThread :: MonadConc m => ThreadId m -> m ()
|
||||
killThread tid = throwTo tid ThreadKilled
|
||||
|
@ -174,7 +174,7 @@ throwTo tid e = C $ cont $ \c -> AThrowTo tid (SomeException e) $ c ()
|
||||
-- | Raise the 'ThreadKilled' exception in the target thread. Note
|
||||
-- that if the thread is prepared to catch this exception, it won't
|
||||
-- actually kill it.
|
||||
killThread :: ThreadId => Conc t ()
|
||||
killThread :: ThreadId -> Conc t ()
|
||||
killThread = C.killThread
|
||||
|
||||
-- | Catch an exception raised by 'throw'. This __cannot__ catch
|
||||
|
@ -179,7 +179,7 @@ throwTo tid e = C $ cont $ \c -> AThrowTo tid (SomeException e) $ c ()
|
||||
-- | Raise the 'ThreadKilled' exception in the target thread. Note
|
||||
-- that if the thread is prepared to catch this exception, it won't
|
||||
-- actually kill it.
|
||||
killThread :: ThreadId => ConcIO t ()
|
||||
killThread :: ThreadId -> ConcIO t ()
|
||||
killThread = C.killThread
|
||||
|
||||
-- | Catch an exception raised by 'throw'. This __cannot__ catch
|
||||
|
Loading…
Reference in New Issue
Block a user