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

Changed the lambda in checkUnusedVar to be an inner function, now that I've removed my code that used to ignore pattern-match failures

Browse Source
This commit is contained in:
Neil Brown 2008-11-13 13:01:22 +00:00
parent 01caa4d9f5
commit 2673ace2d5
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
checks/Check.hs
View File

@ -276,13 +276,15 @@ checkProcCallArgsUsage = mapM_ checkArgs . listify isProcCall
-- TODO make this work on any structured type (provide forAnyASTStruct)
checkUnusedVar :: CheckOptM ()
checkUnusedVar = forAnyAST $ \(A.Spec _ (A.Specification _ name _) scope :: A.Structured
A.Process) -> do
vars <- withChild [1] $ getCachedAnalysis' isScopeIn varsTouchedAfter
liftIO $ putStrLn $ "Vars: " ++ show vars
when (not $ (Var $ A.Variable emptyMeta name) `Set.member` vars) $
substitute scope
checkUnusedVar = forAnyAST doSpec
where
doSpec (A.Spec _ (A.Specification _ name _) scope :: A.Structured A.Process)
= do vars <- withChild [1] $ getCachedAnalysis' isScopeIn varsTouchedAfter
liftIO $ putStrLn $ "Vars: " ++ show vars
when (not $ (Var $ A.Variable emptyMeta name) `Set.member` vars) $
substitute scope
doSpec _ = return ()
isScopeIn :: UsageLabel -> Bool
isScopeIn (Usage _ (Just (ScopeIn {})) _ _) = True
isScopeIn _ = False