module TcRules ( tcRules ) where
-#include "HsVersions.h"
-
import HsSyn
import TcRnMonad
import TcSimplify
import Name
import SrcLoc
import Outputable
+import FastString
\end{code}
\begin{code}
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
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}