X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcEnv.lhs;h=6799653e547c1eb20c77b60d2f249d6ca0a0c569;hb=365ab3dad0f9a77e01758a14bf3817dea0ee2a31;hp=6e5f381d1cf93fe72681314ab1ed241e4d473838;hpb=2ce87c70529c2a75071161bd3d22b029f003ba36;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcEnv.lhs b/compiler/typecheck/TcEnv.lhs
index 6e5f381..6799653 100644
--- a/compiler/typecheck/TcEnv.lhs
+++ b/compiler/typecheck/TcEnv.lhs
@@ -45,7 +45,7 @@ module TcEnv(
 
 import HsSyn		( LRuleDecl, LHsBinds, LSig, 
 			  LHsTyVarBndr, HsTyVarBndr(..), pprLHsBinds,
-		 	  idCoercion, (<.>) )
+		 	  idHsWrapper, (<.>) )
 import TcIface		( tcImportDecl )
 import IfaceEnv		( newGlobalBinder )
 import TcRnMonad
@@ -326,7 +326,7 @@ tcExtendIdEnv2 names_w_ids thing_inside
 					       tct_level = th_lvl,
 					       tct_type = id_ty, 
 					       tct_co = if isRefineableTy id_ty 
-							then Just idCoercion
+							then Just idHsWrapper
 							else Nothing })
 			      | (name,id) <- names_w_ids, let id_ty = idType id]
 	le'		    = extendNameEnvList (tcl_env env) extra_env