From: Twan van Laarhoven <twanvl@gmail.com>
Date: Thu, 17 Jan 2008 20:55:05 +0000 (+0000)
Subject: Monadify typecheck/TcTyFuns: use standard monad functions
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=583e2422f9f70c8ff69f948a3be788f5d412c862

Monadify typecheck/TcTyFuns: use standard monad functions
---

diff --git a/compiler/typecheck/TcTyFuns.lhs b/compiler/typecheck/TcTyFuns.lhs
index 706fe2f..82e397f 100644
--- a/compiler/typecheck/TcTyFuns.lhs
+++ b/compiler/typecheck/TcTyFuns.lhs
@@ -40,7 +40,7 @@ import Maybes
 
 -- standard
 import Data.List
-import Control.Monad (liftM)
+import Control.Monad
 \end{code}
 
 
@@ -663,7 +663,7 @@ The following rules exploits the reflexivity of equality:
 \begin{code}
 trivialRule :: IdemRewriteRule
 trivialRule insts 
-  = liftM catMaybes $ mappM trivial insts
+  = liftM catMaybes $ mapM trivial insts
   where
     trivial inst
       | ASSERT( isEqInst inst )