diff options
author | Son Ho | 2023-10-24 11:15:46 +0200 |
---|---|---|
committer | Son Ho | 2023-10-24 11:15:46 +0200 |
commit | dc18bb9eed7615bd2fcfa240011f2e41eea4b874 (patch) | |
tree | 3af7c527442a747c31f813cb26275f27ac7028ae /compiler | |
parent | a2183bf48773d078a9372847f1715fd38b84819d (diff) |
Add some debugging information
Diffstat (limited to '')
-rw-r--r-- | compiler/InterpreterStatements.ml | 7 |
1 files changed, 7 insertions, 0 deletions
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 |