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

Cleaned up some code in ArrayUsageCheck that is uncommented when bugs appear

Browse Source
This commit is contained in:
Neil Brown 2008-06-05 23:09:01 +00:00
parent c9da4a7eaf
commit ca8c6f14ce
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
checks/ArrayUsageCheck.hs
View File

@ -105,10 +105,11 @@ checkArrayUsage (m,p) = mapM_ (checkIndexes m) $ Map.toList $
cx <- showCode (fst lx)
cy <- showCode (fst ly)
prob <- formatProblem varMapping problem
-- debug $ "Found solution for problem: " ++ prob
-- liftIO $ putStrLn $ "Found solution for problem: " ++ prob
-- ++ show p
-- liftIO $ putStrLn $ "Succeeded on problem: " ++ prob
-- allProbs <- concatMapM (\(_,_,p) -> formatProblem varMapping p >>* (++ "\n#\n")) problems
-- svm <- mapM showFlattenedExp $ Map.keys varMapping
-- svm <- mapM (showFlattenedExp showCode) $ Map.keys varMapping
-- liftIO $ putStrLn $ "All problems: " ++ allProbs ++ "\n" ++ (concat $ intersperse " ; " $ svm)
dieP m $ "Indexes of array \"" ++ userArrName ++ "\" "
++ "(\"" ++ cx ++ "\" and \"" ++ cy ++ "\") could overlap"