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

Fixed the calculation of the upper bound for replicators that feature in the background knowledge

Browse Source
This commit is contained in:
Neil Brown 2008-02-07 18:02:20 +00:00
parent 0427c00859
commit ecf4ceee35
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
checks/ArrayUsageCheck.hs
View File

@ -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)