Commit a97f155c authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

Remove bogus ASSERT from MkId

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
parent 9621257f
...@@ -575,9 +575,9 @@ mkRecordSelId tycon field_label ...@@ -575,9 +575,9 @@ mkRecordSelId tycon field_label
uniq_list = map mkBuiltinUnique [unpack_base..] uniq_list = map mkBuiltinUnique [unpack_base..]
Succeeded refinement = gadtRefine emptyRefinement ex_tvs co_tvs 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 (ExprCoFn co) expr = Cast expr co
perform_co id_co expr = ASSERT(isIdCoercion id_co) expr perform_co id_co expr = ASSERT(isIdCoercion id_co) expr
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment