barrucadu/dejafu
1
1
Fork 0
mirror of https://github.com/barrucadu/dejafu.git synced 2024-12-18 19:11:37 +03:00
Code Issues Projects Releases Wiki Activity

Remove an inconsistency in exception dependencies

Browse Source
This commit is contained in:
Michael Walker 2017-10-30 19:05:38 +00:00
parent e0719a11ee
commit 03ca3c978e
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
dejafu/Test/DejaFu/SCT/Internal.hs
View File

@ -592,8 +592,8 @@ dependent memtype ds t1 a1 t2 a2 = case (a1, a2) of
-- actually blocked. 'dependent'' has to assume that all
-- potentially-blocking operations can block, and so is more
-- pessimistic in this case.
(ThrowTo t, _) | t == t2 -> canInterrupt ds t2 a2
(_, ThrowTo t) | t == t1 -> canInterrupt ds t1 a1
(ThrowTo t, _) | t == t2 -> canInterrupt ds t2 a2 && a2 /= Stop
(_, ThrowTo t) | t == t1 -> canInterrupt ds t1 a1 && a1 /= Stop
-- Dependency of STM transactions can be /greatly/ improved here, as
-- the 'Lookahead' does not know which @TVar@s will be touched, and