From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Alan Mackenzie Newsgroups: gmane.emacs.devel Subject: Re: How does one find out what file a library has been loaded from? Date: Thu, 21 Jul 2022 18:24:17 +0000 Message-ID: References: <83bktlnuog.fsf@gnu.org> <83sfmxm79z.fsf@gnu.org> <83fsiwncem.fsf@gnu.org> <83mtd3ngcw.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="32794"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Eli Zaretskii , emacs-devel@gnu.org To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Thu Jul 21 20:25:45 2022 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1oEarp-0008MY-CL for ged-emacs-devel@m.gmane-mx.org; Thu, 21 Jul 2022 20:25:45 +0200 Original-Received: from localhost ([::1]:40932 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oEaro-0004ub-CJ for ged-emacs-devel@m.gmane-mx.org; Thu, 21 Jul 2022 14:25:44 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:45410) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oEaqU-0003bI-Eh for emacs-devel@gnu.org; Thu, 21 Jul 2022 14:24:23 -0400 Original-Received: from colin.muc.de ([193.149.48.1]:10061 helo=mail.muc.de) by eggs.gnu.org with smtp (Exim 4.90_1) (envelope-from ) id 1oEaqS-0000NS-BJ for emacs-devel@gnu.org; Thu, 21 Jul 2022 14:24:22 -0400 Original-Received: (qmail 79809 invoked by uid 3782); 21 Jul 2022 18:24:17 -0000 Original-Received: from acm.muc.de (p4fe15d83.dip0.t-ipconnect.de [79.225.93.131]) (using STARTTLS) by colin.muc.de (tmda-ofmipd) with ESMTP; Thu, 21 Jul 2022 20:24:17 +0200 Original-Received: (qmail 7292 invoked by uid 1000); 21 Jul 2022 18:24:17 -0000 Content-Disposition: inline In-Reply-To: X-Submission-Agent: TMDA/1.3.x (Ph3nix) X-Primary-Address: acm@muc.de Received-SPF: pass client-ip=193.149.48.1; envelope-from=acm@muc.de; helo=mail.muc.de X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.io gmane.emacs.devel:292390 Archived-At: Hello, Stefan. On Thu, Jul 21, 2022 at 13:52:43 -0400, Stefan Monnier wrote: > > It's accurate, though. The current text is not accurate. The situation > > it is describing is vague and confusing. > > Would this strategy be an improvement: "This function returns a file > > name. When the file from which the function was loaded was a source > > file or byte compiled file ....... When that file was a native compiled > > file ......."? > BTW, the design of the native code compiler is that it aims to be > transparent, a bit like a JIT compiler would be transparent: I think the word you should be using is not "transparent", but "opaque". > whether the native code comes from a .eln file or was generated > on-the-fly or combined from several .eln files (or any other option > you can come up with) should ideally not matterd. That is a gross departure from long valued Emacs philosophy - that there should be nothing "transparent" (i.e. opaque) to the user, and that it's not for us maintainers to predict what users want to do in their hacking (and thus restrict Emacs to just doing those predicted things). For crying out loud, you can even get the position of the gap in Emacs Lisp. That is surely a candidate for being "transparent" (i.e. opaque) if ever there were one. > (ELisp code shouldn't need to know and end-users shouldn't need to > know either (barring bugs or curiosity of course)) For those reasons, amongs others, there shouldn't be these transparent (i.e. opaque) things. > Clearly we do want to make that info visible somehow (e.g. for debugging > purposes, but also because we can never make something really > transparent), but it's very different from `load-history` which keeps > track of information that is relevant: whether /usr/share/.../org.el, or > usr/share/.../org.elc, or ~/.emacs.d/elpa/.../org.el, or ... was loaded > can result in different outcomes even if there's no bug anywhere. > Those 4 files do not have the same semantics., e.g. because it's not the > same version of Org, or because of the `eval-when-compile` in `org.el`. I think we've violently in agreement, here. > Stefan -- Alan Mackenzie (Nuremberg, Germany).