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/Substitute.ml | |
parent | 05b0bf5202aea7d55fee822e7607e70b3d6d98b6 (diff) |
Rename some functions
Diffstat (limited to 'src/Substitute.ml')
-rw-r--r-- | src/Substitute.ml | 6 |
1 files changed, 3 insertions, 3 deletions
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 |