summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_bench/files/ppx_bench-0.15.0-ppxlib0.29.0.patch
blob: 580af9eb4b76768b05e05e521f24475162f31bdf (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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