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 | |
| 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')
| -rw-r--r-- | src/boot/me/type.ml | 4 | ||||
| -rw-r--r-- | src/test/compile-fail/log-type-error.rs | 2 |
2 files changed, 4 insertions, 2 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 diff --git a/src/test/compile-fail/log-type-error.rs b/src/test/compile-fail/log-type-error.rs index c8a5df9c..622a0332 100644 --- a/src/test/compile-fail/log-type-error.rs +++ b/src/test/compile-fail/log-type-error.rs @@ -1,4 +1,4 @@ -// error-pattern: mismatched types +// error-pattern: unimplemented logging type fn main() { log main; |