diff options
| author | Sidney Congard | 2022-07-29 16:04:49 +0200 |
|---|---|---|
| committer | Sidney Congard | 2022-07-29 16:04:49 +0200 |
| commit | f9015d1e956ace6c875eb6a631caeac49cfb8148 (patch) | |
| tree | db10759d3b1ca2ec9a227c2a27da695a066fe2d8 /src/Interpreter.ml | |
| parent | af298b98b7efe8c6dba86a99dc9c07c3c43ce14d (diff) | |
Create global declaration group, address PR changes but introduce bugs
Diffstat (limited to '')
| -rw-r--r-- | src/Interpreter.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml index 3610d486..51144ba2 100644 --- a/src/Interpreter.ml +++ b/src/Interpreter.ml @@ -15,9 +15,9 @@ let log = L.interpreter_log let compute_type_fun_contexts (m : M.llbc_module) : C.type_context * C.fun_context * C.global_context = - let type_decls_list, _ = M.split_declarations m.declarations in + let type_decls_list, _, _ = M.split_declarations m.declarations in let type_decls, fun_decls, global_decls = M.compute_defs_maps m in - let type_decls_groups, _funs_defs_groups = + let type_decls_groups, _funs_defs_groups, _globals_defs_groups = M.split_declarations_to_group_maps m.declarations in let type_infos = |