diff options
author | Son Ho | 2021-12-01 13:49:32 +0100 |
---|---|---|
committer | Son Ho | 2021-12-01 13:49:32 +0100 |
commit | b951d7e571a24729303169733062154c4639f73a (patch) | |
tree | 0fc32d0a5d13fdeceb171f1045459e7d1b37a168 /src/Print.ml | |
parent | 309295376d22b1931ff7cb908e4d9283e86ecc50 (diff) |
Move some definitions to new files
Diffstat (limited to 'src/Print.ml')
-rw-r--r-- | src/Print.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/Print.ml b/src/Print.ml index 9c1aaa94..b4c9a73a 100644 --- a/src/Print.ml +++ b/src/Print.ml @@ -2,6 +2,7 @@ open Identifiers module T = Types +module TU = TypesUtils module V = Values module E = Expressions module A = CfimAst @@ -438,7 +439,7 @@ module Contexts = struct T.TypeDefId.id -> T.VariantId.id option -> string list option = fun def_id opt_variant_id -> let def = T.TypeDefId.nth ctx def_id in - let fields = T.type_def_get_fields def opt_variant_id in + let fields = TU.type_def_get_fields def opt_variant_id in (* TODO: the field name should be optional?? *) let fields = List.map (fun f -> f.T.field_name) fields in Some fields @@ -546,7 +547,7 @@ module CfimAst = struct T.TypeDefId.id -> T.VariantId.id option -> T.FieldId.id -> string = fun def_id opt_variant_id field_id -> let def = T.TypeDefId.nth ctx def_id in - let fields = T.type_def_get_fields def opt_variant_id in + let fields = TU.type_def_get_fields def opt_variant_id in let field = T.FieldId.nth fields field_id in field.T.field_name @@ -801,7 +802,7 @@ module CfimAst = struct (* Return type *) let ret_ty = sg.output in let ret_ty = - if T.ty_is_unit ret_ty then "" else " -> " ^ rty_to_string ret_ty + if TU.ty_is_unit ret_ty then "" else " -> " ^ rty_to_string ret_ty in (* All the locals (with erased regions) *) |