diff options
Diffstat (limited to 'compiler/Contexts.ml')
-rw-r--r-- | compiler/Contexts.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/Contexts.ml b/compiler/Contexts.ml index 52815859..2d5fd907 100644 --- a/compiler/Contexts.ml +++ b/compiler/Contexts.ml @@ -210,7 +210,7 @@ let config_of_partial (mode : interpreter_mode) (config : partial_config) : } type type_context = { - type_decls_groups : Crates.type_declaration_group TypeDeclId.Map.t; + type_decls_groups : type_declaration_group TypeDeclId.Map.t; type_decls : type_decl TypeDeclId.Map.t; type_infos : TypesAnalysis.type_infos; } @@ -391,7 +391,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 Crates.Rec _ -> true | Crates.NonRec _ -> false + match decl_group with Rec _ -> true | NonRec _ -> false (** Visitor to iterate over the values in the *current* frame *) class ['self] iter_frame = |