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

Made the arrayise function act on one list at a time, and made it visible for other functions

Browse Source
This commit is contained in:
Neil Brown 2007-12-13 15:32:46 +00:00
parent e56d02b727
commit b1a8f1d30d
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
transformations/RainUsageCheckTest.hs
View File

@ -333,10 +333,10 @@ testArrayCheck = TestList
where where
pass :: (Int, [[Integer]], [[Integer]], [[Integer]]) -> Test pass :: (Int, [[Integer]], [[Integer]], [[Integer]]) -> Test
pass (ind, expIneq, inpEq, inpIneq) = TestCase $ assertEqual ("testArrayCheck " ++ show ind) pass (ind, expIneq, inpEq, inpIneq) = TestCase $ assertEqual ("testArrayCheck " ++ show ind)
(Just $ arrayise expIneq) (solveConstraints (arrayise inpEq) (arrayise inpIneq)) (Just $ map arrayise expIneq) (solveConstraints (map arrayise inpEq) (map arrayise inpIneq))
arrayise :: [[Integer]] -> [Array Int Integer] arrayise :: [Integer] -> Array Int Integer
arrayise = map (simpleArray . zip [0..]) arrayise = simpleArray . zip [0..]
tests :: Test tests :: Test