diff options
| author | Graydon Hoare <[email protected]> | 2010-07-04 16:02:12 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-07-04 16:02:12 -0700 |
| commit | cae60cbaba77f3d717f9a58abc9b56cc7f64fc65 (patch) | |
| tree | fc0e2bc5ffb4cfc53d44383da16a71c4cb49789b /src/boot/me | |
| parent | Clean in doc dir a little harder. (diff) | |
| download | rust-cae60cbaba77f3d717f9a58abc9b56cc7f64fc65.tar.xz rust-cae60cbaba77f3d717f9a58abc9b56cc7f64fc65.zip | |
Fix compile-fail/log-type-error.rs.
Diffstat (limited to 'src/boot/me')
| -rw-r--r-- | src/boot/me/type.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index b364ff56..10045e07 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -1192,7 +1192,9 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit = | Ast.STMT_log atom -> begin match atom with - Ast.ATOM_lval lv -> set_auto_deref lv true + Ast.ATOM_lval lv -> + unify_lval rval_ctx lv (any()); + set_auto_deref lv true | _ -> () end |