diff options
| author | Son Ho | 2022-03-03 11:47:26 +0100 |
|---|---|---|
| committer | Son Ho | 2022-03-03 11:47:26 +0100 |
| commit | 848874a4eb5d29742f7afa2567bc424871b1c7ef (patch) | |
| tree | 2b5cc7ecb465124970fa89f372cd5b7d966779ef /src/Invariants.ml | |
| parent | 872c4dda8970df119a5aa06cd0c91fb91627bb49 (diff) | |
Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...decl
Diffstat (limited to 'src/Invariants.ml')
| -rw-r--r-- | src/Invariants.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Invariants.ml b/src/Invariants.ml index 0e4b1e23..78d7cb8d 100644 --- a/src/Invariants.ml +++ b/src/Invariants.ml @@ -410,7 +410,7 @@ let check_typing_invariant (ctx : C.eval_ctx) : unit = | V.Adt av, T.Adt (T.AdtId def_id, regions, tys) -> (* Retrieve the definition to check the variant id, the number of * parameters, etc. *) - let def = C.ctx_lookup_type_def ctx def_id in + let def = C.ctx_lookup_type_decl ctx def_id in (* Check the number of parameters *) assert (List.length regions = List.length def.region_params); assert (List.length tys = List.length def.type_params); @@ -422,7 +422,7 @@ let check_typing_invariant (ctx : C.eval_ctx) : unit = | _ -> failwith "Erroneous typing"); (* Check that the field types are correct *) let field_types = - Subst.type_def_get_instantiated_field_etypes def av.V.variant_id + Subst.type_decl_get_instantiated_field_etypes def av.V.variant_id tys in let fields_with_types = @@ -509,7 +509,7 @@ let check_typing_invariant (ctx : C.eval_ctx) : unit = | V.AAdt av, T.Adt (T.AdtId def_id, regions, tys) -> (* Retrieve the definition to check the variant id, the number of * parameters, etc. *) - let def = C.ctx_lookup_type_def ctx def_id in + let def = C.ctx_lookup_type_decl ctx def_id in (* Check the number of parameters *) assert (List.length regions = List.length def.region_params); assert (List.length tys = List.length def.type_params); @@ -521,7 +521,7 @@ let check_typing_invariant (ctx : C.eval_ctx) : unit = | _ -> failwith "Erroneous typing"); (* Check that the field types are correct *) let field_types = - Subst.type_def_get_instantiated_field_rtypes def av.V.variant_id + Subst.type_decl_get_instantiated_field_rtypes def av.V.variant_id regions tys in let fields_with_types = |