We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9c069b7 commit 85ea7d9Copy full SHA for 85ea7d9
analysis/src/Commands.ml
@@ -94,7 +94,7 @@ let definition ~path ~pos ~debug =
94
| Some locItem -> (
95
match References.definitionForLocItem ~full locItem with
96
| None -> None
97
- | Some (uri, loc) ->
+ | Some (uri, loc) when not loc.loc_ghost ->
98
let isInterface = full.file.uri |> Uri.isInterface in
99
let posIsZero {Lexing.pos_lnum; pos_bol; pos_cnum} =
100
(* range is zero *)
@@ -113,7 +113,7 @@ let definition ~path ~pos ~debug =
113
else
114
Some
115
{Protocol.uri = Uri.toString uri; range = Utils.cmtLocToRange loc}
116
- ))
+ | Some _ -> None))
117
in
118
print_endline
119
(match locationOpt with
0 commit comments