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 | |
parent | 05b0bf5202aea7d55fee822e7607e70b3d6d98b6 (diff) |
Rename some functions
Diffstat (limited to 'src')
-rw-r--r-- | src/Interpreter.ml | 6 | ||||
-rw-r--r-- | src/Substitute.ml | 6 |
2 files changed, 6 insertions, 6 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 diff --git a/src/Substitute.ml b/src/Substitute.ml index 9adbf4a6..b3a8fcf5 100644 --- a/src/Substitute.ml +++ b/src/Substitute.ml @@ -55,7 +55,7 @@ let make_type_subst (var_ids : T.TypeVarId.id list) (tys : 'r T.ty list) : (** Instantiate the type variables in an ADT definition, and return the list of types of the fields for the chosen variant *) -let type_def_get_instantiated_field_type (def : T.type_def) +let type_def_get_instantiated_field_etype (def : T.type_def) (opt_variant_id : T.VariantId.id option) (types : T.ety list) : T.ety list = let ty_subst = make_type_subst (List.map (fun x -> x.T.index) def.T.type_params) types @@ -67,11 +67,11 @@ let type_def_get_instantiated_field_type (def : T.type_def) (** Return the types of the properly instantiated ADT's variant, provided a context *) -let ctx_adt_get_instantiated_field_types (ctx : C.eval_ctx) +let ctx_adt_get_instantiated_field_etypes (ctx : C.eval_ctx) (def_id : T.TypeDefId.id) (opt_variant_id : T.VariantId.id option) (types : T.ety list) : T.ety list = let def = C.ctx_lookup_type_def ctx def_id in - type_def_get_instantiated_field_type def opt_variant_id types + type_def_get_instantiated_field_etype def opt_variant_id types (** Apply a type substitution to a place *) let place_substitute (_tsubst : T.TypeVarId.id -> T.ety) (p : E.place) : E.place |