X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FdeSugar%2FDsBinds.lhs;h=dc934a77a7104e54bd3d0883cb62c8b2c98204e6;hb=3fc260d4bcdc6711c9b20cee0915c52c8365bb74;hp=5f0bdb7a605b193ab21cd638a3daea070c829e50;hpb=dd99b6f8c61f393087d03cd697c06051a43ca4e9;p=ghc-hetmet.git diff --git a/compiler/deSugar/DsBinds.lhs b/compiler/deSugar/DsBinds.lhs index 5f0bdb7..dc934a7 100644 --- 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 - 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))] - , ptext SLIT("SPECIALISE pragma ignored")] + , ptext (sLit "SPECIALISE pragma ignored")] 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