X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FbasicTypes%2FMkId.lhs;h=3f24a852d27d31a8cb32ad70ebef9bf67aafe4d6;hp=41460e1d1a06ad49f3f04c9def78054a16f7f4cd;hb=e6d057711f4d6d6ff6342c39fa2b9e44d25447f1;hpb=f80b81f8b56ebd0fa0f7f82494a5090e9ab64256

diff --git a/compiler/basicTypes/MkId.lhs b/compiler/basicTypes/MkId.lhs
index 41460e1..3f24a85 100644
--- a/compiler/basicTypes/MkId.lhs
+++ b/compiler/basicTypes/MkId.lhs
@@ -50,7 +50,7 @@ import Type		( TyThing(..), mkForAllTy, tyVarsOfTypes,
  			  newTyConInstRhs, mkTopTvSubst, substTyVar, 
  			  substTys, zipTopTvSubst )
 import TcGadt           ( gadtRefine, refineType, emptyRefinement )
-import HsBinds          ( ExprCoFn(..), isIdCoercion )
+import HsBinds          ( HsWrapper(..), isIdHsWrapper )
 import Coercion         ( mkSymCoercion, mkUnsafeCoercion, isEqPred )
 import TcType		( Type, ThetaType, mkDictTy, mkPredTys, mkPredTy, 
 			  mkTyConApp, mkTyVarTys, mkClassPred, isPredTy,
@@ -639,8 +639,8 @@ mkRecordSelId tycon field_label
 		-- and apply to (Maybe b'), to get (Maybe b)
 
         rhs = case co_fn of
-		ExprCoFn co -> Cast (Var the_arg_id) co
-		id_co	    -> ASSERT(isIdCoercion id_co) Var the_arg_id
+		WpCo co -> Cast (Var the_arg_id) co
+		id_co	    -> ASSERT(isIdHsWrapper id_co) Var the_arg_id
 
 	field_vs    = filter (not . isPredTy . idType) arg_vs 
     	the_arg_id  = assoc "mkRecordSelId:mk_alt" (field_lbls `zip` field_vs) field_label