From unknown Sat Jun 21 12:13:52 2025 X-Loop: help-debbugs@gnu.org Subject: bug#76294: `(cl-proclaim (inline foo))` vs `(defsubst foo ...)` Resent-From: Stefan Kangas Original-Sender: "Debbugs-submit" Resent-CC: monnier@iro.umontreal.ca, joaotavora@gmail.com, bug-gnu-emacs@gnu.org Resent-Date: Fri, 14 Feb 2025 22:31:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 76294 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 76294@debbugs.gnu.org Cc: Stefan Monnier , =?UTF-8?Q?Jo=C3=A3o_?= =?UTF-8?Q?T=C3=A1vora?= X-Debbugs-Original-To: bug-gnu-emacs@gnu.org X-Debbugs-Original-Xcc: Stefan Monnier , =?UTF-8?Q?Jo=C3=A3o_?= =?UTF-8?Q?T=C3=A1vora?= Received: via spool by submit@debbugs.gnu.org id=B.173957220327377 (code B ref -1); Fri, 14 Feb 2025 22:31:02 +0000 Received: (at submit) by debbugs.gnu.org; 14 Feb 2025 22:30:03 +0000 Received: from localhost ([127.0.0.1]:52172 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tj4C9-000771-IQ for submit@debbugs.gnu.org; Fri, 14 Feb 2025 17:30:02 -0500 Received: from lists.gnu.org ([2001:470:142::17]:50042) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tj4C6-00076j-Bn for submit@debbugs.gnu.org; Fri, 14 Feb 2025 17:29:59 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tj4Bz-0007ez-OU for bug-gnu-emacs@gnu.org; Fri, 14 Feb 2025 17:29:51 -0500 Received: from mail-ed1-x52f.google.com ([2a00:1450:4864:20::52f]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1tj4By-0007dG-0G for bug-gnu-emacs@gnu.org; Fri, 14 Feb 2025 17:29:51 -0500 Received: by mail-ed1-x52f.google.com with SMTP id 4fb4d7f45d1cf-5de38c3d2acso4136170a12.1 for ; Fri, 14 Feb 2025 14:29:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1739572188; x=1740176988; darn=gnu.org; h=to:subject:message-id:date:mime-version:from:from:to:cc:subject :date:message-id:reply-to; bh=XYl/vWPSBJjxLA4GORUmsr4bItH+D9b0iGgy8ripxNU=; b=OTzkdc8D2ex2bdBJSOFyACbzUB9cA5HTGPnVP0w4V9uKSlayK+qVQIwVprOPyK47Ov 4cp/uf4SgLEJjh74Smno+ukVCqHkqLd3fVriFv0OjmgaO5Y2IJJtsO3nBYnKxCkN7LH/ IK+ajf+qc4OIV1OI2ebER6ClkkTBHy11x8zNlvzYQfKYRi0dKFaQcqNZkrFf92yODa8u HSKxQlK9OdAkZsHNeATSvzowbZepGX9c1i1vjBribHISrOxeDuqdOnaBmRJL0jJ55cQ+ CB6mmNaJevZ4PznuUbp0WPcGSR6urqBCyFcol7GJW6daMxsxIrXtNjor9Hb726E5wEiE xvwg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1739572188; x=1740176988; h=to:subject:message-id:date:mime-version:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=XYl/vWPSBJjxLA4GORUmsr4bItH+D9b0iGgy8ripxNU=; b=vfXrBKdRuwKuun7vih5EL9tI3mQp7PckfEEvnod2+VTO4mK3rmMi+16rNTl51LHPOP HLpiP87mfs3kpG7vHTmQVGlHMy4EgD1mYoeyGch3yCwta2FtbcxRKtPB9u7/h6piK+T/ Pliwi5hMgiLQ0OlL6Ql4gkdXIJ9seetLLtrFxFMtsjkrSIqAvaKxH36Y2vXnFXtzZaT5 SaOgcXq5cejcObuiGyoa27X/jXYoP5rDKE7ixTjxhbOf5kJjYCD9qSQm1WXG4R/sKgCS tG1xg6PBuAyiDL999A8HhEtyR7e5oBiLCWtJ26qPNSiijzPJQx1vUh2IAEYdKj1BtBI+ T5Ow== X-Gm-Message-State: AOJu0YyGAfQ1zS0dhpvKnyw1HC7pCsABi+NBM788xSN9y9QFqw9cw0x3 Z7gcvXvE1yrghuPXl5/ev7ffrRHn1pSMLPC5kZ9NVI3uBk5FiGpBEa+8oCvXmJh50KgMYBK96Eu h0hL/KLS6HrWZDuwqiVJhvm6ddgr9mn/t5D8= X-Gm-Gg: ASbGncu7UB/BNOT5s+faDBOnJ6XO2X0c0/Hg/LzHjn5/gqey9FCGVPBL3FKO3FCBKP2 4k66KM8cbcVWyM/9aqy1D53Hgudnn/opYkOnC5WRZTFFs7WaLJCiTdXTnxG0vs/AAZXepxVkW X-Google-Smtp-Source: AGHT+IFSfHh6Tm6jofv7hHx6KNV25GcGXQIMns3EevFcDcCllYGxWnkQpLjXuy9DI52BhXh5qcU1gmvsbjvpEpZQ0hE= X-Received: by 2002:a05:6402:2549:b0:5de:bcdf:bf50 with SMTP id 4fb4d7f45d1cf-5e0361f8989mr1118242a12.31.1739572188175; Fri, 14 Feb 2025 14:29:48 -0800 (PST) Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Fri, 14 Feb 2025 22:29:47 +0000 From: Stefan Kangas MIME-Version: 1.0 Date: Fri, 14 Feb 2025 22:29:47 +0000 X-Gm-Features: AWEUYZkIkeJR7m2h3F6H6iRUiS-rR0393gHMr4gTwAf_DF_aiaje-fMy0pkgNlE Message-ID: Content-Type: multipart/mixed; boundary="0000000000005693f6062e21b6a5" Received-SPF: pass client-ip=2a00:1450:4864:20::52f; envelope-from=stefankangas@gmail.com; helo=mail-ed1-x52f.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.0 (+) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) --0000000000005693f6062e21b6a5 Content-Type: text/plain; charset="UTF-8" Severity: wishlist May I ask what is the value proposition of (defun foo () ...) (cl-proclaim '(inline foo)) over (defsubst foo () ...) in Emacs Lisp code? I assume that it won't be much help when porting code from CL, so I guess it's just to make ELisp feel more homely to CL programmers? If it is intended as documentation of cl-proclaim itself, I propose improving the cl-proclaim documentation instead. The docstring is rather on the brief side, shall we say. I'm asking because running into this in cl-lib.el made me start to consider the below patch. It's possible that I'm just the wrong person to be digging around in cl-lib.el, though... --0000000000005693f6062e21b6a5 Content-Type: text/x-patch; charset="US-ASCII"; name="0001-Avoid-cl-proclaim.patch" Content-Disposition: attachment; filename="0001-Avoid-cl-proclaim.patch" Content-Transfer-Encoding: base64 X-Attachment-Id: f18289d9c99a9931_0.1 RnJvbSA4NzU3M2U0NjMyMGZkOWMyYjhmMTgzZWYzMTFiZjYzOTMxNTVjMmM0IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBTdGVmYW4gS2FuZ2FzIDxzdGVmYW5rYW5nYXNAZ21haWwuY29t PgpEYXRlOiBGcmksIDE0IEZlYiAyMDI1IDIzOjE4OjU2ICswMTAwClN1YmplY3Q6IFtQQVRDSF0g QXZvaWQgY2wtcHJvY2xhaW0KCi0tLQogbGlzcC9lbWFjcy1saXNwL2NsLWV4dHJhLmVsIHwgMTAg KysrKystLS0tLQogbGlzcC9lbWFjcy1saXNwL2NsLWxpYi5lbCAgIHwgIDIgKy0KIGxpc3AvZW1h Y3MtbGlzcC9jbC1tYWNzLmVsICB8ICA0IC0tLS0KIDMgZmlsZXMgY2hhbmdlZCwgNiBpbnNlcnRp b25zKCspLCAxMCBkZWxldGlvbnMoLSkKCmRpZmYgLS1naXQgYS9saXNwL2VtYWNzLWxpc3AvY2wt ZXh0cmEuZWwgYi9saXNwL2VtYWNzLWxpc3AvY2wtZXh0cmEuZWwKaW5kZXggNjJlMTIyMTdlMGQu LjA5NDcwNDU3ZDkzIDEwMDY0NAotLS0gYS9saXNwL2VtYWNzLWxpc3AvY2wtZXh0cmEuZWwKKysr IGIvbGlzcC9lbWFjcy1saXNwL2NsLWV4dHJhLmVsCkBAIC0xMjcsNyArMTI3LDcgQEAgY2wtLW1h cGNhci1tYW55CiAJKGFuZCBhY2MgKG5yZXZlcnNlIGNsLXJlcykpKSkpCiAKIDs7OyMjI2F1dG9s b2FkCi0oZGVmdW4gY2wtbWFwIChjbC10eXBlIGNsLWZ1bmMgY2wtc2VxICZyZXN0IGNsLXJlc3Qp CisoZGVmc3Vic3QgY2wtbWFwIChjbC10eXBlIGNsLWZ1bmMgY2wtc2VxICZyZXN0IGNsLXJlc3Qp CiAgICJNYXAgYSBGVU5DVElPTiBhY3Jvc3Mgb25lIG9yIG1vcmUgU0VRVUVOQ0VzLCByZXR1cm5p bmcgYSBzZXF1ZW5jZS4KIFRZUEUgaXMgdGhlIHNlcXVlbmNlIHR5cGUgdG8gcmV0dXJuLgogXG4o Zm4gVFlQRSBGVU5DVElPTiBTRVFVRU5DRS4uLikiCkBAIC0yMzksMTQgKzIzOSwxNCBAQCBjbC1l dmVyeQogICAgIChudWxsIGNsLXNlcSkpKQogCiA7OzsjIyNhdXRvbG9hZAotKGRlZnVuIGNsLW5v dGFueSAoY2wtcHJlZCBjbC1zZXEgJnJlc3QgY2wtcmVzdCkKKyhkZWZzdWJzdCBjbC1ub3Rhbnkg KGNsLXByZWQgY2wtc2VxICZyZXN0IGNsLXJlc3QpCiAgICJSZXR1cm4gdHJ1ZSBpZiBQUkVESUNB VEUgaXMgZmFsc2Ugb2YgZXZlcnkgZWxlbWVudCBvZiBTRVEgb3IgU0VRcy4KIFxuKGZuIFBSRURJ Q0FURSBTRVEuLi4pIgogICAoZGVjbGFyZSAoaW1wb3J0YW50LXJldHVybi12YWx1ZSB0KSkKICAg KG5vdCAoYXBwbHkgIydjbC1zb21lIGNsLXByZWQgY2wtc2VxIGNsLXJlc3QpKSkKIAogOzs7IyMj YXV0b2xvYWQKLShkZWZ1biBjbC1ub3RldmVyeSAoY2wtcHJlZCBjbC1zZXEgJnJlc3QgY2wtcmVz dCkKKyhkZWZzdWJzdCBjbC1ub3RldmVyeSAoY2wtcHJlZCBjbC1zZXEgJnJlc3QgY2wtcmVzdCkK ICAgIlJldHVybiB0cnVlIGlmIFBSRURJQ0FURSBpcyBmYWxzZSBvZiBzb21lIGVsZW1lbnQgb2Yg U0VRIG9yIFNFUXMuCiBcbihmbiBQUkVESUNBVEUgU0VRLi4uKSIKICAgKGRlY2xhcmUgKGltcG9y dGFudC1yZXR1cm4tdmFsdWUgdCkpCkBAIC01ODksMTMgKzU4OSwxMyBAQCBjbC1jb25jYXRlbmF0 ZQogOzs7IExpc3QgZnVuY3Rpb25zLgogCiA7OzsjIyNhdXRvbG9hZAotKGRlZnVuIGNsLXJldmFw cGVuZCAoeCB5KQorKGRlZnN1YnN0IGNsLXJldmFwcGVuZCAoeCB5KQogICAiRXF1aXZhbGVudCB0 byAoYXBwZW5kIChyZXZlcnNlIFgpIFkpLiIKICAgKGRlY2xhcmUgKHNpZGUtZWZmZWN0LWZyZWUg dCkpCiAgIChuY29uYyAocmV2ZXJzZSB4KSB5KSkKIAogOzs7IyMjYXV0b2xvYWQKLShkZWZ1biBj bC1ucmVjb25jICh4IHkpCisoZGVmc3Vic3QgY2wtbnJlY29uYyAoeCB5KQogICAiRXF1aXZhbGVu dCB0byAobmNvbmMgKG5yZXZlcnNlIFgpIFkpLiIKICAgKGRlY2xhcmUgKGltcG9ydGFudC1yZXR1 cm4tdmFsdWUgdCkpCiAgIChuY29uYyAobnJldmVyc2UgeCkgeSkpCmRpZmYgLS1naXQgYS9saXNw L2VtYWNzLWxpc3AvY2wtbGliLmVsIGIvbGlzcC9lbWFjcy1saXNwL2NsLWxpYi5lbAppbmRleCA4 ODNhMTNlMzI0NC4uZGJhMDFiMjgzMjUgMTAwNjQ0Ci0tLSBhL2xpc3AvZW1hY3MtbGlzcC9jbC1s aWIuZWwKKysrIGIvbGlzcC9lbWFjcy1saXNwL2NsLWxpYi5lbApAQCAtNTM1LDcgKzUzNSw3IEBA IGNsLS1kby1zdWJzdAogCSAgICAgICBjbC10cmVlIChjb25zIGEgZCkpKSkKIAkodCBjbC10cmVl KSkpCiAKLShkZWZ1biBjbC1hY29ucyAoa2V5IHZhbHVlIGFsaXN0KQorKGRlZnN1YnN0IGNsLWFj b25zIChrZXkgdmFsdWUgYWxpc3QpCiAgICJBZGQgS0VZIGFuZCBWQUxVRSB0byBBTElTVC4KIFJl dHVybiBhIG5ldyBsaXN0IHdpdGggKGNvbnMgS0VZIFZBTFVFKSBhcyBjYXIgYW5kIEFMSVNUIGFz IGNkci4iCiAgIChkZWNsYXJlIChzaWRlLWVmZmVjdC1mcmVlIGVycm9yLWZyZWUpKQpkaWZmIC0t Z2l0IGEvbGlzcC9lbWFjcy1saXNwL2NsLW1hY3MuZWwgYi9saXNwL2VtYWNzLWxpc3AvY2wtbWFj cy5lbAppbmRleCA0NGZlNjdiNmM4NS4uY2FhZmZjZjE5YmUgMTAwNjQ0Ci0tLSBhL2xpc3AvZW1h Y3MtbGlzcC9jbC1tYWNzLmVsCisrKyBiL2xpc3AvZW1hY3MtbGlzcC9jbC1tYWNzLmVsCkBAIC0z NzI1LDEwICszNzI1LDYgQEAgY2wtLWNvbXBpbGVyLW1hY3JvLWdldAogICAgICAgYChjbC1nZXRm IChzeW1ib2wtcGxpc3QgLHN5bSkgLHByb3AgLGRlZikKICAgICBgKGdldCAsc3ltICxwcm9wKSkp CiAKLTs7OyBUaGluZ3MgdGhhdCBhcmUgaW5saW5lLgotKGNsLXByb2NsYWltICcoaW5saW5lIGNs LWFjb25zIGNsLW1hcCBjbC1ub3RhbnkgY2wtbm90ZXZlcnkgY2wtcmV2YXBwZW5kCi0gICAgICAg ICAgICAgICBjbC1ucmVjb25jKSkKLQogOzs7IFR5cGVzIGFuZCBhc3NlcnRpb25zLgogCiA7Ozsj IyNhdXRvbG9hZAotLSAKMi40OC4xCgo= --0000000000005693f6062e21b6a5-- From unknown Sat Jun 21 12:13:52 2025 X-Loop: help-debbugs@gnu.org Subject: bug#76294: `(cl-proclaim (inline foo))` vs `(defsubst foo ...)` Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 14 Feb 2025 22:53:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76294 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Kangas Cc: 76294@debbugs.gnu.org, =?UTF-8?Q?Jo=C3=A3o_?= =?UTF-8?Q?T=C3=A1vora?= Received: via spool by 76294-submit@debbugs.gnu.org id=B76294.173957357531656 (code B ref 76294); Fri, 14 Feb 2025 22:53:02 +0000 Received: (at 76294) by debbugs.gnu.org; 14 Feb 2025 22:52:55 +0000 Received: from localhost ([127.0.0.1]:52222 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tj4YI-0008EW-Uf for submit@debbugs.gnu.org; Fri, 14 Feb 2025 17:52:55 -0500 Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:27375) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tj4YF-0008EB-Da for 76294@debbugs.gnu.org; Fri, 14 Feb 2025 17:52:52 -0500 Received: from pmg2.iro.umontreal.ca (localhost.localdomain [127.0.0.1]) by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id B2762801C2; Fri, 14 Feb 2025 17:52:44 -0500 (EST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1739573559; bh=L8qWiVP+Bd1GufyJPnqQONb0t7R3zCloUbN+If77CSM=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=eijP0BHdIGRdWUUC4os6S3C7HARtgPJl8v/Uo1ufHA3eMbsu1vSvea6vY+nlBahUt kyxLXGtZgsu+ub8AolMGTzYnk/86b1SXgEogYT0/PIms6R4igmMISRKngiNA+gNCFP 8MSwR/A4TXR4g2I1ptuY8ByLs5ON62POTJQMD1152EQZKqnTwzprlAmh3eQhVmxwv+ 7ae43VElNUMmuPH3aYMjWOgjU8qQK5OiTyoLHsn94ExzVj5ZRPPkeFhEMO+h61AsIz /zlr3cXVbKHv318Wn97NSlFg6YFU9J/AcXcZW8zwJBv4HzhR2Myyhe6uSjIsByFNWR iuLa2vlcEjtlA== Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id CA13A8075E; Fri, 14 Feb 2025 17:52:39 -0500 (EST) Received: from pastel (unknown [104.247.242.5]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 9C99A120262; Fri, 14 Feb 2025 17:52:39 -0500 (EST) From: Stefan Monnier In-Reply-To: (Stefan Kangas's message of "Fri, 14 Feb 2025 22:29:47 +0000") Message-ID: References: Date: Fri, 14 Feb 2025 17:52:38 -0500 User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-SPAM-INFO: Spam detection results: 0 ALL_TRUSTED -1 Passed through trusted hosts only via SMTP AWL 0.183 Adjusted score from AWL reputation of From: address BAYES_00 -1.9 Bayes spam probability is 0 to 1% DKIM_SIGNED 0.1 Message has a DKIM or DK signature, not necessarily valid DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's domain DKIM_VALID_EF -0.1 Message has a valid DKIM or DK signature from envelope-from domain X-SPAM-LEVEL: X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > May I ask what is the value proposition of > > (defun foo () ...) > (cl-proclaim '(inline foo)) > > over > > (defsubst foo () ...) > > in Emacs Lisp code? I never dared to touch this because I know I'm biased against those thingies. IOW, I'd be happy to deprecate such usage. =F0=9F=99=82 > I'm asking because running into this in cl-lib.el made me start to > consider the below patch. Looks good to me. I suspect the reason behind the current code might be that `defsubst` was introduced after cl.el got (and used) `proclaim`. Stefan From unknown Sat Jun 21 12:13:52 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Stefan Kangas Subject: bug#76294: closed (Re: bug#76294: `(cl-proclaim (inline foo))` vs `(defsubst foo ...)`) Message-ID: References: X-Gnu-PR-Message: they-closed 76294 X-Gnu-PR-Package: emacs Reply-To: 76294@debbugs.gnu.org Date: Fri, 14 Feb 2025 23:51:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1739577062-9754-1" This is a multi-part message in MIME format... ------------=_1739577062-9754-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #76294: `(cl-proclaim (inline foo))` vs `(defsubst foo ...)` which was filed against the emacs package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 76294@debbugs.gnu.org. --=20 76294: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D76294 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1739577062-9754-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 76294-done) by debbugs.gnu.org; 14 Feb 2025 23:50:42 +0000 Received: from localhost ([127.0.0.1]:52307 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tj5SE-0002Wm-9M for submit@debbugs.gnu.org; Fri, 14 Feb 2025 18:50:42 -0500 Received: from mail-ed1-x536.google.com ([2a00:1450:4864:20::536]:46262) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1tj5S9-0002WP-9O for 76294-done@debbugs.gnu.org; Fri, 14 Feb 2025 18:50:39 -0500 Received: by mail-ed1-x536.google.com with SMTP id 4fb4d7f45d1cf-5df07041c24so1526755a12.0 for <76294-done@debbugs.gnu.org>; Fri, 14 Feb 2025 15:50:37 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1739577030; x=1740181830; darn=debbugs.gnu.org; h=content-transfer-encoding:cc:to:subject:message-id:date :mime-version:references:in-reply-to:from:from:to:cc:subject:date :message-id:reply-to; bh=pcIs0wAL4dEUvXqVrupYb8JiJ1brMiiYVSTMebJLQ5g=; b=kpUaR5rrDnP8QO1JWhdNL7n3kBlnv8X6nwFL+easLQRicw5POy+W0DKLUI9Y8Z1kmp mxhj3+KqQCjc849jK5+odGzFRFH25kePAWXbgDbjudQFEuPlblJq6bymSGg4oZTwKJBQ 1JZor7OcbmcNnNXaCOWvNq43yhUo6goZC37BZoYJ+OpC/qCb6qYERnyxRB5TigS5rPBR wxAPuMfUWB/uX/UxinKMFbZ6rRQiEou+wbVAYWDd6oQUNqJiWcmd7kA027eqh2LVNdYY hXXvYy36S9qHEh7xh3gTMUBy7DBiNDwfMaNW9PdQrOCZfOCGsonsMSsD6v3QGs35/Ckw xW0w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1739577030; x=1740181830; h=content-transfer-encoding:cc:to:subject:message-id:date :mime-version:references:in-reply-to:from:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=pcIs0wAL4dEUvXqVrupYb8JiJ1brMiiYVSTMebJLQ5g=; b=B9XKZbqx00V8pVRAWOZ5SJTyVNPCtstBsn1XI3KhipXUdtD0P/nfaxK4jQyIMK0x5X Bqv6/1eY06Ims7/ZsWrQuYe/bOrYM5eUUjQqzM2AC9xXe9PvGDJmXss7Nb2PA21XH3dN fv0yQ26JEr3edXhpQfXq5GByNkhTlpCyOkGzxUNyw7WYoK1g38Ij159fiArFKjgXvArN IvZ+0z9yu7hto3/nhSCSY81PUROpqUCe6FdzfCM3ANLQQBF3Dka5I5713pS/pk3ASgXV 6wdgDVDPuE9iwFKgBJLFL17kIDvgEKJ7XACe04CWihUcDESK4z3aZnuII/5XuswXJfQD YN5w== X-Gm-Message-State: AOJu0YxDJxbHpnDTzzW2CzMRlEse1N6RP9Urxt2y0/Ys2JMfQci0sZ8q B9gV+JAb7u4iCZiMz3MNQItyrBYxXCIAPWlyV9LEpRM979inVzWb2oP7/JMsjxs0AcNq02QUQHx 2w71eZrGy+Lm/N157kK8KoU08h3s= X-Gm-Gg: ASbGnctsAcXfCZ8lhbUkBUoJ8w7weAOWMDhlrZzlHRDQ1z9FbfbgEs8qZaneC0LuUvq em+Q+6HLnLeHHLXJTqxDFEoRDSEEMwu/9G8Yj/tW1BKWlKsZd5TQe5WAYoshfjRm6Kq0ptmrVqP c= X-Google-Smtp-Source: AGHT+IHCz/NpHpJ4tdzfUrCaOxIdekerua1oyyPIJQkKKhc/GXqSQEAt3X7c68SRgFFXkp/reDb4wFYSf2uExLPeyVA= X-Received: by 2002:a05:6402:5193:b0:5de:c9d0:6742 with SMTP id 4fb4d7f45d1cf-5e03604bc3emr911888a12.9.1739577030281; Fri, 14 Feb 2025 15:50:30 -0800 (PST) Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Fri, 14 Feb 2025 23:50:29 +0000 From: Stefan Kangas In-Reply-To: References: MIME-Version: 1.0 Date: Fri, 14 Feb 2025 23:50:29 +0000 X-Gm-Features: AWEUYZnb9ccbfVKzMVeZg7_3-mQ2baB-HDsL4lHihra6UGdt_-u4DN-fImPEALw Message-ID: Subject: Re: bug#76294: `(cl-proclaim (inline foo))` vs `(defsubst foo ...)` To: Stefan Monnier Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 76294-done Cc: 76294-done@debbugs.gnu.org, =?UTF-8?B?Sm/Do28gVMOhdm9yYQ==?= X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Stefan Monnier writes: >> May I ask what is the value proposition of >> >> (defun foo () ...) >> (cl-proclaim '(inline foo)) >> >> over >> >> (defsubst foo () ...) >> >> in Emacs Lisp code? > > I never dared to touch this because I know I'm biased against those > thingies. IOW, I'd be happy to deprecate such usage. =F0=9F=99=82 I probably won't get into deprecating it completely, to be honest. Not right now, at any rate. >> I'm asking because running into this in cl-lib.el made me start to >> consider the below patch. > > Looks good to me. I suspect the reason behind the current code might be > that `defsubst` was introduced after cl.el got (and used) `proclaim`. Makes sense, thanks! I think it's a good enough argument that the implementation itself should make sense from an Emacs Lisp perspective, so I installed the patch. AFAICT, there is now exactly one use of `cl-proclaim` in all of Emacs and GNU ELPA. I didn't check NonGNU ELPA. If anyone has anything relevant to add for posterity, please do. ------------=_1739577062-9754-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 14 Feb 2025 22:30:03 +0000 Received: from localhost ([127.0.0.1]:52172 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tj4C9-000771-IQ for submit@debbugs.gnu.org; Fri, 14 Feb 2025 17:30:02 -0500 Received: from lists.gnu.org ([2001:470:142::17]:50042) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tj4C6-00076j-Bn for submit@debbugs.gnu.org; Fri, 14 Feb 2025 17:29:59 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tj4Bz-0007ez-OU for bug-gnu-emacs@gnu.org; Fri, 14 Feb 2025 17:29:51 -0500 Received: from mail-ed1-x52f.google.com ([2a00:1450:4864:20::52f]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1tj4By-0007dG-0G for bug-gnu-emacs@gnu.org; Fri, 14 Feb 2025 17:29:51 -0500 Received: by mail-ed1-x52f.google.com with SMTP id 4fb4d7f45d1cf-5de38c3d2acso4136170a12.1 for ; Fri, 14 Feb 2025 14:29:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1739572188; x=1740176988; darn=gnu.org; h=to:subject:message-id:date:mime-version:from:from:to:cc:subject :date:message-id:reply-to; bh=XYl/vWPSBJjxLA4GORUmsr4bItH+D9b0iGgy8ripxNU=; b=OTzkdc8D2ex2bdBJSOFyACbzUB9cA5HTGPnVP0w4V9uKSlayK+qVQIwVprOPyK47Ov 4cp/uf4SgLEJjh74Smno+ukVCqHkqLd3fVriFv0OjmgaO5Y2IJJtsO3nBYnKxCkN7LH/ IK+ajf+qc4OIV1OI2ebER6ClkkTBHy11x8zNlvzYQfKYRi0dKFaQcqNZkrFf92yODa8u HSKxQlK9OdAkZsHNeATSvzowbZepGX9c1i1vjBribHISrOxeDuqdOnaBmRJL0jJ55cQ+ CB6mmNaJevZ4PznuUbp0WPcGSR6urqBCyFcol7GJW6daMxsxIrXtNjor9Hb726E5wEiE xvwg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1739572188; x=1740176988; h=to:subject:message-id:date:mime-version:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=XYl/vWPSBJjxLA4GORUmsr4bItH+D9b0iGgy8ripxNU=; b=vfXrBKdRuwKuun7vih5EL9tI3mQp7PckfEEvnod2+VTO4mK3rmMi+16rNTl51LHPOP HLpiP87mfs3kpG7vHTmQVGlHMy4EgD1mYoeyGch3yCwta2FtbcxRKtPB9u7/h6piK+T/ Pliwi5hMgiLQ0OlL6Ql4gkdXIJ9seetLLtrFxFMtsjkrSIqAvaKxH36Y2vXnFXtzZaT5 SaOgcXq5cejcObuiGyoa27X/jXYoP5rDKE7ixTjxhbOf5kJjYCD9qSQm1WXG4R/sKgCS tG1xg6PBuAyiDL999A8HhEtyR7e5oBiLCWtJ26qPNSiijzPJQx1vUh2IAEYdKj1BtBI+ T5Ow== X-Gm-Message-State: AOJu0YyGAfQ1zS0dhpvKnyw1HC7pCsABi+NBM788xSN9y9QFqw9cw0x3 Z7gcvXvE1yrghuPXl5/ev7ffrRHn1pSMLPC5kZ9NVI3uBk5FiGpBEa+8oCvXmJh50KgMYBK96Eu h0hL/KLS6HrWZDuwqiVJhvm6ddgr9mn/t5D8= X-Gm-Gg: ASbGncu7UB/BNOT5s+faDBOnJ6XO2X0c0/Hg/LzHjn5/gqey9FCGVPBL3FKO3FCBKP2 4k66KM8cbcVWyM/9aqy1D53Hgudnn/opYkOnC5WRZTFFs7WaLJCiTdXTnxG0vs/AAZXepxVkW X-Google-Smtp-Source: AGHT+IFSfHh6Tm6jofv7hHx6KNV25GcGXQIMns3EevFcDcCllYGxWnkQpLjXuy9DI52BhXh5qcU1gmvsbjvpEpZQ0hE= X-Received: by 2002:a05:6402:2549:b0:5de:bcdf:bf50 with SMTP id 4fb4d7f45d1cf-5e0361f8989mr1118242a12.31.1739572188175; Fri, 14 Feb 2025 14:29:48 -0800 (PST) Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Fri, 14 Feb 2025 22:29:47 +0000 From: Stefan Kangas X-Debbugs-CC: =?UTF-8?Q?Stefan_Monnier_=3Cmonnier=40iro=2Eumontreal=2Eca=3E=2C_Jo=C3=A3?= =?UTF-8?Q?o_T=C3=A1vora_=3Cjoaotavora=40gmail=2Ecom=3E?= MIME-Version: 1.0 Date: Fri, 14 Feb 2025 22:29:47 +0000 X-Gm-Features: AWEUYZkIkeJR7m2h3F6H6iRUiS-rR0393gHMr4gTwAf_DF_aiaje-fMy0pkgNlE Message-ID: Subject: `(cl-proclaim (inline foo))` vs `(defsubst foo ...)` To: bug-gnu-emacs@gnu.org Content-Type: multipart/mixed; boundary="0000000000005693f6062e21b6a5" Received-SPF: pass client-ip=2a00:1450:4864:20::52f; envelope-from=stefankangas@gmail.com; helo=mail-ed1-x52f.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) --0000000000005693f6062e21b6a5 Content-Type: text/plain; charset="UTF-8" Severity: wishlist May I ask what is the value proposition of (defun foo () ...) (cl-proclaim '(inline foo)) over (defsubst foo () ...) in Emacs Lisp code? I assume that it won't be much help when porting code from CL, so I guess it's just to make ELisp feel more homely to CL programmers? If it is intended as documentation of cl-proclaim itself, I propose improving the cl-proclaim documentation instead. The docstring is rather on the brief side, shall we say. I'm asking because running into this in cl-lib.el made me start to consider the below patch. It's possible that I'm just the wrong person to be digging around in cl-lib.el, though... --0000000000005693f6062e21b6a5 Content-Type: text/x-patch; charset="US-ASCII"; name="0001-Avoid-cl-proclaim.patch" Content-Disposition: attachment; filename="0001-Avoid-cl-proclaim.patch" Content-Transfer-Encoding: base64 X-Attachment-Id: f18289d9c99a9931_0.1 RnJvbSA4NzU3M2U0NjMyMGZkOWMyYjhmMTgzZWYzMTFiZjYzOTMxNTVjMmM0IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBTdGVmYW4gS2FuZ2FzIDxzdGVmYW5rYW5nYXNAZ21haWwuY29t PgpEYXRlOiBGcmksIDE0IEZlYiAyMDI1IDIzOjE4OjU2ICswMTAwClN1YmplY3Q6IFtQQVRDSF0g QXZvaWQgY2wtcHJvY2xhaW0KCi0tLQogbGlzcC9lbWFjcy1saXNwL2NsLWV4dHJhLmVsIHwgMTAg KysrKystLS0tLQogbGlzcC9lbWFjcy1saXNwL2NsLWxpYi5lbCAgIHwgIDIgKy0KIGxpc3AvZW1h Y3MtbGlzcC9jbC1tYWNzLmVsICB8ICA0IC0tLS0KIDMgZmlsZXMgY2hhbmdlZCwgNiBpbnNlcnRp b25zKCspLCAxMCBkZWxldGlvbnMoLSkKCmRpZmYgLS1naXQgYS9saXNwL2VtYWNzLWxpc3AvY2wt ZXh0cmEuZWwgYi9saXNwL2VtYWNzLWxpc3AvY2wtZXh0cmEuZWwKaW5kZXggNjJlMTIyMTdlMGQu LjA5NDcwNDU3ZDkzIDEwMDY0NAotLS0gYS9saXNwL2VtYWNzLWxpc3AvY2wtZXh0cmEuZWwKKysr IGIvbGlzcC9lbWFjcy1saXNwL2NsLWV4dHJhLmVsCkBAIC0xMjcsNyArMTI3LDcgQEAgY2wtLW1h cGNhci1tYW55CiAJKGFuZCBhY2MgKG5yZXZlcnNlIGNsLXJlcykpKSkpCiAKIDs7OyMjI2F1dG9s b2FkCi0oZGVmdW4gY2wtbWFwIChjbC10eXBlIGNsLWZ1bmMgY2wtc2VxICZyZXN0IGNsLXJlc3Qp CisoZGVmc3Vic3QgY2wtbWFwIChjbC10eXBlIGNsLWZ1bmMgY2wtc2VxICZyZXN0IGNsLXJlc3Qp CiAgICJNYXAgYSBGVU5DVElPTiBhY3Jvc3Mgb25lIG9yIG1vcmUgU0VRVUVOQ0VzLCByZXR1cm5p bmcgYSBzZXF1ZW5jZS4KIFRZUEUgaXMgdGhlIHNlcXVlbmNlIHR5cGUgdG8gcmV0dXJuLgogXG4o Zm4gVFlQRSBGVU5DVElPTiBTRVFVRU5DRS4uLikiCkBAIC0yMzksMTQgKzIzOSwxNCBAQCBjbC1l dmVyeQogICAgIChudWxsIGNsLXNlcSkpKQogCiA7OzsjIyNhdXRvbG9hZAotKGRlZnVuIGNsLW5v dGFueSAoY2wtcHJlZCBjbC1zZXEgJnJlc3QgY2wtcmVzdCkKKyhkZWZzdWJzdCBjbC1ub3Rhbnkg KGNsLXByZWQgY2wtc2VxICZyZXN0IGNsLXJlc3QpCiAgICJSZXR1cm4gdHJ1ZSBpZiBQUkVESUNB VEUgaXMgZmFsc2Ugb2YgZXZlcnkgZWxlbWVudCBvZiBTRVEgb3IgU0VRcy4KIFxuKGZuIFBSRURJ Q0FURSBTRVEuLi4pIgogICAoZGVjbGFyZSAoaW1wb3J0YW50LXJldHVybi12YWx1ZSB0KSkKICAg KG5vdCAoYXBwbHkgIydjbC1zb21lIGNsLXByZWQgY2wtc2VxIGNsLXJlc3QpKSkKIAogOzs7IyMj YXV0b2xvYWQKLShkZWZ1biBjbC1ub3RldmVyeSAoY2wtcHJlZCBjbC1zZXEgJnJlc3QgY2wtcmVz dCkKKyhkZWZzdWJzdCBjbC1ub3RldmVyeSAoY2wtcHJlZCBjbC1zZXEgJnJlc3QgY2wtcmVzdCkK ICAgIlJldHVybiB0cnVlIGlmIFBSRURJQ0FURSBpcyBmYWxzZSBvZiBzb21lIGVsZW1lbnQgb2Yg U0VRIG9yIFNFUXMuCiBcbihmbiBQUkVESUNBVEUgU0VRLi4uKSIKICAgKGRlY2xhcmUgKGltcG9y dGFudC1yZXR1cm4tdmFsdWUgdCkpCkBAIC01ODksMTMgKzU4OSwxMyBAQCBjbC1jb25jYXRlbmF0 ZQogOzs7IExpc3QgZnVuY3Rpb25zLgogCiA7OzsjIyNhdXRvbG9hZAotKGRlZnVuIGNsLXJldmFw cGVuZCAoeCB5KQorKGRlZnN1YnN0IGNsLXJldmFwcGVuZCAoeCB5KQogICAiRXF1aXZhbGVudCB0 byAoYXBwZW5kIChyZXZlcnNlIFgpIFkpLiIKICAgKGRlY2xhcmUgKHNpZGUtZWZmZWN0LWZyZWUg dCkpCiAgIChuY29uYyAocmV2ZXJzZSB4KSB5KSkKIAogOzs7IyMjYXV0b2xvYWQKLShkZWZ1biBj bC1ucmVjb25jICh4IHkpCisoZGVmc3Vic3QgY2wtbnJlY29uYyAoeCB5KQogICAiRXF1aXZhbGVu dCB0byAobmNvbmMgKG5yZXZlcnNlIFgpIFkpLiIKICAgKGRlY2xhcmUgKGltcG9ydGFudC1yZXR1 cm4tdmFsdWUgdCkpCiAgIChuY29uYyAobnJldmVyc2UgeCkgeSkpCmRpZmYgLS1naXQgYS9saXNw L2VtYWNzLWxpc3AvY2wtbGliLmVsIGIvbGlzcC9lbWFjcy1saXNwL2NsLWxpYi5lbAppbmRleCA4 ODNhMTNlMzI0NC4uZGJhMDFiMjgzMjUgMTAwNjQ0Ci0tLSBhL2xpc3AvZW1hY3MtbGlzcC9jbC1s aWIuZWwKKysrIGIvbGlzcC9lbWFjcy1saXNwL2NsLWxpYi5lbApAQCAtNTM1LDcgKzUzNSw3IEBA IGNsLS1kby1zdWJzdAogCSAgICAgICBjbC10cmVlIChjb25zIGEgZCkpKSkKIAkodCBjbC10cmVl KSkpCiAKLShkZWZ1biBjbC1hY29ucyAoa2V5IHZhbHVlIGFsaXN0KQorKGRlZnN1YnN0IGNsLWFj b25zIChrZXkgdmFsdWUgYWxpc3QpCiAgICJBZGQgS0VZIGFuZCBWQUxVRSB0byBBTElTVC4KIFJl dHVybiBhIG5ldyBsaXN0IHdpdGggKGNvbnMgS0VZIFZBTFVFKSBhcyBjYXIgYW5kIEFMSVNUIGFz IGNkci4iCiAgIChkZWNsYXJlIChzaWRlLWVmZmVjdC1mcmVlIGVycm9yLWZyZWUpKQpkaWZmIC0t Z2l0IGEvbGlzcC9lbWFjcy1saXNwL2NsLW1hY3MuZWwgYi9saXNwL2VtYWNzLWxpc3AvY2wtbWFj cy5lbAppbmRleCA0NGZlNjdiNmM4NS4uY2FhZmZjZjE5YmUgMTAwNjQ0Ci0tLSBhL2xpc3AvZW1h Y3MtbGlzcC9jbC1tYWNzLmVsCisrKyBiL2xpc3AvZW1hY3MtbGlzcC9jbC1tYWNzLmVsCkBAIC0z NzI1LDEwICszNzI1LDYgQEAgY2wtLWNvbXBpbGVyLW1hY3JvLWdldAogICAgICAgYChjbC1nZXRm IChzeW1ib2wtcGxpc3QgLHN5bSkgLHByb3AgLGRlZikKICAgICBgKGdldCAsc3ltICxwcm9wKSkp CiAKLTs7OyBUaGluZ3MgdGhhdCBhcmUgaW5saW5lLgotKGNsLXByb2NsYWltICcoaW5saW5lIGNs LWFjb25zIGNsLW1hcCBjbC1ub3RhbnkgY2wtbm90ZXZlcnkgY2wtcmV2YXBwZW5kCi0gICAgICAg ICAgICAgICBjbC1ucmVjb25jKSkKLQogOzs7IFR5cGVzIGFuZCBhc3NlcnRpb25zLgogCiA7Ozsj IyNhdXRvbG9hZAotLSAKMi40OC4xCgo= --0000000000005693f6062e21b6a5-- ------------=_1739577062-9754-1-- From unknown Sat Jun 21 12:13:52 2025 X-Loop: help-debbugs@gnu.org Subject: bug#76294: `(cl-proclaim (inline foo))` vs `(defsubst foo ...)` Resent-From: Richard Stallman Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 19 Feb 2025 01:00:06 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76294 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Kangas Cc: 76294@debbugs.gnu.org, stefankangas@gmail.com Reply-To: rms@gnu.org Received: via spool by 76294-submit@debbugs.gnu.org id=B76294.173992678624696 (code B ref 76294); Wed, 19 Feb 2025 01:00:06 +0000 Received: (at 76294) by debbugs.gnu.org; 19 Feb 2025 00:59:46 +0000 Received: from localhost ([127.0.0.1]:36748 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tkYRF-0006Q3-7a for submit@debbugs.gnu.org; Tue, 18 Feb 2025 19:59:45 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:38920) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tkYQm-0006NA-Qy for 76294@debbugs.gnu.org; Tue, 18 Feb 2025 19:59:17 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tkYQh-00058u-71; Tue, 18 Feb 2025 19:59:11 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=Date:References:Subject:In-Reply-To:To:From: mime-version; bh=uVaPxzu2pz0kiM7LxfenIctnLJQiE28LAm64/CpQJ+0=; b=Pee5Hii0UvoE OeoS8EMeS9gXozWGZXhkkCaD6KSk5OhQUNlTRzIJc/NUPDa8UnIsO/Pkww8v6dx2cRUJrwE4kAVg2 bUay5YtXBo1SxJdU3zpr4syOvk3vtk7QBIT/bxtxauzjCyoVQaFGNwVy41pYWnw2cIqIAaEYl4tDT gHTTKMuG+r6XtGIB66Me+OIbtC8CcsTv0517DQsxyx3VfpooxXAqPNw/jfq1wE2UxMWrgftdacRsM k4fU42TmzbkTEQh/g+4O9TaYH/swLZJeYYaltngrJxKJKdxxhOjX5kRQ4kf8b/duJuGKIjsUd/70O vu6ZKkObqSHE1dh0sYkH6A==; Received: from rms by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1tkYQg-0008RI-Hh; Tue, 18 Feb 2025 19:59:10 -0500 Content-Type: text/plain; charset=Utf-8 From: Richard Stallman In-Reply-To: (message from Stefan Kangas on Fri, 14 Feb 2025 23:50:29 +0000) References: Message-Id: Date: Tue, 18 Feb 2025 19:59:10 -0500 X-Spam-Score: -1.7 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.7 (--) [[[ To any NSA and FBI agents reading my email: please consider ]]] [[[ whether defending the US Constitution against all enemies, ]]] [[[ foreign or domestic, requires you to follow Snowden's example. ]]] > >> May I ask what is the value proposition of > >> > >> (defun foo () ...) > >> (cl-proclaim '(inline foo)) > >> > >> over > >> > >> (defsubst foo () ...) > >> > >> in Emacs Lisp code? > > > > I never dared to touch this because I know I'm biased against those > > thingies. IOW, I'd be happy to deprecate such usage. 🙂 The message starts by comparing two constructs. Which of the two are you proposing to deprecate? -- Dr Richard Stallman (https://stallman.org) Chief GNUisance of the GNU Project (https://gnu.org) Founder, Free Software Foundation (https://fsf.org) Internet Hall-of-Famer (https://internethalloffame.org) From unknown Sat Jun 21 12:13:52 2025 X-Loop: help-debbugs@gnu.org Subject: bug#76294: `(cl-proclaim (inline foo))` vs `(defsubst foo ...)` Resent-From: Stefan Kangas Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 19 Feb 2025 23:21:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76294 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: rms@gnu.org Cc: 76294@debbugs.gnu.org Received: via spool by 76294-submit@debbugs.gnu.org id=B76294.174000723611985 (code B ref 76294); Wed, 19 Feb 2025 23:21:02 +0000 Received: (at 76294) by debbugs.gnu.org; 19 Feb 2025 23:20:36 +0000 Received: from localhost ([127.0.0.1]:54528 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tktMp-00037F-Gf for submit@debbugs.gnu.org; Wed, 19 Feb 2025 18:20:35 -0500 Received: from mail-ed1-x52b.google.com ([2a00:1450:4864:20::52b]:45409) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1tktMm-000366-3u for 76294@debbugs.gnu.org; Wed, 19 Feb 2025 18:20:33 -0500 Received: by mail-ed1-x52b.google.com with SMTP id 4fb4d7f45d1cf-5dee07e51aaso509176a12.3 for <76294@debbugs.gnu.org>; Wed, 19 Feb 2025 15:20:32 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1740007226; x=1740612026; darn=debbugs.gnu.org; h=content-transfer-encoding:cc:to:subject:message-id:date :mime-version:references:in-reply-to:from:from:to:cc:subject:date :message-id:reply-to; bh=zrqsVll0Oh/9OIdu80iMpsIifXtDtNx0gFU6K35btAk=; b=kknl/fIpYjdb8l94slIj3uOwAB8sN5UPDBHKvk6mHwJXs1q31TKwWiwRa0vstglOj7 mZdQiFTrelQP9LGBsYUBF5b2fXUcvIDe8gcr+jD/yY8hr6WTzXw6fUYvUqQ0ADpiXlNq NcOzraL+FF1VxcPNLRbar31U4JW7cyA+XpVfbGGFrx+tzFzBfdqNF1X6XEX9ftQ81NY4 e+XaPn1UznLkOqF+QaMdd9AVWR/9xyMv2pZVYOilXCvqUN27ZDYfv594Q4na0I3hzHQ+ +TiUxvhn9C2Eiok3B60hwjm7wtE17COQXJWLSKoswgx2Bi//oq/8bqjrx0ALD+FxpWq1 mmOw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1740007226; x=1740612026; h=content-transfer-encoding:cc:to:subject:message-id:date :mime-version:references:in-reply-to:from:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=zrqsVll0Oh/9OIdu80iMpsIifXtDtNx0gFU6K35btAk=; b=ugj4GAO+FMwXi00dV9TrVfQWTBxzcceYVyyJzfoJu9/WFRSm1WMwr5caRHt8uQ8gc5 aelfyqHV7atvCEB9q47WS/IFi1S2bquDzlmj32+wAYVUQGY4bXP0GG1DbVG7AF2YVJpZ 3rReFXNULWyjug+pdw2pZKb4obdZJNkVas8Nm6U/G3ygBhalVzMg7wyJH2ZSeq3d+LzE W56LihidDw1ZtpvKH1hz0qR1bi9qp/P0qMHBWY53qhue0bP9uHIpxKoJ2/J+IG2dKAh0 bpgAvK4UDeuyQ9TnhClW+YXUhlkn9FAxKfOMKa/AMcY6NQpgtNaVS8+937h16gJJ1kju 0EpA== X-Gm-Message-State: AOJu0YwiduRdcGYVghl2pDRq9gldCQqks1fEMOooEGBaa6m3G0sguXa/ 6x2wg8w53SgZfg6ta/m0NMKosTjpzqmjXXu/uKK0sAvpUEbxS3Yg2w1BAZ2dVriaCyn5e5ic8d9 qk5Hd8srQ5uVNGbWP4FxQBR2/QfyWUX8s X-Gm-Gg: ASbGncsV2xisYPv1jVq3HEQcq08dv2maRG4TOahGZg/AF5ScZhHJOJF5fRd54NHgQGU Cfu6xaLxnnaxNrOLZ3P/OCCqUR59owt5GN0rGwIz0p30Li3b0cKlpksF5N37eyaQMaibtwh4Rmb U= X-Google-Smtp-Source: AGHT+IEcQ5wCRQqQgs8lxIi96avJ8hDOZsRr6L5NMjrEpU3xdgupTyJGUR/MPTF+RPWyNI++/MQaqudHnqcVpT55d68= X-Received: by 2002:a05:6402:270d:b0:5e0:90b5:a06e with SMTP id 4fb4d7f45d1cf-5e0a4ad2cecmr293154a12.7.1740007225656; Wed, 19 Feb 2025 15:20:25 -0800 (PST) Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Wed, 19 Feb 2025 15:20:25 -0800 From: Stefan Kangas In-Reply-To: References: MIME-Version: 1.0 Date: Wed, 19 Feb 2025 15:20:25 -0800 X-Gm-Features: AWEUYZkwDBZc5gFf3rsWpf9BlTZI1CUm0-E19nI0FUYlMhWeAFq99Las3eVgsE8 Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Richard Stallman writes: > [[[ To any NSA and FBI agents reading my email: please consider ]]] > [[[ whether defending the US Constitution against all enemies, ]]] > [[[ foreign or domestic, requires you to follow Snowden's example. ]]] > > > >> May I ask what is the value proposition of > > >> > > >> (defun foo () ...) > > >> (cl-proclaim '(inline foo)) > > >> > > >> over > > >> > > >> (defsubst foo () ...) > > >> > > >> in Emacs Lisp code? > > > > > > I never dared to touch this because I know I'm biased against those > > > thingies. IOW, I'd be happy to deprecate such usage. =F0=9F=99=82 > > The message starts by comparing two constructs. > Which of the two are you proposing to deprecate? In this bug report, I have proposed deprecating neither. We have discussed elsewhere to deprecate `cl-proclaim`.