From ecf4ceee35245a04be62cd4306390cafae5da4b7 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Thu, 7 Feb 2008 18:02:20 +0000 Subject: [PATCH] Fixed the calculation of the upper bound for replicators that feature in the background knowledge --- checks/ArrayUsageCheck.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/checks/ArrayUsageCheck.hs b/checks/ArrayUsageCheck.hs index c5772a5..c00412b 100644 --- a/checks/ArrayUsageCheck.hs +++ b/checks/ArrayUsageCheck.hs @@ -75,7 +75,7 @@ checkArrayUsage (m,p) = mapM_ (checkIndexes m) $ Map.toList $ -- Turns a replicator into background knowledge about that replicator -- TODO we need to subtract one off (from + for) makeRepBounds :: A.Replicator -> [BackgroundKnowledge] - makeRepBounds (A.For m n from for) = [LessThanOrEqual from ev, LessThanOrEqual ev $ A.Dyadic m A.Add from for] + makeRepBounds (A.For m n from for) = [LessThanOrEqual from ev, LessThanOrEqual ev $ A.Dyadic m A.Subtr (A.Dyadic m A.Add from for) (makeConstant m 1)] where ev = A.ExprVariable m (A.Variable m n)