diff options
| author | Graydon Hoare <[email protected]> | 2010-07-01 18:03:37 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-07-01 18:03:37 -0700 |
| commit | 2120599387a31577152646ac1ee609d5e1c02604 (patch) | |
| tree | 5980ade6ed6795f1d64e6719f634b8154d1abb87 /src/boot | |
| parent | Remove TYSPEC_loggable. Everything's loggable (or will be, eventually; the ba... (diff) | |
| download | rust-2120599387a31577152646ac1ee609d5e1c02604.tar.xz rust-2120599387a31577152646ac1ee609d5e1c02604.zip | |
Establish the box constraint on the dst in STMT_init_box before propagating it to the rval.
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/type.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index 371572fa..fff6f013 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -1274,8 +1274,8 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit = | Ast.STMT_init_box (dst, v) -> let tv = any() in + unify_lval init_ctx dst (ref (TYSPEC_box tv)); unify_atom rval_ctx v tv; - unify_lval { init_ctx with box_ok = true } dst tv (* FIXME (issue #52): Finish these. *) (* Fake-typecheck a few comm-related statements for now, just enough |