From 2141154c85c34cc1d4a508463b05d7ba5a6b490d Mon Sep 17 00:00:00 2001 From: Roy Frostig Date: Mon, 19 Jul 2010 11:47:46 -0700 Subject: Change the body-fetching GEP in mark_ty to be dynamic. Our box may be parametric. --- src/boot/me/trans.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index d3413beb..6f496775 100644 --- 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 -- cgit v1.2.3