diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-02-12 09:56:54 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-02-12 09:56:54 +0000 |
commit | ebc282ef4dfa408accac685565b8ee5f6faec119 (patch) | |
tree | c0a4f713228cda0ab17eed46f0bb7ca8cb8be2f6 /dev-ml/ppx_bench/files/ppx_bench-0.15.0-ppxlib0.29.0.patch | |
parent | 6c8694a707151d59555b0e4e48235f085ce166c3 (diff) |
gentoo auto-resync : 12:02:2023 - 09:56:54
Diffstat (limited to 'dev-ml/ppx_bench/files/ppx_bench-0.15.0-ppxlib0.29.0.patch')
-rw-r--r-- | dev-ml/ppx_bench/files/ppx_bench-0.15.0-ppxlib0.29.0.patch | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/dev-ml/ppx_bench/files/ppx_bench-0.15.0-ppxlib0.29.0.patch b/dev-ml/ppx_bench/files/ppx_bench-0.15.0-ppxlib0.29.0.patch new file mode 100644 index 000000000000..580af9eb4b76 --- /dev/null +++ b/dev-ml/ppx_bench/files/ppx_bench-0.15.0-ppxlib0.29.0.patch @@ -0,0 +1,23 @@ +From ce7bcca13aff40dd667e231fc0892c8753d0fc94 Mon Sep 17 00:00:00 2001 +From: Carl Eastlund <ceastlund@janestreet.com> +Date: Thu, 19 Jan 2023 12:20:01 -0500 +Subject: [PATCH] Stop using [Ppxlib.File_path]. + +Signed-off-by: Carl Eastlund <ceastlund@janestreet.com> +--- + src/ppx_bench.ml | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/src/ppx_bench.ml b/src/ppx_bench.ml +index 0c027e8..b825997 100644 +--- a/src/ppx_bench.ml ++++ b/src/ppx_bench.ml +@@ -49,7 +49,7 @@ let maybe_drop loc code = + ;; + + let descr (loc : Location.t) ?(inner_loc = loc) () = +- let filename = File_path.get_default_path loc in ++ let filename = loc.loc_start.pos_fname in + let line = loc.loc_start.pos_lnum in + let start_pos = loc.loc_start.pos_cnum - loc.loc_start.pos_bol in + let end_pos = inner_loc.Location.loc_end.pos_cnum - loc.loc_start.pos_bol in |