Fixed a part of ArrayUsageCheck to make sure it generates valid arrays

2008-02-07 00:25:30 +00:00 · 2008-02-07 00:25:30 +00:00 · 32959ad3a3
commit 32959ad3a3
parent 96c948bd6e
1 changed files with 1 additions and 1 deletions
--- a/checks/ArrayUsageCheck.hs
+++ b/checks/ArrayUsageCheck.hs
@ -515,7 +515,7 @@ squareAndPair (bkEq, bkIneq) repVars s v lh
      where
        extraIneq :: InequalityProblem
          -- prime >= plain + 1  (prime - plain - 1 >= 0)
-        extraIneq = [simpleArray [(prime,1), (plain,-1), (0, -1)]]
+        extraIneq = [mapToArray $ Map.fromList [(prime,1), (plain,-1), (0, -1)]]

 getSingleAccessItem :: MonadTrans m => String -> ArrayAccess label -> m (Either String) EqualityConstraintEquation
 getSingleAccessItem _ (Group [(_,_,(acc,_,_))]) = lift $ return acc