diff options
| author | Roy Frostig <[email protected]> | 2010-07-16 11:17:25 -0700 |
|---|---|---|
| committer | Roy Frostig <[email protected]> | 2010-07-16 11:17:25 -0700 |
| commit | 348e434cee42cc2be0a4f5a6e6df8709d3490ff5 (patch) | |
| tree | c85dc5a5a139ca3950d93b160de42a71f41e0a40 /src/boot/me/semant.ml | |
| parent | Merge branch 'contrib' (diff) | |
| download | rust-348e434cee42cc2be0a4f5a6e6df8709d3490ff5.tar.xz rust-348e434cee42cc2be0a4f5a6e6df8709d3490ff5.zip | |
Clean up nomenclature in the Abi constants brigade. Purge magic GEP numbers in trans. Adjust obj_closure_rty (and its consumers) to be more explicit about the fact that it is a box.
Diffstat (limited to 'src/boot/me/semant.ml')
| -rw-r--r-- | src/boot/me/semant.ml | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index 434fb025..789a2360 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -1894,11 +1894,14 @@ let tydesc_rty (abi:Abi.abi) : Il.referent_ty = ;; let obj_closure_rty (abi:Abi.abi) : Il.referent_ty = - Il.StructTy [| word_rty abi; - Il.ScalarTy (Il.AddrTy (tydesc_rty abi)); - word_rty abi (* A lie: it's opaque, but this permits - * GEP'ing to it. *) - |] + Il.StructTy [| + word_rty abi; + Il.StructTy [| + Il.ScalarTy (Il.AddrTy (tydesc_rty abi)); + word_rty abi (* A lie: it's opaque, but this permits + * GEP'ing to it. *) + |] + |] ;; let rec referent_type (abi:Abi.abi) (t:Ast.ty) : Il.referent_ty = |