An Erlang LS user reported a bug in the server which prevents code navigation in the following case (to the {{hello/1}} function).


{noformat}
-module(erlang_ls_goto).

-export([hello/1]).
-export([hi/1]).
-export([howdy/1]).

-define(HELLO(World), {hello, World}).
-define(HOWDY, howdy).

hello(?HELLO(World)) ->
    World.

hi({hi, World}) ->
    World.

howdy(?HOWDY) ->
    howdy. {noformat}

See the detailed discussion at: [https://github.com/erlang-ls/erlang_ls/issues/805]

We believe this is caused by an underlying issue in \{{epp_dodger}} itself, which is part of OTP. The minimal, reproducible example:


{noformat}
% 14:58:42 <0.1305.0>({erlang,apply,2})
% epp_dodger:fix_form([{atom,10,hello},
 {'(',10},
 {'(',0},
 {atom,10,'? <macro> ('},
 {'(',10},
 {var,10,'HELLO'},
 {',',10},
 {var,10,'World'},
 {')',10},
 {')',0},
 {')',10},
 {'->',10},
 {var,11,'World'},
 {dot,11}])

% 14:58:42 <0.1305.0>({erlang,apply,2})
% epp_dodger:fix_form/1 -> error {noformat}
Even if not the prettiest code, the above module compiles correctly, so it should be considered valid Erlang code.