summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_inline_test/files
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/ppx_inline_test/files')
-rw-r--r--dev-ml/ppx_inline_test/files/ppx_inline_test-0.15.0-pr39.patch23
1 files changed, 0 insertions, 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 <ceastlund@janestreet.com>
-Date: Thu, 19 Jan 2023 12:25:16 -0500
-Subject: [PATCH] Stop using [Ppxlib.File_path].
-
-Signed-off-by: Carl Eastlund <ceastlund@janestreet.com>
----
- 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