Add logging to type and effect.

2 files changed, 12 insertions, 0 deletions

diff --git a/src/boot/me/effect.ml b/src/boot/me/effect.ml
index 22edce7c..ab0c349e 100644
--- a/src/boot/me/effect.ml
+++ b/src/boot/me/effect.ml
@@ -34,6 +34,11 @@ let mutability_checking_visitor
   in
 
   let check_write s dst =
+    let _ =
+      iflog cx
+        (fun _ -> log cx "checking write to lval #%d = %a"
+           (int_of_node (lval_base_id dst)) Ast.sprintf_lval dst)
+    in
     let dst_ty = lval_ty cx dst in
     let is_mutable =
       match dst_ty with
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index 3e2a521c..660066ad 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -1405,6 +1405,13 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit =
 
         let record_lval_ty id tv =
           let ty = get_resolved_ty tv id in
+          let _ =
+            iflog cx
+              (fun _ ->
+                 log cx "recording resolved lval #%d type %a"
+                   (int_of_node id)
+                   Ast.sprintf_ty ty)
+          in
             Hashtbl.add cx.ctxt_all_lval_types id ty
         in