diff options
| author | Son Ho | 2023-12-05 15:00:46 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-05 15:00:46 +0100 |
| commit | 60ce69b83cbd749781543bb16becb5357f0e1a0a (patch) | |
| tree | bd847cb3ed7a00644ea643325468e5328f06e220 /compiler/Interpreter.ml | |
| parent | 054d7256ed90f752ae6b39ebba608f89076d38e7 (diff) | |
Update following changes in Charon
Diffstat (limited to '')
| -rw-r--r-- | compiler/Interpreter.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/Interpreter.ml b/compiler/Interpreter.ml index c2e47da9..4ecafd31 100644 --- a/compiler/Interpreter.ml +++ b/compiler/Interpreter.ml @@ -68,7 +68,7 @@ let normalize_inst_fun_sig (ctx : eval_ctx) (sg : inst_fun_sig) : inst_fun_sig = normalize because a trait clause was instantiated with a specific trait ref). *) let symbolic_instantiate_fun_sig (ctx : eval_ctx) (sg : fun_sig) - (regions_hierarchy : region_groups) (kind : fun_kind) : + (regions_hierarchy : region_var_groups) (kind : fun_kind) : eval_ctx * inst_fun_sig = let tr_self = match kind with @@ -192,7 +192,7 @@ let initialize_symbolic_context_for_fun (ctx : decls_ctx) (fdef : fun_decl) : FunIdMap.find (FRegular fdef.def_id) ctx.fun_ctx.regions_hierarchies in let region_groups = - List.map (fun (g : region_group) -> g.id) regions_hierarchy + List.map (fun (g : region_var_group) -> g.id) regions_hierarchy in let ctx = initialize_eval_context ctx region_groups sg.generics.types |