diff options
author | Mark Shinwell <mshinwell@gmail.com> | 2019-03-15 14:32:22 +0000 |
---|---|---|
committer | Mark Shinwell <mshinwell@gmail.com> | 2019-03-18 10:57:01 +0000 |
commit | c4272f7fe5f51df28c3bf3ef08e136e258876755 (patch) | |
tree | a46ae21272d3217be8aecbe1fc5f104213ca70cd /middle_end | |
parent | 4f03a1467d29cf587df5a191830f1525506ee0e3 (diff) | |
download | ocaml-c4272f7fe5f51df28c3bf3ef08e136e258876755.tar.gz |
Shorten symbol names of anonymous functions in Flambda mode
Diffstat (limited to 'middle_end')
-rw-r--r-- | middle_end/internal_variable_names.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/middle_end/internal_variable_names.ml b/middle_end/internal_variable_names.ml index 8edeb8c194..b87e73f74f 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 |