File tree Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Original file line number Diff line number Diff line change @@ -211,16 +211,18 @@ end = struct
211211 | Event_after _ -> loc.Location. loc_end
212212 | _ -> loc.Location. loc_start in
213213 let src =
214- let uname = Filename. (basename (chop_extension pos.Lexing. pos_fname)) in
215214 try
215+ let uname = Filename. (basename (chop_extension pos.Lexing. pos_fname)) in
216216 let unit = Hashtbl. find units uname in
217217 try Some (Util. absolute_path
218218 (Util. find_in_path unit .paths pos.Lexing. pos_fname)) with
219219 | Not_found ->
220220 match unit .source with
221221 | Some x -> Some (Util. absolute_path x)
222222 | None -> raise Not_found
223- with Not_found -> None (* Some (pos.Lexing.pos_fname) *)
223+ with
224+ | Not_found
225+ | Invalid_argument _ -> None (* Some (pos.Lexing.pos_fname) *)
224226 in
225227 Some {Parse_info. name = Some pos.Lexing. pos_fname;
226228 src;
You can’t perform that action at this time.
0 commit comments