From 3b9d75d4884df6a7564d8763ff5b684eea1af60e Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Mon, 11 Feb 2008 01:15:25 +0000 Subject: [PATCH] Passed the correct meta tags to the die call when unsafe parallel usage is found --- checks/Check.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/checks/Check.hs b/checks/Check.hs index e2792a6..dbffe7d 100644 --- a/checks/Check.hs +++ b/checks/Check.hs @@ -92,10 +92,10 @@ checkPlainVarUsage (m, p) = check p checkCREW :: Vars -> [Vars] -> m () checkCREW item rest = 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 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 where writtenTwice = filterPlain $ writtenVars item `Set.intersection` writtenVars otherVars