Merge pull request #8507 from mshinwell/flambda_name_mangling

Shorten symbol names of anonymous functions in Flambda mode
ocaml · Mar 18, 2019 · db1e59d · db1e59d
2 parents 4f03a14 + c843e2d
commit db1e59d
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git 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

diff --git 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