barrucadu/dejafu
1
1
Fork 0
mirror of https://github.com/barrucadu/dejafu.git synced 2024-11-25 20:13:55 +03:00
Code Issues Projects Releases Wiki Activity

Fix lint failure

Browse Source
This commit is contained in:
Michael Walker 2022-11-26 22:40:08 +00:00
parent 4c33222521
commit 62ea188711
No known key found for this signature in database
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
dejafu-tests/lib/Integration/Regressions.hs
View File

@ -6,6 +6,7 @@ import Test.DejaFu (exceptionsAlways, gives')
import Control.Concurrent.Classy import Control.Concurrent.Classy
import Control.Exception (AsyncException(..)) import Control.Exception (AsyncException(..))
import Control.Monad (void)
import qualified Control.Monad.Catch as E import qualified Control.Monad.Catch as E
import System.Random (mkStdGen) import System.Random (mkStdGen)
@ -45,10 +46,10 @@ tests = toTestList
(\_ -> pure ()) (\_ -> pure ())
, djfu "https://github.com/barrucadu/dejafu/issues/161" (gives' [Just (), Nothing]) $ do , djfu "https://github.com/barrucadu/dejafu/issues/161" (gives' [Just (), Nothing]) $ do
let try a = (a >> pure ()) `E.catch` (\(_ :: E.SomeException) -> pure ()) let try a = void a `E.catch` (\(_ :: E.SomeException) -> pure ())
let act s = uninterruptibleMask_ (putMVar s ()) let act s = uninterruptibleMask_ (putMVar s ())
s <- newEmptyMVar s <- newEmptyMVar
t <- mask $ \restore -> fork (try (restore (act s)) >> pure ()) t <- mask $ \restore -> fork (void (try (restore (act s))))
killThread t killThread t
tryReadMVar s tryReadMVar s