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/PrintSymbolicAst.ml | |
parent | 872c4dda8970df119a5aa06cd0c91fb91627bb49 (diff) |
Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...decl
Diffstat (limited to '')
-rw-r--r-- | src/PrintSymbolicAst.ml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/PrintSymbolicAst.ml b/src/PrintSymbolicAst.ml index 25b39e2e..1679aa6c 100644 --- a/src/PrintSymbolicAst.ml +++ b/src/PrintSymbolicAst.ml @@ -20,7 +20,7 @@ module PT = Print.Types type formatting_ctx = { type_context : C.type_context; - fun_context : A.fun_def A.FunDefId.Map.t; + fun_context : A.fun_decl A.FunDeclId.Map.t; type_vars : T.type_var list; } @@ -35,24 +35,24 @@ let formatting_ctx_to_formatter (ctx : formatting_ctx) : formatter = let v = T.TypeVarId.nth ctx.type_vars vid in v.name in - let type_def_id_to_string def_id = - let def = T.TypeDefId.Map.find def_id ctx.type_context.type_defs in + let type_decl_id_to_string def_id = + let def = T.TypeDeclId.Map.find def_id ctx.type_context.type_decls in P.name_to_string def.name in let adt_variant_to_string = - P.Contexts.type_ctx_to_adt_variant_to_string_fun ctx.type_context.type_defs + P.Contexts.type_ctx_to_adt_variant_to_string_fun ctx.type_context.type_decls in (* We shouldn't use [var_id_to_string] *) let var_id_to_string _ = failwith "Unexpected use of var_id_to_string" in let adt_field_names = - P.Contexts.type_ctx_to_adt_field_names_fun ctx.type_context.type_defs + P.Contexts.type_ctx_to_adt_field_names_fun ctx.type_context.type_decls in { rvar_to_string; r_to_string; type_var_id_to_string; - type_def_id_to_string; + type_decl_id_to_string; adt_variant_to_string; var_id_to_string; adt_field_names; |