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

Include the CTVarIds of created CTVars in STM Success output

Browse Source
This commit is contained in:
Michael Walker 2015-02-10 11:16:36 +00:00
parent f7b7539445
commit d5e4f94a08
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Test/DejaFu/STM.hs
View File

@ -208,8 +208,8 @@ stepTrans fixed act newctvid = case act of
stepNew :: (Ref n r -> CTVarId -> n (STMAction t n r)) -> n (STMAction t n r, n (), CTVarId, [CTVarId], [CTVarId]) stepNew :: (Ref n r -> CTVarId -> n (STMAction t n r)) -> n (STMAction t n r, n (), CTVarId, [CTVarId], [CTVarId])
stepNew na = do stepNew na = do
let newctvid' = I $ unI newctvid + 1 let newctvid' = I $ unI newctvid + 1
a <- na (wref fixed) newctvid' a <- na (wref fixed) newctvid
return (a, nothing, newctvid', [], []) return (a, nothing, newctvid', [], [newctvid])
stepOrElse :: STMLike t n r a -> STMLike t n r a -> (a -> STMAction t n r) -> n (STMAction t n r, n (), CTVarId, [CTVarId], [CTVarId]) stepOrElse :: STMLike t n r a -> STMLike t n r a -> (a -> STMAction t n r) -> n (STMAction t n r, n (), CTVarId, [CTVarId], [CTVarId])
stepOrElse a b c = do stepOrElse a b c = do