X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcInstDcls.lhs;h=6d566dd4b14df0ba1b6f8674b88b71f030418c84;hp=8eb2d8ebc6c72a856993599118df19154fb383fc;hb=dd99b6f8c61f393087d03cd697c06051a43ca4e9;hpb=e314b86f6290e5440a46cd5cc29f7878cb78c6fb

diff --git a/compiler/typecheck/TcInstDcls.lhs b/compiler/typecheck/TcInstDcls.lhs
index 8eb2d8e..6d566dd 100644
--- a/compiler/typecheck/TcInstDcls.lhs
+++ b/compiler/typecheck/TcInstDcls.lhs
@@ -541,7 +541,7 @@ tcInstDecl2 (InstInfo { iSpec = ispec, iBinds = NewTypeDerived })
     make_coercion cls_tycon initial_cls_inst_tys nt_tycon tc_args
 	| Just co_con <- newTyConCo_maybe nt_tycon
 	, let co = mkSymCoercion (mkTyConApp co_con tc_args)
-        = WpCo (mkTyConApp cls_tycon (initial_cls_inst_tys ++ [co]))
+        = WpCast (mkTyConApp cls_tycon (initial_cls_inst_tys ++ [co]))
         | otherwise	-- The newtype is transparent; no need for a cast
         = idHsWrapper