diff options
| author | Graydon Hoare <[email protected]> | 2011-03-11 13:44:13 -0800 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2011-03-11 13:44:24 -0800 |
| commit | fc7cbe31f9639a1d37baf4a35df9719ad155aa2c (patch) | |
| tree | f0c08ad3563d9f4527788193823b6d87feb4a7aa /src/boot/me/semant.ml | |
| parent | rustc: Un-XFAIL generic-iter-frame.rs (diff) | |
| download | rust-fc7cbe31f9639a1d37baf4a35df9719ad155aa2c.tar.xz rust-fc7cbe31f9639a1d37baf4a35df9719ad155aa2c.zip | |
Switch rustboot from element-wise copying to take+drop+memcpy. Un-XFAIL size-and-align.rs for rustc.
Diffstat (limited to 'src/boot/me/semant.ml')
| -rw-r--r-- | src/boot/me/semant.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index 3ce5eba2..3419bb34 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -20,7 +20,7 @@ type glue = | GLUE_yield | GLUE_exit_main_task | GLUE_exit_task - | GLUE_copy of Ast.ty (* One-level copy. *) + | GLUE_take of Ast.ty (* One-level refcounts++. *) | GLUE_drop of Ast.ty (* De-initialize local memory. *) | GLUE_free of Ast.ty (* Drop body + free() box ptr. *) | GLUE_sever of Ast.ty (* Null all box state slots. *) @@ -2776,7 +2776,7 @@ let glue_str (cx:ctxt) (g:glue) : string = | GLUE_yield -> "glue$yield" | GLUE_exit_main_task -> "glue$exit_main_task" | GLUE_exit_task -> "glue$exit_task" - | GLUE_copy ty -> "glue$copy$" ^ (ty_str cx ty) + | GLUE_take ty -> "glue$take$" ^ (ty_str cx ty) | GLUE_drop ty -> "glue$drop$" ^ (ty_str cx ty) | GLUE_free ty -> "glue$free$" ^ (ty_str cx ty) | GLUE_sever ty -> "glue$sever$" ^ (ty_str cx ty) |