Open liam923 opened 1 month ago
Yes I agree, there is a similar frustrating thing happening when asking for the definition of punned record arguments (but in that case it is less clear which is the correct answer).
It suspect that the interesting node is given a ghost location, so Merlin chooses the other one.
Consider the program:
Locating
x
on line 4 gives:In my opinion, for this command it would be better to treat
x
as the variable bound on line 3 rather than the one on line 4. I believe that if a user is querying the definition point ofx
on line 4, they likely want the definition that isn't on that line.