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

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) }
 
 -----------------------------------