From a97f155c04a7ff981da3e589158ecf70db72d1cd Mon Sep 17 00:00:00 2001 From: Manuel M T Chakravarty Date: Wed, 20 Sep 2006 17:57:36 +0000 Subject: [PATCH] Remove bogus ASSERT from MkId Mon Sep 18 17:06:27 EDT 2006 Manuel M T Chakravarty * Remove bogus ASSERT from MkId Sun Aug 6 20:12:41 EDT 2006 Manuel M T Chakravarty * Remove bogus ASSERT from MkId Mon Jul 31 05:45:48 EDT 2006 kevind@bu.edu --- compiler/basicTypes/MkId.lhs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/basicTypes/MkId.lhs b/compiler/basicTypes/MkId.lhs index de8db07..fe05a9b 100644 --- a/compiler/basicTypes/MkId.lhs +++ b/compiler/basicTypes/MkId.lhs @@ -575,9 +575,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 -- 1.7.10.4