From 422028fc34aff8fe02ff6a35f2b3cfa0481d8ed7 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Fri, 6 Jun 2008 20:08:00 +0000 Subject: [PATCH] Fix warnings in TcRules --- compiler/typecheck/TcRules.lhs | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) diff --git a/compiler/typecheck/TcRules.lhs b/compiler/typecheck/TcRules.lhs index 3ee95cf..a95251d 100644 --- a/compiler/typecheck/TcRules.lhs +++ b/compiler/typecheck/TcRules.lhs @@ -6,13 +6,6 @@ TcRules: Typechecking transformation rules \begin{code} -{-# OPTIONS -w #-} --- The above warning supression flag is a temporary kludge. --- While working on this module you are encouraged to remove it and fix --- any warnings in the module. See --- http://hackage.haskell.org/trac/ghc/wiki/Commentary/CodingStyle#Warnings --- for details - module TcRules ( tcRules ) where import HsSyn @@ -93,7 +86,7 @@ tcRule (HsRule name act vars lhs fv_lhs rhs fv_rhs) (mkHsDictLet lhs_binds lhs') fv_lhs (mkHsDictLet rhs_binds rhs') fv_rhs) - +tcRuleBndrs :: [RuleBndr Name] -> ([Id] -> TcM a) -> TcM a tcRuleBndrs [] thing_inside = thing_inside [] tcRuleBndrs (RuleBndr var : vars) thing_inside = do { ty <- newFlexiTyVarTy openTypeKind @@ -113,6 +106,7 @@ tcRuleBndrs (RuleBndrSig var rn_ty : vars) thing_inside tcExtendIdEnv [id] $ tcRuleBndrs vars (\ids -> thing_inside (id:ids)) } +ruleCtxt :: FastString -> SDoc ruleCtxt name = ptext (sLit "When checking the transformation rule") <+> doubleQuotes (ftext name) \end{code} -- 1.7.10.4