2
0
Эх сурвалжийг харах

[hl] use classpaths relative_path for get_relative_path (#12219)

Yuxiao Mao 5 сар өмнө
parent
commit
6a1cd68819
1 өөрчлөгдсөн 2 нэмэгдсэн , 12 устгасан
  1. 2 12
      src/generators/genhl.ml

+ 2 - 12
src/generators/genhl.ml

@@ -333,18 +333,8 @@ let make_debug ctx arr =
 		| true -> if (Filename.is_relative p.pfile)
 			then Filename.concat (Sys.getcwd()) p.pfile
 			else p.pfile
-		| false -> try
-			(* lookup relative path *)
-			let len = String.length p.pfile in
-			let base = ctx.com.class_paths#find (fun path ->
-				let path = path#path in
-				let l = String.length path in
-				len > l && String.sub p.pfile 0 l = path
-			) in
-			let l = String.length base#path in
-			String.sub p.pfile l (len - l)
-		with Not_found ->
-			p.pfile
+		| false ->
+			ctx.com.class_paths#relative_path p.pfile
 	in
 	let pos = ref (0,0,Globals.null_pos) in
 	let cur_file = ref 0 in