Fix all warnings in testing/
authorMichal Terepeta <michal.terepeta@gmail.com>
Sun, 7 Jun 2015 18:01:24 +0000 (20:01 +0200)
committerMichal Terepeta <michal.terepeta@gmail.com>
Sun, 7 Jun 2015 18:01:24 +0000 (20:01 +0200)
testing/Ast.hs
testing/Eval.hs
testing/EvalMonad.hs
testing/Ir2ast.hs
testing/Test.hs

index e7333d2..0f27727 100644 (file)
@@ -51,8 +51,8 @@ instance Show Control where
   show (Branch lbl)       = ind $ "goto " ++ lbl
   show (Cond e t f)       =
     ind $ "if " ++ show e ++ " then goto " ++ t ++ " else goto " ++ f
-  show (Call ress f cargs succ) =
-    ind $ tuple ress ++ " = " ++ f ++ tuple (map show cargs) ++ " goto " ++ succ
+  show (Call ress f cargs successor) =
+    ind $ tuple ress ++ " = " ++ f ++ tuple (map show cargs) ++ " goto " ++ successor
   show (Return      rargs) = ind $ "ret " ++ tuple (map show rargs)
 
 ind :: String -> String
index 9eaca6e..4c25a5d 100644 (file)
@@ -3,7 +3,7 @@
 
 module Eval (evalProg, ErrorM) where
 
-import Control.Monad.Error
+import Control.Monad.Except
 import qualified Data.Map    as M
 import Prelude hiding (succ)
 
index 64d9ecf..0878dfa 100644 (file)
@@ -6,7 +6,7 @@ module EvalMonad (ErrorM, VarEnv, B, State,
                          get_var, set_var, get_heap, set_heap,
                   Event (..), event) where
 
-import Control.Monad.Error
+import Control.Monad.Except
 import qualified Data.Map as M
 import Prelude hiding (succ)
 
@@ -23,9 +23,6 @@ import IR
 
 type ErrorM        = Either String
 type InnerErrorM v = Either (State v, String)
-instance Error (State v, String) where
-  noMsg      = (undefined, "")
-  strMsg str = (undefined, str)
 
 data EvalM v a = EvalM (State v -> InnerErrorM v (State v, a))
 
index fdc9c77..c16cb2c 100644 (file)
@@ -50,7 +50,7 @@ fromBlock blk = foldBlockNodesF3 (fromIrInstCO, fromIrInstOO, fromIrInstOC) blk
 
   
 fromIrInstCO :: I.Insn C O -> () -> Rm (A.Lbl, [A.Insn])
-fromIrInstCO inst p = case inst of
+fromIrInstCO inst _ = case inst of
   I.Label l -> strLabelFor l >>= \x -> return (x, [])
 
   
index 1f83c72..94b0f06 100644 (file)
@@ -3,7 +3,7 @@
 module Test (parseTest, evalTest, optTest) where
 
 import Compiler.Hoopl
-import Control.Monad.Error
+import Control.Monad.Except
 import System.Exit
 
 import qualified Ast as A