Commit a54d6e3b authored by Ian Lynagh's avatar Ian Lynagh
Browse files

(F)SLIT -> (f)sLit in DsBinds

parent 081963e1
...@@ -295,13 +295,13 @@ dsSpec all_tvs dicts tvs poly_id mono_id mono_bind ...@@ -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 dead_msg bs = vcat [ sep [ptext (sLit "Useless constraint") <> plural bs
<+> ptext SLIT("in specialied type:"), <+> 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) 2 (ppr spec_expr)
dsMkArbitraryType :: TcTyVar -> DsM Type dsMkArbitraryType :: TcTyVar -> DsM Type
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment