diff options
| author | Graydon Hoare <[email protected]> | 2010-08-25 12:07:03 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-08-25 12:08:05 -0700 |
| commit | b2b72a08dbd18e384972dd835a93df9167380247 (patch) | |
| tree | 5a660cce5790a4ad28650bcbcf336ee44f68a46e /src/boot/me/semant.ml | |
| parent | Fix ghastly typestate bug breaking nested functions. (diff) | |
| download | rust-b2b72a08dbd18e384972dd835a93df9167380247.tar.xz rust-b2b72a08dbd18e384972dd835a93df9167380247.zip | |
Janitorial work on obj box / body / field terminology, following froystig's brave lead.
Diffstat (limited to 'src/boot/me/semant.ml')
| -rw-r--r-- | src/boot/me/semant.ml | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index f0fca1a8..6cf03dfc 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -1878,7 +1878,10 @@ let tydesc_rty (word_bits:Il.bits) : Il.referent_ty = |] ;; -let obj_closure_rty (word_bits:Il.bits) : Il.referent_ty = +(* + * [ rc [ tydesc* | obj-body ] ] + *) +let obj_box_rty (word_bits:Il.bits) : Il.referent_ty = Il.StructTy [| word_rty word_bits; Il.StructTy [| @@ -1945,8 +1948,8 @@ let rec referent_type (word_bits:Il.bits) (t:Ast.ty) : Il.referent_ty = Il.StructTy [| codeptr; fn_closure_ptr |] | Ast.TY_obj _ -> - let obj_closure_ptr = sp (obj_closure_rty word_bits) in - Il.StructTy [| ptr; obj_closure_ptr |] + let obj_box_ptr = sp (obj_box_rty word_bits) in + Il.StructTy [| ptr; obj_box_ptr |] | Ast.TY_tag ttag -> tag ttag | Ast.TY_iso tiso -> tag tiso.Ast.iso_group.(tiso.Ast.iso_index) |