diff options
| author | Son Ho | 2021-12-17 16:23:34 +0100 |
|---|---|---|
| committer | Son Ho | 2021-12-17 16:23:34 +0100 |
| commit | 88558dcbb12bde11af6fba9eb36e1f4841b8e7d1 (patch) | |
| tree | a7629435c6495d1aeb9c9569e8bfd5d14a3e5e5e /src/Interpreter.ml | |
| parent | 05b0bf5202aea7d55fee822e7607e70b3d6d98b6 (diff) | |
Rename some functions
Diffstat (limited to 'src/Interpreter.ml')
| -rw-r--r-- | src/Interpreter.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml index c39387a7..5c57a9af 100644 --- a/src/Interpreter.ml +++ b/src/Interpreter.ml @@ -1888,7 +1888,7 @@ let compute_expanded_bottom_adt_value (tyctx : T.type_def list) assert (List.length regions = List.length def.T.region_params); (* Compute the field types *) let field_types = - Subst.type_def_get_instantiated_field_type def opt_variant_id types + Subst.type_def_get_instantiated_field_etype def opt_variant_id types in (* Initialize the expanded value *) let fields = @@ -2544,8 +2544,8 @@ let eval_rvalue (config : C.config) (ctx : C.eval_ctx) (rvalue : E.rvalue) : let type_def = C.ctx_lookup_type_def ctx def_id in assert (List.length type_def.region_params = List.length regions); let expected_field_types = - Subst.ctx_adt_get_instantiated_field_types ctx def_id opt_variant_id - types + Subst.ctx_adt_get_instantiated_field_etypes ctx def_id + opt_variant_id types in assert ( expected_field_types |