Zulip Chat Archive
Stream: general
Topic: Go to definition misses
Bhavik Mehta (Jan 20 2022 at 16:40):
In data/list/prime
, line 50, if I use go to definition on dvd_prime_iff_associated
, instead of being taken to that definition (or to the definition of rw
) I get taken to the definition of pp
in core system/io
. Is there anything we can do about this sort of issue?
Last updated: Dec 20 2023 at 11:08 UTC