X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcRules.lhs;h=3ee95cf4a28109d8ec3039be942ca80bcf99b4dd;hb=ad307d5c2e8bc3989dfe6cd3be09cfd97d9d8258;hp=a0774fed622f3d8748912ee3dad540a4ffa955dd;hpb=fb2771f8d4228535353f7161c63d5ad0055e9df7;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcRules.lhs b/compiler/typecheck/TcRules.lhs index a0774fe..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 @@ -30,6 +28,7 @@ import Id import Name import SrcLoc import Outputable +import FastString \end{code} \begin{code} @@ -39,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 @@ -114,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}