From e6d9a88e1494e8896d52976ea5265d000b50dbab Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Thu, 15 Jan 2009 21:00:27 +0000
Subject: [PATCH] Changed the CSM constraint on the various messages to CSMR

---
 pass/Pass.hs | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/pass/Pass.hs b/pass/Pass.hs
index e28bc93..751bc5b 100644
--- a/pass/Pass.hs
+++ b/pass/Pass.hs
@@ -148,26 +148,26 @@ runPasses (p:ps) ast
           runPasses ps ast'
 
 -- | Print a message if above the given verbosity level.
-verboseMessage :: (CSM m, MonadIO m) => Int -> String -> m ()
+verboseMessage :: (CSMR m, MonadIO m) => Int -> String -> m ()
 verboseMessage n s
-    =  do ps <- get
+    =  do ps <- getCompState
           when (csVerboseLevel ps >= n) $
             liftIO $ hPutStrLn stderr s
 
 -- | Print a progress message.
-progress :: (CSM m, MonadIO m) => String -> m ()
+progress :: (CSMR m, MonadIO m) => String -> m ()
 progress = verboseMessage 1
 
 -- | Print a debugging message.
-debug :: (CSM m, MonadIO m) => String -> m ()
+debug :: (CSMR m, MonadIO m) => String -> m ()
 debug = verboseMessage 2
 
 -- | Print a really verbose debugging message.
-veryDebug :: (CSM m, MonadIO m) => String -> m ()
+veryDebug :: (CSMR m, MonadIO m) => String -> m ()
 veryDebug = verboseMessage 3
 
 -- | Dump the AST and parse state.
-debugAST :: (CSM m, MonadIO m, Data t) => t -> m ()
+debugAST :: (CSMR m, MonadIO m, Data t) => t -> m ()
 debugAST p
     =  do veryDebug $ "{{{ AST"
           veryDebug $ pshow p