diff options
author | Son Ho | 2021-11-29 21:58:09 +0100 |
---|---|---|
committer | Son Ho | 2021-11-29 21:58:09 +0100 |
commit | c8c318b7d4ccf7db32783e1e14b1c2a8d123c6b5 (patch) | |
tree | efd809e88849572f20ae3c6f20731c5e01a14c9d /src/Substitute.ml | |
parent | 28ac519542262bbce6bac6dadb002ccd8945edac (diff) |
Test the unit functions
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 cad61595..452b125f 100644 --- a/src/Substitute.ml +++ b/src/Substitute.ml @@ -63,7 +63,7 @@ let type_def_get_instantiated_field_type (def : T.type_def) (T.TypeVarId.vector_to_list def.T.type_params)) types in - let fields = type_def_get_fields def opt_variant_id in + let fields = T.type_def_get_fields def opt_variant_id in T.FieldId.map (fun f -> erase_regions_substitute_types ty_subst f.T.field_ty) fields |