diff options
author | Son Ho | 2023-11-16 10:13:28 +0100 |
---|---|---|
committer | Son Ho | 2023-11-16 10:13:28 +0100 |
commit | a27efd1ed08bc9583752445d9eda7a693c0c7379 (patch) | |
tree | 5a3d1f1522cf813522798bb9bfd43d928b0b88e9 /compiler/TranslateCore.ml | |
parent | e0351ad287332d5d1c71cee6a834f775db98966d (diff) |
Finish propagating the changes to the names and cleaning
Diffstat (limited to 'compiler/TranslateCore.ml')
-rw-r--r-- | compiler/TranslateCore.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/TranslateCore.ml b/compiler/TranslateCore.ml index a148175d..a974cdee 100644 --- a/compiler/TranslateCore.ml +++ b/compiler/TranslateCore.ml @@ -26,3 +26,6 @@ let trans_ctx_to_fmt_env (ctx : trans_ctx) : Print.fmt_env = let trans_ctx_to_pure_fmt_env (ctx : trans_ctx) : PrintPure.fmt_env = PrintPure.decls_ctx_to_fmt_env ctx + +let name_to_string (ctx : trans_ctx) = + Print.Types.name_to_string (trans_ctx_to_fmt_env ctx) |