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

diff --git a/compiler/typecheck/TcUnify.lhs b/compiler/typecheck/TcUnify.lhs
index aa92829..a237a5d 100644
--- a/compiler/typecheck/TcUnify.lhs
+++ b/compiler/typecheck/TcUnify.lhs
@@ -866,7 +866,7 @@ tc_sub_funs orig act_arg act_res exp_ib exp_arg exp_res
 	; wrapper1  <- wrapFunResCoercion [exp_arg] co_fn_res 
         ; let wrapper2 = case arg_coi of 
 				IdCo   -> idHsWrapper
-				ACo co -> WpCo $ FunTy co act_res
+				ACo co -> WpCast $ FunTy co act_res
 	; return (wrapper1 <.> wrapper2) }
 
 -----------------------------------