Change the body-fetching GEP in mark_ty to be dynamic. Our box may be parametric.

2010-07-19 11:47:46 -07:00 · 2010-07-19 11:47:46 -07:00 · 2141154c85
commit 2141154c85
parent 2a2ec67e6e
1 changed files with 1 additions and 1 deletions
--- a/src/boot/me/trans.ml
+++ b/src/boot/me/trans.ml
@ -2815,7 +2815,7 @@ let trans_visitor
              (* Iterate over box parts marking outgoing links. *)
            let (body_mem, _) =
              need_mem_cell
-                (get_element_ptr (deref cell)
+                (get_element_ptr_dyn ty_params (deref cell)
                   Abi.box_gc_field_body)
            in
            let ty = maybe_iso curr_iso ty in