diff options
| author | Graydon Hoare <[email protected]> | 2010-07-04 16:42:11 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-07-04 16:42:11 -0700 |
| commit | 8217ce622874c1b99124328800e697eb235121f1 (patch) | |
| tree | d4a08ac14e468485d9d18b69689e7f95b7cd284a /src | |
| parent | Fix rec-extend.rs test. (diff) | |
| download | rust-8217ce622874c1b99124328800e697eb235121f1.tar.xz rust-8217ce622874c1b99124328800e697eb235121f1.zip | |
Improve type.ml logging.
Diffstat (limited to 'src')
| -rw-r--r-- | src/boot/me/type.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index 10045e07..ff1bbd72 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -1589,8 +1589,9 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit = let _ = iflog cx (fun _ -> - log cx "recording resolved lval #%d type %a" + log cx "recording resolved lval #%d = %a type %a" (int_of_node id) + Ast.sprintf_lval (Hashtbl.find cx.ctxt_all_lvals id) Ast.sprintf_ty ty) in Hashtbl.add cx.ctxt_all_lval_types id ty |