X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FdeSugar%2FDsBinds.lhs;h=dc934a77a7104e54bd3d0883cb62c8b2c98204e6;hb=5244158455f546d07632e48c718a771a8f2145a3;hp=6f4b4bb216659d8813f7be7899eeb76feb74deae;hpb=ee4d8e97cc9605ca7219ae3ab9830a694629f4f0;p=ghc-hetmet.git

diff --git a/compiler/deSugar/DsBinds.lhs b/compiler/deSugar/DsBinds.lhs
index 6f4b4bb..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
@@ -466,7 +466,7 @@ addDictScc _ rhs = return rhs
 dsCoercion :: HsWrapper -> DsM CoreExpr -> DsM CoreExpr
 dsCoercion WpHole 	     thing_inside = thing_inside
 dsCoercion (WpCompose c1 c2) thing_inside = dsCoercion c1 (dsCoercion c2 thing_inside)
-dsCoercion (WpCo co)     thing_inside = do { expr <- thing_inside
+dsCoercion (WpCast co)       thing_inside = do { expr <- thing_inside
 					       ; return (Cast expr co) }
 dsCoercion (WpLam id)        thing_inside = do { expr <- thing_inside
 					       ; return (Lam id expr) }