From c4272f7fe5f51df28c3bf3ef08e136e258876755 Mon Sep 17 00:00:00 2001 From: Mark Shinwell Date: Fri, 15 Mar 2019 14:32:22 +0000 Subject: [PATCH 1/2] Shorten symbol names of anonymous functions in Flambda mode --- middle_end/internal_variable_names.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/middle_end/internal_variable_names.ml b/middle_end/internal_variable_names.ml index 8edeb8c194c4..b87e73f74f30 100644 --- a/middle_end/internal_variable_names.ml +++ b/middle_end/internal_variable_names.ml @@ -299,8 +299,8 @@ let anon_fn_with_loc (loc: Location.t) = if startchar >= 0 then Format.fprintf ppf ",%i--%i" startchar endchar in if loc.Location.loc_ghost then "anon_fn" else - Format.asprintf "anon_fn[%a:%i%t]" - Location.print_filename file line pp_chars + Format.asprintf "anon_fn[%s:%i%t]" + (Filename.basename file) line pp_chars let of_primitive : Lambda.primitive -> string = function | Pidentity -> pidentity From c843e2dd72b5d6452097442498bec40f8c1773f7 Mon Sep 17 00:00:00 2001 From: Mark Shinwell Date: Mon, 18 Mar 2019 10:56:56 +0000 Subject: [PATCH 2/2] Changes --- Changes | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Changes b/Changes index 82c8ab726ce5..3ff42833a841 100644 --- a/Changes +++ b/Changes @@ -9,6 +9,10 @@ Working version iOS and other Darwin targets. (Mark Shinwell, review by Nicolas Ojeda Bar and Xavier Leroy) +- GPR#8507: Shorten symbol names of anonymous functions in Flambda mode + (the directory portions are now hidden) + (Mark Shinwell, review by Nicolás Ojeda Bär) + ### Compiler user-interface and warnings: * GPR#2276: Remove support for compiler plugins and hooks (also adds