diff options
Diffstat (limited to 'src/Contexts.ml')
| -rw-r--r-- | src/Contexts.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/Contexts.ml b/src/Contexts.ml index 716326cf..07535e06 100644 --- a/src/Contexts.ml +++ b/src/Contexts.ml @@ -3,7 +3,6 @@ open Values open LlbcAst module V = Values open ValuesUtils -module M = Modules (** Some global counters. * @@ -210,7 +209,7 @@ let config_of_partial (mode : interpreter_mode) (config : partial_config) : } type type_context = { - type_decls_groups : M.type_declaration_group TypeDeclId.Map.t; + type_decls_groups : Crates.type_declaration_group TypeDeclId.Map.t; type_decls : type_decl TypeDeclId.Map.t; type_infos : TypesAnalysis.type_infos; } @@ -391,7 +390,7 @@ let ctx_lookup_abs (ctx : eval_ctx) (abs_id : V.AbstractionId.id) : V.abs = let ctx_type_decl_is_rec (ctx : eval_ctx) (id : TypeDeclId.id) : bool = let decl_group = TypeDeclId.Map.find id ctx.type_context.type_decls_groups in - match decl_group with M.Rec _ -> true | M.NonRec _ -> false + match decl_group with Crates.Rec _ -> true | Crates.NonRec _ -> false (** Visitor to iterate over the values in the *current* frame *) class ['self] iter_frame = |