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

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