mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Of course, the LHS constraint on an init-box statement is mutable @.

Browse Source
This commit is contained in:
Graydon Hoare 2010-07-01 18:39:08 -07:00
parent fdafec39de
commit c27879a1aa
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/boot/me/type.ml
View File

@ -1279,8 +1279,8 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit =
unify_lval rval_ctx lval (ty Ast.TY_task);
| Ast.STMT_init_box (dst, v) ->
let tv = any() in
unify_lval init_ctx dst (ref (TYSPEC_box tv));
let tv = ref (TYSPEC_mutable (ref (TYSPEC_box (any())))) in
unify_lval strict_ctx dst tv;
unify_atom rval_ctx v tv;
(* FIXME (issue #52): Finish these. *)