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

Corrected a few comments in ArrayUsageCheckTest

Browse Source
This commit is contained in:
Neil Brown 2008-02-11 10:17:27 +00:00
parent e76ab116cb
commit b83acaf7c5
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
checks/ArrayUsageCheckTest.hs
View File

@ -526,10 +526,9 @@ testMakeEquation (problems, exprs, upperBound) =
-- TODO add background knowledge
-- TODO add replicators
-- TODO add modulo and divide
newtype MakeEquationInput = MEI ([(((A.Expression, [ModuloCase]), (A.Expression, [ModuloCase])), VarMap,[HandyEq],[HandyIneq])],ParItems [A.Expression],A.Expression)
-- Show isn't very useful on QuickCheck failure and just spams the screen:
-- Show isn't very useful on QuickCheck failure in this case and just spams the screen:
instance Show MakeEquationInput where
show = const ""
@ -548,7 +547,6 @@ frequency' items = do dist <- lift $ choose (0, (sum $ map fst items) - 1)
type GenEqItems = (A.Expression, [(CoeffIndex, Integer)])
-- Generates a new variable, or multiplied variable pair
-- TODO potentially scale variable
genNewItem :: Bool -> StateT VarMap Gen (GenEqItems, FlattenedExp)
genNewItem specialAllowed
= do (exp, fexp, nextId) <- frequency' $