diff options
| author | Son Ho | 2023-09-13 23:39:13 +0200 |
|---|---|---|
| committer | Son Ho | 2023-09-13 23:39:13 +0200 |
| commit | 60aa9ff5b31e47ecc2ac2dff55ee06582af62806 (patch) | |
| tree | 0e7faf6e77deae5ae486bcdee10160af54af57e2 /compiler/InterpreterStatements.ml | |
| parent | d556b2439ad858fbbf612f433d25363a8f4a7c83 (diff) | |
Fix some issues
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 97fb80f4..88e20a92 100644 --- a/compiler/InterpreterStatements.ml +++ b/compiler/InterpreterStatements.ml @@ -664,6 +664,13 @@ let eval_assumed_function_call_concrete (config : C.config) let instantiate_fun_sig (ctx : C.eval_ctx) (generics : T.egeneric_args) (tr_self : T.rtrait_instance_id) (sg : A.fun_sig) : A.inst_fun_sig = + log#ldebug + (lazy + ("instantiate_fun_sig:" ^ "\n- generics: " + ^ egeneric_args_to_string ctx generics + ^ "\n- tr_self: " + ^ rtrait_instance_id_to_string ctx tr_self + ^ "\n- sg: " ^ fun_sig_to_string ctx sg)); (* Generate fresh abstraction ids and create a substitution from region * group ids to abstraction ids *) let rg_abs_ids_bindings = |