diff options
Diffstat (limited to 'src/boot/be')
| -rw-r--r-- | src/boot/be/abi.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/boot/be/abi.ml b/src/boot/be/abi.ml index e4bb3c9c..8084c7cf 100644 --- a/src/boot/be/abi.ml +++ b/src/boot/be/abi.ml @@ -77,8 +77,9 @@ let tydesc_field_free_glue = 5;; let tydesc_field_sever_glue = 6;; let tydesc_field_mark_glue = 7;; let tydesc_field_obj_drop_glue = 8;; -let tydesc_field_cmp_glue = 9;; -let tydesc_field_hash_glue = 10;; +let tydesc_field_cmp_glue = 9;; (* FIXME these two aren't in the *) +let tydesc_field_hash_glue = 10;; (* runtime's type_desc struct. *) +let tydesc_field_stateflag = 11;; let vec_elt_rc = 0;; let vec_elt_alloc = 1;; |