about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRoy Frostig <rfrostig@mozilla.com>2010-07-15 12:28:43 -0700
committerRoy Frostig <rfrostig@mozilla.com>2010-07-15 12:30:46 -0700
commitf02f9cbf29c2fdc28baeaa5a25671d9be29d6eab (patch)
tree190504aa847211e7772d7bb966974293079db2c8
parent25a38ee4f7b12e17b86919dd35164dfe6f81381d (diff)
Correct the way we get typarams when dropping an obj type in drop_ty by using get_tydesc_params.
-rw-r--r--src/boot/me/trans.ml8
1 files changed, 3 insertions, 5 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml
index a1a170f58c8..6d5678d3ad3 100644
--- a/src/boot/me/trans.ml
+++ b/src/boot/me/trans.ml
@@ -2475,9 +2475,7 @@ let trans_visitor
             let obj = deref binding in
             let tydesc = get_element_ptr obj 1 in
             let body = get_element_ptr obj 2 in
-            let ty_params =
-              get_element_ptr (deref tydesc) Abi.tydesc_field_first_param
-            in
+            let ty_params = get_tydesc_params ty_params tydesc in
             let dtor =
               get_element_ptr (deref tydesc) Abi.tydesc_field_obj_drop_glue
             in
@@ -3670,9 +3668,9 @@ let trans_visitor
         end
         call.call_callee_ty_params;
 
-        trans_arg1 callee_task_cell;
+      trans_arg1 callee_task_cell;
 
-        trans_arg0 callee_output_cell initializing_arg0 call
+      trans_arg0 callee_output_cell initializing_arg0 call