diff options
Diffstat (limited to 'src/boot/me/trans.ml')
| -rw-r--r-- | src/boot/me/trans.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index e3587bdd..914645ff 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -2738,11 +2738,11 @@ let trans_visitor patch null_jmp; note_drop_step ty "drop_ty: done box-drop path"; - | MEM_interior when type_is_structured ty -> - note_drop_step ty "drop_ty structured-interior path"; + | MEM_interior when type_points_to_heap ty -> + note_drop_step ty "drop_ty heap-referencing path"; iter_ty_parts ty_params cell ty (drop_ty ty_params) curr_iso; - note_drop_step ty "drop_ty: done structured-interior path"; + note_drop_step ty "drop_ty: done heap-referencing path"; | MEM_interior -> @@ -2785,7 +2785,7 @@ let trans_visitor MEM_gc -> sever_box cell - | MEM_interior when type_is_structured ty -> + | MEM_interior when type_points_to_heap ty -> iter_ty_parts ty_params cell ty (sever_ty ty_params) curr_iso |