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

Added the debug printing of the usage checking problems to be solved

Browse Source
This commit is contained in:
Neil Brown 2009-01-15 21:03:04 +00:00
parent e6d9a88e14
commit 9105a95508
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
checks/ArrayUsageCheck.hs
View File

@ -34,6 +34,7 @@ import Errors
import Metadata
import Omega
import OrdAST()
import Pass
import ShowCode
import Types
import UsageCheckUtils
@ -96,7 +97,9 @@ checkArrayUsage (m,p) = mapM_ (checkIndexes m) $ Map.toList $
case makeEquations indexes arrLength of
Left err -> dieP m $ "Could not work with array indexes for array \"" ++ userArrName ++ "\": " ++ err
Right [] -> return () -- No problems to work with
Right problems ->
Right problems -> do
probs <- concatMapM id [formatProblem vm prob | (_,vm,prob) <- problems]
debug probs
case mapMaybe solve problems of
-- No solutions; no worries!
[] -> return ()
@ -104,7 +107,6 @@ checkArrayUsage (m,p) = mapM_ (checkIndexes m) $ Map.toList $
do sol <- formatSolution varMapping (getCounterEqs vm)
cx <- showCode (fst lx)
cy <- showCode (fst ly)
prob <- formatProblem varMapping problem
-- liftIO $ putStrLn $ "Found solution for problem: " ++ prob
-- ++ show p
-- liftIO $ putStrLn $ "Succeeded on problem: " ++ prob