X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcRules.lhs;h=3ee95cf4a28109d8ec3039be942ca80bcf99b4dd;hb=dbe50b77059c7d55f909ba4c10ac03b8374f5b5e;hp=50ad098e1e08ade12e1a674e3f40c044cc39b398;hpb=30c122df62ec75f9ed7f392f24c2925675bf1d06;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcRules.lhs b/compiler/typecheck/TcRules.lhs index 50ad098..3ee95cf 100644 --- a/compiler/typecheck/TcRules.lhs +++ b/compiler/typecheck/TcRules.lhs @@ -15,8 +15,6 @@ TcRules: Typechecking transformation rules module TcRules ( tcRules ) where -#include "HsVersions.h" - import HsSyn import TcRnMonad import TcSimplify @@ -40,7 +38,7 @@ tcRules decls = mapM (wrapLocM tcRule) decls tcRule :: RuleDecl Name -> TcM (RuleDecl TcId) tcRule (HsRule name act vars lhs fv_lhs rhs fv_rhs) = addErrCtxt (ruleCtxt name) $ do - traceTc (ptext SLIT("---- Rule ------") <+> ppr name) + traceTc (ptext (sLit "---- Rule ------") <+> ppr name) rule_ty <- newFlexiTyVarTy openTypeKind -- Deal with the tyvars mentioned in signatures @@ -115,7 +113,7 @@ tcRuleBndrs (RuleBndrSig var rn_ty : vars) thing_inside tcExtendIdEnv [id] $ tcRuleBndrs vars (\ids -> thing_inside (id:ids)) } -ruleCtxt name = ptext SLIT("When checking the transformation rule") <+> +ruleCtxt name = ptext (sLit "When checking the transformation rule") <+> doubleQuotes (ftext name) \end{code}