Minor tidying up

[ghc-hetmet.git] / compiler / basicTypes / MkId.lhs

diff --git a/compiler/basicTypes/MkId.lhs b/compiler/basicTypes/MkId.lhs
index de8db07..4609959 100644 (file)
--- a/compiler/basicTypes/MkId.lhs
+++ b/compiler/basicTypes/MkId.lhs
@@ -555,6 +555,7 @@ mkRecordSelId tycon field_label
                -- the context stuff; hence the arg_prefix binding below
          mkReboxingAlt uniqs data_con (arg_prefix ++ arg_ids) rhs
       where
+       -- TODO: this is *not* right; Orig vs Rep tys
        (arg_prefix, arg_ids)
           | isVanillaDataCon data_con          -- Instantiate from commmon base
           = ([], mkTemplateLocalsNum arg_base (dataConInstOrigArgTys data_con res_tys))
@@ -575,9 +576,9 @@ mkRecordSelId tycon field_label
        uniq_list = map mkBuiltinUnique [unpack_base..]
 
         Succeeded refinement = gadtRefine emptyRefinement ex_tvs co_tvs
-        (co_fn, out_ty) = refineType refinement (idType the_arg_id)
+        (co_fn, _)      = refineType refinement (idType the_arg_id)
 
-        rhs = ASSERT(out_ty `coreEqType` field_tau) perform_co co_fn (Var the_arg_id)
+        rhs = perform_co co_fn (Var the_arg_id)
 
         perform_co (ExprCoFn co) expr = Cast expr co
         perform_co id_co expr = ASSERT(isIdCoercion id_co) expr