diff options
| author | Graydon Hoare <[email protected]> | 2010-07-23 12:21:06 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-07-23 12:21:06 -0700 |
| commit | 6668595ebfb13e7299233ad6a9cb82b68e30128e (patch) | |
| tree | 37df6b6b4bc03515f7e2acc250d33a1001a80908 /src/boot/me/effect.ml | |
| parent | Add pretty-printing for alt-tag statements. (diff) | |
| download | rust-6668595ebfb13e7299233ad6a9cb82b68e30128e.tar.xz rust-6668595ebfb13e7299233ad6a9cb82b68e30128e.zip | |
Include all lval-writing statements in stmt_is_init calculation, not just "copy-like". Un-XFAIL generic-tag-alt.rs
Diffstat (limited to 'src/boot/me/effect.ml')
| -rw-r--r-- | src/boot/me/effect.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/effect.ml b/src/boot/me/effect.ml index 9ddef63d..fba08256 100644 --- a/src/boot/me/effect.ml +++ b/src/boot/me/effect.ml @@ -45,7 +45,7 @@ let mutability_checking_visitor Ast.TY_mutable _ -> true | _ -> false in - if (is_mutable or (Hashtbl.mem cx.ctxt_copy_stmt_is_init s.id)) + if (is_mutable or (Hashtbl.mem cx.ctxt_stmt_is_init s.id)) then () else err (Some s.id) "writing to non-mutable slot of type %a in statement %a" |