X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcExpr.lhs;h=567f2dc49d6be994397ffadfa538b324329f8d80;hb=dd99b6f8c61f393087d03cd697c06051a43ca4e9;hp=b4abd3d0296a07398f180ba6b1a90d19d9df507d;hpb=e8707f485ff4ec701dbe07f8893b8798277b1afe;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcExpr.lhs b/compiler/typecheck/TcExpr.lhs
index b4abd3d..567f2dc 100644
--- a/compiler/typecheck/TcExpr.lhs
+++ b/compiler/typecheck/TcExpr.lhs
@@ -497,7 +497,7 @@ tcExpr expr@(RecordUpd record_expr rbinds _ _ _) res_ty = do
 
 	-- Step 7: make a cast for the scrutinee, in the case that it's from a type family
     let scrut_co | Just co_con <- tyConFamilyCoercion_maybe tycon 
-		 = WpCo $ mkTyConApp co_con scrut_inst_tys
+		 = WpCast $ mkTyConApp co_con scrut_inst_tys
 		 | otherwise
 		 = idHsWrapper