Mon Sep 18 17:06:27 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Remove bogus ASSERT from MkId
Sun Aug 6 20:12:41 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Remove bogus ASSERT from MkId
Mon Jul 31 05:45:48 EDT 2006 kevind@bu.edu
uniq_list = map mkBuiltinUnique [unpack_base..]
Succeeded refinement = gadtRefine emptyRefinement ex_tvs co_tvs
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
perform_co (ExprCoFn co) expr = Cast expr co
perform_co id_co expr = ASSERT(isIdCoercion id_co) expr