suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Passed the correct meta tags to the die call when unsafe parallel usage is found

Browse Source
This commit is contained in:
Neil Brown 2008-02-11 01:15:25 +00:00
parent c3353d6025
commit 3b9d75d488
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
checks/Check.hs
View File

@ -92,10 +92,10 @@ checkPlainVarUsage (m, p) = check p
checkCREW :: Vars -> [Vars] -> m () checkCREW :: Vars -> [Vars] -> m ()
checkCREW item rest checkCREW item rest
= do when (not $ Set.null writtenTwice) $ = do when (not $ Set.null writtenTwice) $
diePC (findMeta (head $ Set.elems writtenTwice)) $ formatCode diePC m $ formatCode
"The following variables are written-to in at least two places inside a PAR: %" writtenTwice "The following variables are written-to in at least two places inside a PAR: %" writtenTwice
when (not $ Set.null writtenAndRead) $ when (not $ Set.null writtenAndRead) $
diePC (findMeta (head $ Set.elems writtenAndRead)) $ formatCode diePC m $ formatCode
"The following variables are written-to and read-from in separate branches of a PAR: %" writtenAndRead "The following variables are written-to and read-from in separate branches of a PAR: %" writtenAndRead
where where
writtenTwice = filterPlain $ writtenVars item `Set.intersection` writtenVars otherVars writtenTwice = filterPlain $ writtenVars item `Set.intersection` writtenVars otherVars