From b1a8f1d30d4980dc730b348d99f5cec78a85fabf Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Thu, 13 Dec 2007 15:32:46 +0000 Subject: [PATCH] Made the arrayise function act on one list at a time, and made it visible for other functions --- transformations/RainUsageCheckTest.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/transformations/RainUsageCheckTest.hs b/transformations/RainUsageCheckTest.hs index 83ed12e..265de62 100644 --- a/transformations/RainUsageCheckTest.hs +++ b/transformations/RainUsageCheckTest.hs @@ -333,10 +333,10 @@ testArrayCheck = TestList where pass :: (Int, [[Integer]], [[Integer]], [[Integer]]) -> Test 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 = map (simpleArray . zip [0..]) +arrayise :: [Integer] -> Array Int Integer +arrayise = simpleArray . zip [0..] tests :: Test