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 'src/Interpreter.ml')
-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 = |