diff options
| author | Sidney Congard | 2022-07-18 16:27:00 +0200 |
|---|---|---|
| committer | Sidney Congard | 2022-07-18 16:27:23 +0200 |
| commit | f9b324be57708e9496ca6e9ac0b7e68ffd9e7108 (patch) | |
| tree | f81bdfe1ddad63938df046ca361dcba2dfea6683 /src/Modules.ml | |
| parent | 8f14d69ae6683e58e1387ffe38ca3612e0530465 (diff) | |
Address much stuff of the PR, throw exceptions at remaining places
Diffstat (limited to 'src/Modules.ml')
| -rw-r--r-- | src/Modules.ml | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/src/Modules.ml b/src/Modules.ml index 149de020..2f640636 100644 --- a/src/Modules.ml +++ b/src/Modules.ml @@ -21,12 +21,12 @@ type llbc_module = { declarations : declaration_group list; types : type_decl list; functions : fun_decl list; - gid_conv : global_id_converter; + globals : global_decl list; } (** LLBC module - TODO: rename to crate *) let compute_defs_maps (m : llbc_module) : - type_decl TypeDeclId.Map.t * fun_decl FunDeclId.Map.t = + type_decl TypeDeclId.Map.t * fun_decl FunDeclId.Map.t * global_decl GlobalDeclId.Map.t = let types_map = List.fold_left (fun m (def : type_decl) -> TypeDeclId.Map.add def.def_id def m) @@ -37,7 +37,12 @@ let compute_defs_maps (m : llbc_module) : (fun m (def : fun_decl) -> FunDeclId.Map.add def.def_id def m) FunDeclId.Map.empty m.functions in - (types_map, funs_map) + let globals_map = + List.fold_left + (fun m (def : global_decl) -> GlobalDeclId.Map.add def.def_id def m) + GlobalDeclId.Map.empty m.globals + in + (types_map, funs_map, globals_map) (** Split a module's declarations between types and functions *) let split_declarations (decls : declaration_group list) : |