dejafu 0.3.2.0 → 0.3.2.1

raw patch · 2 files changed

+9/−7 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Test/DejaFu/STM/Internal.hs +7/−5
• dejafu.cabal +2/−2

@@ -137,7 +137,7 @@     nothing = return ()      stepCatch h stm c = cases TCatch stm c-      (\trace readen -> return (SRetry, nothing, idsource, readen, [], TCatch trace Nothing))+      (\trace -> return (SRetry, nothing, idsource, [], [], TCatch trace Nothing))       (\trace exc    -> case fromException exc of         Just exc' -> transaction (TCatch trace . Just) (h exc') c         Nothing   -> return (SThrow exc, nothing, idsource, [], [], TCatch trace Nothing))@@ -158,7 +158,7 @@       return (c tvar, nothing, idsource', [], [tvid], TNew)      stepOrElse a b c = cases TOrElse a c-      (\trace _   -> transaction (TOrElse trace . Just) b c)+      (\trace   -> transaction (TOrElse trace . Just) b c)       (\trace exc -> return (SThrow exc, nothing, idsource, [], [], TOrElse trace Nothing))      stepLift na = do@@ -169,9 +169,11 @@       (res, undo, idsource', trace) <- doTransaction fixed stm idsource       case res of         Success readen written val -> return (onSuccess val, undo, idsource', readen, written, tact trace Nothing)-        Retry readen  -> onRetry     trace readen+        Retry readen -> do+          (res', undo', idsource'', readen', written', trace') <- onRetry trace+          pure (res', undo', idsource'', readen ++ readen', written', trace')         Exception exc -> onException trace exc      transaction tact stm onSuccess = cases (\t _ -> tact t) stm onSuccess-      (\trace readen -> return (SRetry, nothing, idsource, readen, [], tact trace))-      (\trace exc    -> return (SThrow exc, nothing, idsource, [], [], tact trace))+      (\trace     -> return (SRetry, nothing, idsource, [], [], tact trace))+      (\trace exc -> return (SThrow exc, nothing, idsource, [], [], tact trace))

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                dejafu-version:             0.3.2.0+version:             0.3.2.1 synopsis:            Overloadable primitives for testable, potentially non-deterministic, concurrency.  description:@@ -75,7 +75,7 @@ source-repository this   type:     git   location: https://github.com/barrucadu/dejafu.git-  tag:      dejafu-0.3.2.0+  tag:      dejafu-0.3.2.1  library   exposed-modules:     Control.Monad.Conc.Class