diff options
author | Son Ho | 2022-03-03 11:47:26 +0100 |
---|---|---|
committer | Son Ho | 2022-03-03 11:47:26 +0100 |
commit | 848874a4eb5d29742f7afa2567bc424871b1c7ef (patch) | |
tree | 2b5cc7ecb465124970fa89f372cd5b7d966779ef /src/InterpreterExpressions.ml | |
parent | 872c4dda8970df119a5aa06cd0c91fb91627bb49 (diff) |
Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...decl
Diffstat (limited to '')
-rw-r--r-- | src/InterpreterExpressions.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/InterpreterExpressions.ml b/src/InterpreterExpressions.ml index 9e4466b8..3043bc7a 100644 --- a/src/InterpreterExpressions.ml +++ b/src/InterpreterExpressions.ml @@ -89,9 +89,9 @@ let rec operand_constant_value_to_typed_value (ctx : C.eval_ctx) (ty : T.ety) let field_tys = match adt_id with | T.AdtId def_id -> - let def = C.ctx_lookup_type_def ctx def_id in + let def = C.ctx_lookup_type_decl ctx def_id in assert (def.region_params = []); - Subst.type_def_get_instantiated_field_etypes def variant_id + Subst.type_decl_get_instantiated_field_etypes def variant_id type_params | T.Tuple -> type_params | T.Assumed _ -> failwith "Unreachable" @@ -601,8 +601,8 @@ let eval_rvalue_aggregate (config : C.config) cf aggregated ctx | E.AggregatedAdt (def_id, opt_variant_id, regions, types) -> (* Sanity checks *) - let type_def = C.ctx_lookup_type_def ctx def_id in - assert (List.length type_def.region_params = List.length regions); + let type_decl = C.ctx_lookup_type_decl ctx def_id in + assert (List.length type_decl.region_params = List.length regions); let expected_field_types = Subst.ctx_adt_get_instantiated_field_etypes ctx def_id opt_variant_id types |