Corrected a small omission in the cases for testing array indices (if there are no problems to work with)

2008-01-16 03:29:13 +00:00 · 2008-01-16 03:29:13 +00:00 · 1c0434cc47
commit 1c0434cc47
parent b3216c4870
1 changed files with 1 additions and 0 deletions
--- a/transformations/ArrayUsageCheck.hs
+++ b/transformations/ArrayUsageCheck.hs
@ -57,6 +57,7 @@ checkArrayUsage tree = (mapM_ checkPar $ listify (const True) tree) >> return tr
      = -- liftIO (putStr $ "Checking: " ++ show (arrName, indexes)) >> 
        case makeEquations indexes (makeConstant emptyMeta 1000000) of
          Left err -> die $ "Could not work with array indexes for array \"" ++ arrName ++ "\": " ++ err
+          Right [] -> return () -- No problems to work with
          Right problems ->
            case mapM (\(vm,p) -> seqPair (return vm,uncurry solveProblem p)) problems of
              -- No solutions; no worries!