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

Fixed a problem with the usage checking when one half had BK and the other half had none

Browse Source
This commit is contained in:
Neil Brown 2009-04-18 21:26:57 +00:00
parent b3fdb6e2df
commit 7b41f44788
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
checks/ArrayUsageCheck.hs
View File

@ -776,7 +776,8 @@ squareAndPair lookupBK strip repVars s v lh
s,
squareEquations (nub (bkEqA ++ bkEqB) ++ eq,
nub (bkIneqA ++ bkIneqB) ++ ineq ++ concat (applyAll (eq,ineq) (map addExtra repVars))))
bk = case liftM2 (curry product2) (lookupBK (fst labels)) (lookupBK (snd labels)) of
bk = case liftM2 (curry product2) (liftM atLeastOne $ lookupBK (fst labels))
(liftM atLeastOne $ lookupBK (snd labels)) of
Right [] -> Right [(([],[]),([],[]))] -- No BK
xs -> xs
in bk >>* map f
@ -784,6 +785,10 @@ squareAndPair lookupBK strip repVars s v lh
,and (map (primeImpliesPlain (eq,ineq)) repVars)
]
where
atLeastOne :: [(EqualityProblem, InequalityProblem)] -> [(EqualityProblem, InequalityProblem)]
atLeastOne [] = [([], [])]
atLeastOne xs = xs
itemPresent :: CoeffIndex -> [Array CoeffIndex Integer] -> Bool
itemPresent x = any (\a -> arrayLookupWithDefault 0 a x /= 0)