From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Drew Adams Newsgroups: gmane.emacs.bugs Subject: bug#47992: [External] : bug#47992: 27; 28; Phase out use of `equal` in `add-hook`, `remove-hook` Date: Sun, 25 Apr 2021 04:57:07 +0000 Message-ID: References: <090f8bd5-368c-5684-85e1-65420049d47a@daniel-mendler.de> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="28391"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Daniel Mendler , "47992@debbugs.gnu.org" <47992@debbugs.gnu.org>, "jakanakaevangeli@chiru.no" To: Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sun Apr 25 06:58:40 2021 Return-path: Envelope-to: geb-bug-gnu-emacs@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 1laWqt-0007EB-TK for geb-bug-gnu-emacs@m.gmane-mx.org; Sun, 25 Apr 2021 06:58:40 +0200 Original-Received: from localhost ([::1]:52218 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1laWqt-0005pv-0f for geb-bug-gnu-emacs@m.gmane-mx.org; Sun, 25 Apr 2021 00:58:39 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:44256) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1laWqI-0005pW-84 for bug-gnu-emacs@gnu.org; Sun, 25 Apr 2021 00:58:02 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:58542) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1laWqI-0005Kg-0m for bug-gnu-emacs@gnu.org; Sun, 25 Apr 2021 00:58:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1laWqH-0004KB-Vl for bug-gnu-emacs@gnu.org; Sun, 25 Apr 2021 00:58:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Drew Adams Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 25 Apr 2021 04:58:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 47992 X-GNU-PR-Package: emacs Original-Received: via spool by 47992-submit@debbugs.gnu.org id=B47992.161932666216594 (code B ref 47992); Sun, 25 Apr 2021 04:58:01 +0000 Original-Received: (at 47992) by debbugs.gnu.org; 25 Apr 2021 04:57:42 +0000 Original-Received: from localhost ([127.0.0.1]:41855 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1laWpx-0004JY-Le for submit@debbugs.gnu.org; Sun, 25 Apr 2021 00:57:41 -0400 Original-Received: from aserp2120.oracle.com ([141.146.126.78]:33070) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1laWpw-0004JN-Ho for 47992@debbugs.gnu.org; Sun, 25 Apr 2021 00:57:41 -0400 Original-Received: from pps.filterd (aserp2120.oracle.com [127.0.0.1]) by aserp2120.oracle.com (8.16.0.42/8.16.0.42) with SMTP id 13P4tw7q040055; Sun, 25 Apr 2021 04:57:10 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=from : to : cc : subject : date : message-id : references : in-reply-to : content-type : content-transfer-encoding : mime-version; s=corp-2020-01-29; bh=YtDqIp17oJsiDs/RnQ++amxsWje0ttTFKhZUx09Qa9Y=; b=WYGMd1xppVGm4bfmjfzYQfFbyDghwrBxzwrWiPR4sRIgnxtaNtisBk/Qquz3/ypLHVV4 HAk417IDHMTYzkSgMqcBqNnsFMwoqeGMDqK/F3TbE+8tpyJSvAym5JQzuWKE+GyhHcHX ev5dagO6XEiisowdgVdZ8ybjfok+sjy0bPVQZhnd4npKq6jQlw7fdy8hxcdJ7hkzFV1F 25gHO5Ujyy2z9GIW5innB8g1N+deOn6a18YWAKyP8kS3GMbEWSD0P1ocRecKPrhsbUkp kECVEQgRzas3f4Y5c6NBjk6NlOdINzAvdG+NTgZE9pJon6n2xxh2llJSCoEfLEVusPp1 Pg== Original-Received: from userp3020.oracle.com (userp3020.oracle.com [156.151.31.79]) by aserp2120.oracle.com with ESMTP id 384b9n10h6-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sun, 25 Apr 2021 04:57:10 +0000 Original-Received: from pps.filterd (userp3020.oracle.com [127.0.0.1]) by userp3020.oracle.com (8.16.0.42/8.16.0.42) with SMTP id 13P4uBNt090525; Sun, 25 Apr 2021 04:57:09 GMT Original-Received: from nam12-bn8-obe.outbound.protection.outlook.com (mail-bn8nam12lp2171.outbound.protection.outlook.com [104.47.55.171]) by userp3020.oracle.com with ESMTP id 384w3q4mv7-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sun, 25 Apr 2021 04:57:09 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=fPNOthf2DkVRzcfWb4GpJkAWVyWu/lD7uy3TAASpZJE7DGSugAWFiGcFLkg5i2RmIE2IpsFU0WCsJxKh6g5N1JacV2eqtSF4BvBwOKqFBjn1JqjyBP+sYyrw2LBYsZ+W9q8suICsk7lxOIvr8MhWHqg9g3kAZuhtIm91LtdgLDOF1B7pSbT+IaGVyvoe+20wsAPwHStyFzEJFwFijQP4rpII8Pwry/WrcQe3oyo6NZ5hpYJo4LaABcu1hrDFZ12wT6Xr0yP5+1qN83wiOxc46b2kU+T0sziTIrgAla9JtVdORksBblL2ebI9Um5e/01eqBJWRyrfjHwXWPKIigkdKQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=YtDqIp17oJsiDs/RnQ++amxsWje0ttTFKhZUx09Qa9Y=; b=ApA4HQnMJt56bY1+c0XGMlvrPEGv68Ka+pwcC5fSO4e6emLLd+2JPglpCXy8QLNy2k7S/+7jJcKcAGM6V5+wf9ymJ/MvGS5NC3fvr85sB0XjRufs4tHYVm3DEs84WzprwaOYOtl8F+qHI9sb8UGrmeCqkKSgyBAIwM0inzIY56yz0f45YCBNuLLsVPcRkAkvr98fRqiajb+5JfxxW5nVsapY4TRGAPWGLuVW3E6DKXMiTt6R6+BO5SNWa3x0s0tv5FG19KyxqMRWlS9lqu0XQhMpe3a7ItEzZD5ULH/emcCGoPAOKmusyyCRJ2maV43YGVptEI5ggVRo3eWK5DhMxQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=oracle.com; dmarc=pass action=none header.from=oracle.com; dkim=pass header.d=oracle.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.onmicrosoft.com; s=selector2-oracle-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=YtDqIp17oJsiDs/RnQ++amxsWje0ttTFKhZUx09Qa9Y=; b=ccFYkNdMNVeqsJVkLoRJrus4Nf5QmcYd+X2lBB07KvwgJtPxE5XwP8RHCyAPKvSfC1Cb7iHGOm/wifb4v+HPg432WH8Dzie0CooVfxKrJ7bOIm83AKwS8C1lgsv8PGL7Y0tDXOEoxqLjfwgFhpBekIvdfrA74WxqWoLxc6fjsOM= Original-Received: from SA2PR10MB4474.namprd10.prod.outlook.com (2603:10b6:806:11b::15) by SN6PR10MB2960.namprd10.prod.outlook.com (2603:10b6:805:d5::16) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4065.20; Sun, 25 Apr 2021 04:57:07 +0000 Original-Received: from SA2PR10MB4474.namprd10.prod.outlook.com ([fe80::2109:9725:fd4a:6494]) by SA2PR10MB4474.namprd10.prod.outlook.com ([fe80::2109:9725:fd4a:6494%6]) with mapi id 15.20.4065.021; Sun, 25 Apr 2021 04:57:07 +0000 Thread-Topic: [External] : bug#47992: 27; 28; Phase out use of `equal` in `add-hook`, `remove-hook` Thread-Index: AQHXOYBYupoj9lhYvUC8hRwkSIh+OKrEnoRg In-Reply-To: Accept-Language: en-US Content-Language: en-US authentication-results: iro.umontreal.ca; dkim=none (message not signed) header.d=none;iro.umontreal.ca; dmarc=none action=none header.from=oracle.com; x-originating-ip: [73.170.83.28] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 1cfe3d8b-bd3e-45c7-7633-08d907a6939b x-ms-traffictypediagnostic: SN6PR10MB2960: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:9508; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: 574Ick1CwinnvAPA+CSPInlu1Xxzvwhzeq/IMK5jqKS/74338wI5PMmrhtYqM6/O+q3e8Mnbzz68vB3iUkU5/3AuVlhiYasq9RN4S+TfCi6BgtWGahCXMv8v4DqBOoYSJFzBAMz8SNpqV5dWJ89ZZq58ykXgm/fIYn0lSpfiKS90DOktwL3V9018e0YtrtOksDkFxlKD2X6Gc3+DEcy+yMWSMMi+KiifzYojdrCP9DLo8QAiZkemXXC4HJCMIow7eR88PxllLGX4PXZUPcjHPuLnej6irBdBAfOMkWboU0Ob+Px1DICd1FMjKwsPrpYWJnZVHymp96maKKQit+Uc27NSB9Flz4Dk2K8zIIdLu0VA55bqDPJWz1ldUrXGnscJTuaPsKVkGfdKvGknA02keF9qtCaRd+sQs7oZRrbjiu21/MSaSh4fXzefpKUFLgUycAxtQF53Wi8WDNVLsErZxrboB5Emis0yzbcEE9kBTPPKi6AnC1lG6nMr5+ovuunY5bj3UMtR/+dDLUbh2ukBgab2kSj//NmH6+m8preoPw0uDgCxehe2Mfa1cb2EZJI34VO0G/rFxQmlwVOkaDVv6e62nGncOWhYFm/Vhr/nYny9fAOhTSui40gPBClzWNArTHQ1P/KYFkg0Myta1V0wuw== x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:SA2PR10MB4474.namprd10.prod.outlook.com; PTR:; CAT:NONE; SFS:(346002)(366004)(39860400002)(396003)(136003)(376002)(5660300002)(186003)(8676002)(9686003)(8936002)(38100700002)(71200400001)(7696005)(6506007)(44832011)(52536014)(478600001)(64756008)(66446008)(33656002)(55016002)(66476007)(296002)(66556008)(66946007)(26005)(316002)(4326008)(86362001)(122000001)(54906003)(2906002)(76116006)(6916009)(81973001); DIR:OUT; SFP:1101; x-ms-exchange-antispam-messagedata: Xb7XkWmitVD6vDH16JZGFY8HNEa9bEP/RfyvrxzuxAsPLi8dvdWoF1at3piS8QZs1zbHnz3dMMhTAZhbuPsr5fnOgTStsOyiuaHjPxP0xsZmcRHYeb/SF9n1n7eAXiT22OUXkwwdq+IUCQXsgsqJgX+w1UaC76vDLGVNxjH5AaxiCe9aCeNEAuRvr49b+s3zcMNE1yNj000qbe8Fz8+BB809PTarTOjZiQlAJmNpPvxg5M9y22lUfRVcVN6DPY/LqVvaNbjzLG9/ii8org4cEDv4AuF1KODSN2tQ2pIf6ShD/isAJunQA989972w2W3lSUsD+WoAavdR6LCwJgfbgejgR37tZ+ggrn/mjiFIPz7E0GSiIA+J72VvM/ge6w6VbVW7t2IwXcg1jo1KjJ/m/H2d5zVH2cgDNk1GnrNdFArjJKK4BVnvnJVaaWr16yFg7IHxiMLMggX9ssHziv8RpUVkt7EQDujIFDC+YxCdm8FdTQ8OVK02bHWrGzY4iE2fBhn5XGANGVX/h6GIn7tdiK2bynZnnWNKpbEASZitghGSvdlqfTCXzBB5ZEM6lEzUGgdMy0goqJC5jEff7G8GmPeVBSDXgH/MP21a4MX8U4Pnj3yZsd+X0JITux9xR+3YbbwRSeZ9+OF4sZbnXGGmWV2XnNV24b1bjBu9HEWwvLhjNfT4rnt4uEbAIICiFsh5PXVtjRIseY7GIeq3ul4ZRy35bmFQYGQ70t31ye/U8/W8JRs2yuazKI89LlaU elKugFApcVdqh2gpILSuYVr3im+7bJv38BL76JpXW3KSIsvCbqVSPuVWzFSMM2pcdYlK2m1NkOAEqsyJCtSntFB4icbFybT6A0 x-ms-exchange-transport-forked: True X-OriginatorOrg: oracle.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: SA2PR10MB4474.namprd10.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 1cfe3d8b-bd3e-45c7-7633-08d907a6939b X-MS-Exchange-CrossTenant-originalarrivaltime: 25 Apr 2021 04:57:07.0925 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: FRQlFMcqD8e4N4KbsH70y/BGXh4xpQ5voKZHJVtMZCZeAbn8R3YS1cP6eX5W92bl0fGuaPM6vS4GfCwyQf0GJg== X-MS-Exchange-Transport-CrossTenantHeadersStamped: SN6PR10MB2960 X-Proofpoint-Virus-Version: vendor=nai engine=6200 definitions=9964 signatures=668683 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 adultscore=0 malwarescore=0 mlxscore=0 mlxlogscore=701 bulkscore=0 phishscore=0 spamscore=0 suspectscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2104060000 definitions=main-2104250036 X-Proofpoint-ORIG-GUID: 0cKGUmEywXWkH9pgPT4CmDcNiWT53qgy X-Proofpoint-GUID: 0cKGUmEywXWkH9pgPT4CmDcNiWT53qgy X-Proofpoint-Virus-Version: vendor=nai engine=6200 definitions=9964 signatures=668683 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 adultscore=0 lowpriorityscore=0 mlxlogscore=995 malwarescore=0 bulkscore=0 suspectscore=0 spamscore=0 priorityscore=1501 clxscore=1015 impostorscore=0 phishscore=0 mlxscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2104060000 definitions=main-2104250036 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.io gmane.emacs.bugs:204844 Archived-At: > Drew, what does this rant have to do with add-hook? > Please stay focused. Please read what I wrote. I see no rant. > The only relevant thing I saw in there was: >=20 > >> Equality on functions is fundamentally undecidable [...] > > > > 100% agreement. And there's no need for it, for Emacs. >=20 > Huh, without it, there's no `remove-hook`. Read what I said about _real_ functions, which is whose equality is undecidable. As contrasted with the equality of Lisp "functions", represented as symbols, strings, or lambda forms. The latter is certainly decidable, and it's what we use in `remove-hook' to decide. "Of course, real functions don't have structure, and real function equality is altogether problematic. But this is Lisp, and some Lisp representations of "functions", at least when interpreted, do have structure (list, string, vector)." I agreed that equality on functions is undecidable. I added that (fortunately) we can get by with a lesser test of just our simple representations of functions. We can and we do. Our use of `equal' in `remove-hook' to test Lisp "function" equality has nothing to do with the undecidability of (real) function equality. There's no need, in Emacs, for "equality on functions", which "is fundamentally undecidable".