From 8217ce622874c1b99124328800e697eb235121f1 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Sun, 4 Jul 2010 16:42:11 -0700
Subject: Improve type.ml logging.

---
 src/boot/me/type.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

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
-- 
cgit v1.2.3