commit: 7353368aff7cacc2a7a245d2316c7f5f45c761b2 Author: Michael Mair-Keimberger <mm1ke <AT> gentoo <DOT> org> AuthorDate: Sun Dec 7 22:28:51 2025 +0000 Commit: Michael Mair-Keimberger <mm1ke <AT> gentoo <DOT> org> CommitDate: Sun Dec 7 22:28:51 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7353368a
dev-ml/ppx_bench: remove unused patch(es) Signed-off-by: Michael Mair-Keimberger <mm1ke <AT> gentoo.org> .../files/ppx_bench-0.15.0-ppxlib0.29.0.patch | 23 ---------------------- 1 file changed, 23 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 deleted file mode 100644 index 580af9eb4b76..000000000000 --- a/dev-ml/ppx_bench/files/ppx_bench-0.15.0-ppxlib0.29.0.patch +++ /dev/null @@ -1,23 +0,0 @@ -From ce7bcca13aff40dd667e231fc0892c8753d0fc94 Mon Sep 17 00:00:00 2001 -From: Carl Eastlund <[email protected]> -Date: Thu, 19 Jan 2023 12:20:01 -0500 -Subject: [PATCH] Stop using [Ppxlib.File_path]. - -Signed-off-by: Carl Eastlund <[email protected]> ---- - 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
