[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How does one find out what file a library has been loaded from?
From: |
Eli Zaretskii |
Subject: |
Re: How does one find out what file a library has been loaded from? |
Date: |
Sun, 24 Jul 2022 18:42:00 +0300 |
> Date: Sun, 24 Jul 2022 18:37:10 +0300
> From: Eli Zaretskii <eliz@gnu.org>
> CC: emacs-devel@gnu.org
>
> Btw, we could extend symbol-file to support a new kind of TYPE arg,
> to ask about a natively-compiled symbol, and then we could return the
> .eln file instead of the .elc file, when appropriate.
Or maybe add a new optional argument native-p, which, if non-nil,
would report the .eln file, if any, from which the symbol was loaded.
- Re: How does one find out what file a library has been loaded from?, (continued)
- Re: How does one find out what file a library has been loaded from?, Eli Zaretskii, 2022/07/21
- Re: How does one find out what file a library has been loaded from?, Alan Mackenzie, 2022/07/21
- Re: How does one find out what file a library has been loaded from?, Eli Zaretskii, 2022/07/23
- Re: How does one find out what file a library has been loaded from?, Alan Mackenzie, 2022/07/24
- Re: How does one find out what file a library has been loaded from?, Eli Zaretskii, 2022/07/24
- Re: How does one find out what file a library has been loaded from?, Eli Zaretskii, 2022/07/24
- Re: How does one find out what file a library has been loaded from?,
Eli Zaretskii <=
- Re: How does one find out what file a library has been loaded from?, Stefan Monnier, 2022/07/24
- Re: How does one find out what file a library has been loaded from?, T.V Raman, 2022/07/24
- Re: How does one find out what file a library has been loaded from?, Stefan Monnier, 2022/07/24
- Re: How does one find out what file a library has been loaded from?, T.V Raman, 2022/07/24
- Re: How does one find out what file a library has been loaded from?, Stefan Monnier, 2022/07/24
- Re: How does one find out what file a library has been loaded from?, Eli Zaretskii, 2022/07/24
- Re: How does one find out what file a library has been loaded from?, Stefan Monnier, 2022/07/19
- Re: How does one find out what file a library has been loaded from?, Andrea Corallo, 2022/07/20
- Re: How does one find out what file a library has been loaded from?, Eli Zaretskii, 2022/07/21