X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FFunDeps.lhs;h=949cac489e3eca9ce861d93008f3a72e00a8786f;hp=8f529a4217a5480abb919f2d2b843cc9c191a7bf;hb=ebc623f8daba6bc027c625d333d28ff2ccd630cf;hpb=779da8c0c28d06746b672a9bf113fe29d690a081 diff --git a/compiler/types/FunDeps.lhs b/compiler/types/FunDeps.lhs index 8f529a4..949cac4 100644 --- a/compiler/types/FunDeps.lhs +++ b/compiler/types/FunDeps.lhs @@ -201,8 +201,8 @@ type Equation = (TyVarSet, [(Type, Type)]) pprEquation :: Equation -> SDoc pprEquation (qtvs, pairs) - = vcat [ptext SLIT("forall") <+> braces (pprWithCommas ppr (varSetElems qtvs)), - nest 2 (vcat [ ppr t1 <+> ptext SLIT(":=:") <+> ppr t2 | (t1,t2) <- pairs])] + = vcat [ptext (sLit "forall") <+> braces (pprWithCommas ppr (varSetElems qtvs)), + nest 2 (vcat [ ppr t1 <+> ptext (sLit ":=:") <+> ppr t2 | (t1,t2) <- pairs])] \end{code} Given a bunch of predicates that must hold, such as @@ -293,7 +293,7 @@ improveOne inst_env pred@(ClassP cls tys, _) preds , not (instanceCantMatch inst_tcs trimmed_tcs) , eqn <- checkClsFD qtvs fd cls_tvs tys_inst tys , let p_inst = (mkClassPred cls tys_inst, - ptext SLIT("arising from the instance declaration at") + ptext (sLit "arising from the instance declaration at") <+> ppr (getSrcLoc ispec)) ]