From 3b166490f1309ee7ffaacf956d3dfd6f970146b0 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Wed, 19 Nov 2008 16:04:25 +0000
Subject: [PATCH] Commented out the debugging output in the check framework and
 tests

---
 checks/Check.hs          | 6 +++---
 checks/CheckFramework.hs | 4 ++--
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/checks/Check.hs b/checks/Check.hs
index d8c6b78..aae5d08 100644
--- a/checks/Check.hs
+++ b/checks/Check.hs
@@ -280,12 +280,12 @@ checkUnusedVar = forAnyASTStruct doSpec
   where
     doSpec :: Data a => A.Structured a -> CheckOptM' (A.Structured a) ()
     doSpec (A.Spec _ (A.Specification mspec name _) scope)
-      = do liftIO $ putStrLn $ "Found spec at: " ++ show mspec
+      = do -- liftIO $ putStrLn $ "Found spec at: " ++ show mspec
            mvars <- withChild [1] $ getCachedAnalysis' isScopeIn varsTouchedAfter
            -- liftIO $ putStrLn $ "Vars: " ++ show vars
-           when (isNothing mvars) $ liftIO $ putStrLn $ "No analysis for: " ++ show mspec
+           -- when (isNothing mvars) $ liftIO $ putStrLn $ "No analysis for: " ++ show mspec
            doMaybe $ flip fmap mvars $ \vars -> do
-             liftIO $ putStrLn $ "Analysing: " ++ show mspec
+             -- liftIO $ putStrLn $ "Analysing: " ++ show mspec
              when (not $ (Var $ A.Variable emptyMeta name) `Set.member` vars) $
                do -- TODO have a more general way of not warning about compiler-generated names:
                   when (not $ "_sizes" `isSuffixOf` A.nameName name) $
diff --git a/checks/CheckFramework.hs b/checks/CheckFramework.hs
index f5c6735..0589bca 100644
--- a/checks/CheckFramework.hs
+++ b/checks/CheckFramework.hs
@@ -410,8 +410,8 @@ getCachedAnalysis' f an = do
   r <- askRoute
   -- Find the node that matches our location and the given function:
   case find (\(_,l) -> f (getNodeData l) && (getNodeRouteId l == routeId r)) (labNodes g) of
-    Nothing -> (liftIO $ putStrLn $ "Could not find node for: " ++ show (lastValidMeta
-      d)) >> return Nothing
+    Nothing -> {- (liftIO $ putStrLn $ "Could not find node for: " ++ show (lastValidMeta
+      d)) >> -} return Nothing
     Just (n, _) ->
       case Map.lookup n (getFlowGraphAnalysis an d) of
         Just y -> return (Just y)