From 583e2422f9f70c8ff69f948a3be788f5d412c862 Mon Sep 17 00:00:00 2001 From: Twan van Laarhoven Date: Thu, 17 Jan 2008 20:55:05 +0000 Subject: [PATCH] Monadify typecheck/TcTyFuns: use standard monad functions --- compiler/typecheck/TcTyFuns.lhs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 ) -- 1.7.10.4