commit: 48a0fef11195a1dd6061fc507583072739b2119e Author: Michael Mair-Keimberger <mm1ke <AT> gentoo <DOT> org> AuthorDate: Sun Dec 7 22:29:32 2025 +0000 Commit: Michael Mair-Keimberger <mm1ke <AT> gentoo <DOT> org> CommitDate: Sun Dec 7 22:29:32 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=48a0fef1
dev-ml/ppx_inline_test: remove unused patch(es) Signed-off-by: Michael Mair-Keimberger <mm1ke <AT> gentoo.org> .../files/ppx_inline_test-0.15.0-pr39.patch | 23 ---------------------- 1 file changed, 23 deletions(-) diff --git a/dev-ml/ppx_inline_test/files/ppx_inline_test-0.15.0-pr39.patch b/dev-ml/ppx_inline_test/files/ppx_inline_test-0.15.0-pr39.patch deleted file mode 100644 index 39c5a9c8ca0a..000000000000 --- a/dev-ml/ppx_inline_test/files/ppx_inline_test-0.15.0-pr39.patch +++ /dev/null @@ -1,23 +0,0 @@ -From 99e6e5819118c3ebf06bccc879a15175b9221148 Mon Sep 17 00:00:00 2001 -From: Carl Eastlund <[email protected]> -Date: Thu, 19 Jan 2023 12:25:16 -0500 -Subject: [PATCH] Stop using [Ppxlib.File_path]. - -Signed-off-by: Carl Eastlund <[email protected]> ---- - src/ppx_inline_test.ml | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) - -diff --git a/src/ppx_inline_test.ml b/src/ppx_inline_test.ml -index 7f2e854..37c9791 100644 ---- a/src/ppx_inline_test.ml -+++ b/src/ppx_inline_test.ml -@@ -82,7 +82,7 @@ let rec short_desc_of_expr ~max_len e = - ;; - - let descr ~(loc:Location.t) ?(inner_loc=loc) e_opt id_opt = -- 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
