projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remove some dead code from VectType
[ghc-hetmet.git]
/
compiler
/
deSugar
/
DsBinds.lhs
diff --git
a/compiler/deSugar/DsBinds.lhs
b/compiler/deSugar/DsBinds.lhs
index
5f0bdb7
..
dc934a7
100644
(file)
--- a/
compiler/deSugar/DsBinds.lhs
+++ b/
compiler/deSugar/DsBinds.lhs
@@
-295,13
+295,13
@@
dsSpec all_tvs dicts tvs poly_id mono_id mono_bind
void_tvs = all_tvs \\ tvs
void_tvs = all_tvs \\ tvs
- dead_msg bs = vcat [ sep [ptext SLIT("Useless constraint") <> plural bs
- <+> ptext SLIT("in specialied type:"),
+ dead_msg bs = vcat [ sep [ptext (sLit "Useless constraint") <> plural bs
+ <+> ptext (sLit "in specialied type:"),
nest 2 (pprTheta (map get_pred bs))]
nest 2 (pprTheta (map get_pred bs))]
- , ptext SLIT("SPECIALISE pragma ignored")]
+ , ptext (sLit "SPECIALISE pragma ignored")]
get_pred b = ASSERT( isId b ) expectJust "dsSpec" (tcSplitPredTy_maybe (idType b))
get_pred b = ASSERT( isId b ) expectJust "dsSpec" (tcSplitPredTy_maybe (idType b))
- decomp_msg = hang (ptext SLIT("Specialisation too complicated to desugar; ignored"))
+ decomp_msg = hang (ptext (sLit "Specialisation too complicated to desugar; ignored"))
2 (ppr spec_expr)
dsMkArbitraryType :: TcTyVar -> DsM Type
2 (ppr spec_expr)
dsMkArbitraryType :: TcTyVar -> DsM Type