From dc18bb9eed7615bd2fcfa240011f2e41eea4b874 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 24 Oct 2023 11:15:46 +0200
Subject: Add some debugging information

---
 compiler/InterpreterStatements.ml | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'compiler')

diff --git a/compiler/InterpreterStatements.ml b/compiler/InterpreterStatements.ml
index 2aced79f..e0c4703b 100644
--- a/compiler/InterpreterStatements.ml
+++ b/compiler/InterpreterStatements.ml
@@ -1108,6 +1108,13 @@ and eval_transparent_function_call_symbolic (config : C.config) (call : A.call)
     match call.func.func with
     | FunId (Regular fid) ->
         let def = C.ctx_lookup_fun_decl ctx fid in
+        log#ldebug
+          (lazy
+            ("fun call:\n- call: " ^ call_to_string ctx call
+           ^ "\n- call.generics:\n"
+            ^ egeneric_args_to_string ctx call.func.generics
+            ^ "\n- def.signature:\n"
+            ^ fun_sig_to_string ctx def.A.signature));
         let tr_self = T.UnknownTrait __FUNCTION__ in
         let inst_sg =
           instantiate_fun_sig ctx call.func.generics tr_self def.A.signature
-- 
cgit v1.2.3