diff options
Diffstat (limited to 'src/boot/be')
| -rw-r--r-- | src/boot/be/abi.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/boot/be/abi.ml b/src/boot/be/abi.ml index 9ea085b5..13df33cd 100644 --- a/src/boot/be/abi.ml +++ b/src/boot/be/abi.ml @@ -62,10 +62,12 @@ let obj_body_elt_fields = 1;; let fn_field_code = binding_field_dispatch;; let fn_field_box = binding_field_bound_data;; +(* NB: bound ty params come last to facilitate ignoring them on + * closure-dropping. *) let closure_body_elt_bound_args_tydesc = 0;; let closure_body_elt_target = 1;; -let closure_body_elt_bound_ty_params = 2;; -let closure_body_elt_bound_args = 3;; +let closure_body_elt_bound_args = 2;; +let closure_body_elt_bound_ty_params = 3;; let tag_elt_discriminant = 0;; let tag_elt_variant = 1;; |