From 0efce5ebe2ffff47dd75ec68edc9dc4857da6c8d Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Fri, 2 Jul 2010 12:32:49 -0700 Subject: [PATCH] Improve logging in type. --- src/boot/me/type.ml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index c0e711733d1..5fbb77a40bc 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -1539,8 +1539,11 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit = match slot_defn.Ast.slot_ty with Some _ -> () | None -> - log cx "setting auto slot #%d to %a" - (int_of_node id) Ast.sprintf_ty ty; + log cx "setting auto slot #%d = %a to type %a" + (int_of_node id) + Ast.sprintf_slot_key + (Hashtbl.find cx.ctxt_slot_keys id) + Ast.sprintf_ty ty; Hashtbl.replace cx.ctxt_all_defns id (DEFN_slot { slot_defn with Ast.slot_ty = Some ty })