projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
779da8c
)
(F)SLIT -> (f)sLit in FunDeps
author
Ian Lynagh
<igloo@earth.li>
Sat, 12 Apr 2008 14:52:38 +0000
(14:52 +0000)
committer
Ian Lynagh
<igloo@earth.li>
Sat, 12 Apr 2008 14:52:38 +0000
(14:52 +0000)
compiler/types/FunDeps.lhs
patch
|
blob
|
history
diff --git
a/compiler/types/FunDeps.lhs
b/compiler/types/FunDeps.lhs
index
8f529a4
..
949cac4
100644
(file)
--- 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)
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
\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,
, 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))
]
<+> ppr (getSrcLoc ispec))
]