diff options
author | Son Ho | 2021-12-01 13:57:41 +0100 |
---|---|---|
committer | Son Ho | 2021-12-01 13:57:41 +0100 |
commit | 59af28530b66d49bf0a882ecee7b6198c2daf1e1 (patch) | |
tree | 967dc411a928c90db569a391c04e22502fbde839 /src/Substitute.ml | |
parent | 45f6fe94644944bac5a0fbbce5e6cda2c0fba65a (diff) |
Factorize type_var and region_var
Diffstat (limited to 'src/Substitute.ml')
-rw-r--r-- | src/Substitute.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Substitute.ml b/src/Substitute.ml index 13e0b583..635795ac 100644 --- a/src/Substitute.ml +++ b/src/Substitute.ml @@ -61,7 +61,7 @@ let make_type_subst (var_ids : T.TypeVarId.id list) (tys : 'r T.ty list) : let type_def_get_instantiated_field_type (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.tv_index) def.T.type_params) types + make_type_subst (List.map (fun x -> x.T.index) def.T.type_params) types in let fields = TU.type_def_get_fields def opt_variant_id in List.map |