Make DsCCall warning-free

[ghc-hetmet.git] / compiler / deSugar / DsBinds.lhs

diff --git a/compiler/deSugar/DsBinds.lhs b/compiler/deSugar/DsBinds.lhs
index 6f4b4bb..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
 
-    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) }