debug

FStarLang · Feb 5, 2025 · 87fe978 · 87fe978
1 parent f24deef
commit 87fe978
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/lib/OptimizeMiniRust.ml b/lib/OptimizeMiniRust.ml
@@ -101,7 +101,8 @@ let distill ts =
 (* Get the type of the arguments of `name`, based on the current state of
    `valuation` *)
 let lookup env valuation name =
-  (* KPrint.bprintf "lookup: %a\n" PrintMiniRust.pname name; *)
+  if not (NameMap.mem name env.signatures) then
+    KPrint.bprintf "ERROR looking up: %a\n" PrintMiniRust.pname name;
   let ts = NameMap.find name env.signatures in
   adjust ts (valuation name)