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.devel Subject: RE: [External] : Re: Always-true predicate? Date: Fri, 19 Feb 2021 18:04:24 +0000 Message-ID: References: <875z2qoqc6.fsf@gnus.org> <87eehcsal4.fsf@gmail.com> <83zh002zjm.fsf@gnu.org> <83k0r42nca.fsf@gnu.org> <87lfbkrx9r.fsf@gnus.org> <83eehc2mg9.fsf@gnu.org> <87czwwrw3o.fsf@gnus.org> 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="8808"; mail-complaints-to="usenet@ciao.gmane.io" Cc: "rpluim@gmail.com" , "stefankangas@gmail.com" , "rms@gnu.org" , "emacs-devel@gnu.org" To: Lars Ingebrigtsen , Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Fri Feb 19 19:05:39 2021 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 1lDA9p-00026P-SG for ged-emacs-devel@m.gmane-mx.org; Fri, 19 Feb 2021 19:05:37 +0100 Original-Received: from localhost ([::1]:58918 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lDA9o-0001ki-Rz for ged-emacs-devel@m.gmane-mx.org; Fri, 19 Feb 2021 13:05:36 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:55556) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lDA8q-0001Au-0q for emacs-devel@gnu.org; Fri, 19 Feb 2021 13:04:36 -0500 Original-Received: from aserp2120.oracle.com ([141.146.126.78]:36582) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lDA8m-0004nc-Ug; Fri, 19 Feb 2021 13:04:35 -0500 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 11JI4RWN034867; Fri, 19 Feb 2021 18:04:27 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=Fp1JUx5WoCbflJ4d5mhsP4Hguz+myfIwS/chnGc1SWw=; b=FqYislhY5AaQNJUjW6z7L26GPdIlUd2X5VVTjgpKRbnIYcva4USWztcTBPpLg34hUeIx W3uwwIoNLpe9YSL2RtIln2ohwydlNLqDtZX4iJ76tET5Ygt6EvCrPG+X1ihHQlUQcCzY nRgOdkvIDishL/899cCgDuqlB4foCGngXlagjNjRD9KQmizd7H4Z1cMHU0N7cWKEaR1Q 562MO4oJ+tzeyohuCcTRkdcvOk6xMCweEgqDo2r2GUKMzz/W14qyDk7Rxm3xPS6z/4mm MkTeFVcxNHJR+AYjdmRBYSQSqdDlwG9ZnU6xueGweActuF52YlbCNCxz3gDaOPo3VbbV xQ== Original-Received: from aserp3020.oracle.com (aserp3020.oracle.com [141.146.126.70]) by aserp2120.oracle.com with ESMTP id 36pd9ahvct-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Fri, 19 Feb 2021 18:04:27 +0000 Original-Received: from pps.filterd (aserp3020.oracle.com [127.0.0.1]) by aserp3020.oracle.com (8.16.0.42/8.16.0.42) with SMTP id 11JI0OBV163670; Fri, 19 Feb 2021 18:04:26 GMT Original-Received: from nam12-dm6-obe.outbound.protection.outlook.com (mail-dm6nam12lp2173.outbound.protection.outlook.com [104.47.59.173]) by aserp3020.oracle.com with ESMTP id 36prp35qt7-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Fri, 19 Feb 2021 18:04:26 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=ZtqxPBIWrUIh+O0ou/IqvOwtVUKz92b+bAK5uM83xMsr//DPp/QEPm0JkwfKpyZK/c6bQXiDOPjOdFd9GW2pRRBfwO2gRUYYBOlkVIORtf1cJKkAyQx8x+Tu2ifKo+PKpDmalHbta60THFLzaNkrqurkvjbXhlLZLpe577u0meVbgr6R0ba2Q57UOvF0pZJXcPIg/mK250nriu46omqXassWtrTDP/tz3hbSdBw8Cr4Dw5A2UsobvcW6V6U7gvWhOieypz4wGPyorPWPWBoOiKbTlOVLnRzhiAahCQKduyI/gINDcOuJlG8TlKkZHHvLwQ1ypAWq/984x2Od2tlO1A== 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=Fp1JUx5WoCbflJ4d5mhsP4Hguz+myfIwS/chnGc1SWw=; b=b51sKLxYH+RAkvd0bDtlFgoU1U5PASPbnT4GwQ1MlA6Y2kM1v5NuYed/GKKqCPLOYFYes/9RmdTNNOZ4N6Is4NOWBjrLyKFSPQkJYXqcrisq/3Ygu9cc0iZMGqPRlvriAKDpdeGGxSJbLw/kRtyEFYcusjV8zTXcQTkV+1QBHPC71ct8ZtxLPkHCsvS61IrkP/SMtvM5OvN2OLzRs2dYPMzdFfJKBw6BE+jYf7o5/Gj0ZFL9p8muG7FkU5lzTXx/bNm8rM65dzMIerAZPa5815/tceWhbkZnrYmkX3ffqFhuJlr38TinUUV7UuM0UjBk7WfguxVyN5zs/DeckQSRKA== 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=Fp1JUx5WoCbflJ4d5mhsP4Hguz+myfIwS/chnGc1SWw=; b=pQnawsJivs+SBTObX/aw4J+uq6bck4ROFnSzPmyeQS9ONJ4mNbzlqE29fe5WSNHeZoHhQJE6Z6ouewry3wlcuckLg2FEhn3xeVPxiD8VTMYlBBlWb8dKP/wDWSYSxShJFWEdRGVAbdKEvuUo4XzYAhFse+LqFEhNEXugh8TDhZk= Original-Received: from SA2PR10MB4474.namprd10.prod.outlook.com (2603:10b6:806:11b::15) by SA2PR10MB4475.namprd10.prod.outlook.com (2603:10b6:806:118::24) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3846.26; Fri, 19 Feb 2021 18:04:25 +0000 Original-Received: from SA2PR10MB4474.namprd10.prod.outlook.com ([fe80::b8d2:db6d:3e4b:d315]) by SA2PR10MB4474.namprd10.prod.outlook.com ([fe80::b8d2:db6d:3e4b:d315%5]) with mapi id 15.20.3846.043; Fri, 19 Feb 2021 18:04:25 +0000 Thread-Topic: [External] : Re: Always-true predicate? Thread-Index: AQHXBshoQusShjv+tkyQbJ5JVNyjZqpfwzQQ In-Reply-To: <87czwwrw3o.fsf@gnus.org> Accept-Language: en-US Content-Language: en-US authentication-results: gnus.org; dkim=none (message not signed) header.d=none;gnus.org; 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: 63debc8b-7821-4c1f-b93a-08d8d500caaf x-ms-traffictypediagnostic: SA2PR10MB4475: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:8273; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: cB/LYzMZK1ZOKWzQTuGvzzleI2L4T/+tezxl/jSmKfqGR9S1fOK9axAxL6C7RN/cOrJnx8zoo496/c5ud4gqEhMtlUJXQq9YDpDFBXOSP3/S167UksnbC/7LD2kvSgaf1PhfcY5ZinS+kMU7Yswkwvz4XEMYKuABoLn9tToZ9rMMH5/2dnjSU/dRsg64459WSm6BF+QyPbksIklYhBAJI44M5nYO57t+lqR+sWtxI3k/7r+c0ZDNuJ/kZRPyzSNBglWbNPQ/FCKrbJVMmsL8XWpg20TViDwJbAvtjv1uhfS1Qw2ZEiBi7NyIflOPXy/ErqSOruZRCemlQDpt8RCUnGVPQsQhEjmh8svGcM/9AJRFdyvg6aWRdf7aV9OzwuPdyj1PiufnVov2D/v/JVW2ci/xisj0Eh1x/SwjOEPzWN9yjbL7lu7Qec9Ort/PTmV4us/dlH2DaylpzXh19kLe8DPPucay5dmoLeOhHkAE0FompxeEx6OOljyR4ZdF5m5NuE7nevSPcJqzyObYCvlRBw== 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)(376002)(366004)(136003)(39860400002)(396003)(5660300002)(86362001)(8936002)(66946007)(26005)(316002)(66556008)(2906002)(186003)(55016002)(64756008)(44832011)(7696005)(54906003)(4326008)(66446008)(76116006)(6506007)(52536014)(71200400001)(110136005)(66476007)(9686003)(478600001)(8676002)(33656002); DIR:OUT; SFP:1101; x-ms-exchange-antispam-messagedata: =?us-ascii?Q?exGzYYcEr2SzRkkuuSzGardBf+Gd1Zg6G6Lr1pblj9YHJhuudP6yftLbr21q?= =?us-ascii?Q?xYByguObdUo5EvD6QSFwaRKRsE5S+LrtwtNggB0iX/v7vdzGhxjFuqljhdNo?= =?us-ascii?Q?+Stdz7LcBxiy9tyafafGqkHccpEUazNfPLO2F9/xqLEIIme2W976ab/m/x04?= =?us-ascii?Q?9DSoYZjNmDMi5AmQDIXpVnfqZFS3i2QjDyK1T8mEWENIGRKta/eROL58r2s1?= =?us-ascii?Q?7bvxfD7bCgF/lD9uS8ZMovaCKWj3WXnrAZHuq5KAWIlDNEdgwuPNaAXVou2Q?= =?us-ascii?Q?Ey8+DHqPE7rCYSBkVaC3qSPlCJpUyH8LC604AE7vVb6J3bQpsth95Xn4TlJq?= =?us-ascii?Q?+TU8CXZOgytxkOfrZrwo5rsy9t5kJH95frjzylJcYopF5xZ9Cj9JkNVtnai4?= =?us-ascii?Q?RdgduGM4Y07GI96XfEtrgrZr3+KKjjKbWg7VndLvhzRBvp8zA8nWprXsMA06?= =?us-ascii?Q?gBh35zD4KPtN8uaPC9YM/E1otKmroBWmuJ745Co2PogZ7T+kWaqRlhK5USKi?= =?us-ascii?Q?+zXysWM1PuMka0MRKDLw1X3d7rqCBNwjn9THEkkcrs5oG94zNkUwIZIW/Z3h?= =?us-ascii?Q?Y3SNCE5/d9YRmr063HUqaCmPotYOcfwGBU29ZkeURenURu5IeE2I5Fk4ZMiK?= =?us-ascii?Q?K6pT 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: 63debc8b-7821-4c1f-b93a-08d8d500caaf X-MS-Exchange-CrossTenant-originalarrivaltime: 19 Feb 2021 18:04:24.8960 (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: d65FMssx42GRLVFJUW6hPDj8ruPnb5ucgc5ljo0E2nCyl9ko3qRvGGWtWd0vCrMPwpGih6I6uy3Czqprlt6xVA== X-MS-Exchange-Transport-CrossTenantHeadersStamped: SA2PR10MB4475 X-Proofpoint-Virus-Version: vendor=nai engine=6200 definitions=9900 signatures=668683 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 phishscore=0 mlxlogscore=970 bulkscore=0 suspectscore=0 spamscore=0 malwarescore=0 mlxscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2102190142 X-Proofpoint-Virus-Version: vendor=nai engine=6200 definitions=9900 signatures=668683 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 clxscore=1015 impostorscore=0 mlxscore=0 phishscore=0 mlxlogscore=999 spamscore=0 bulkscore=0 priorityscore=1501 malwarescore=0 suspectscore=0 adultscore=0 lowpriorityscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2102190142 Received-SPF: pass client-ip=141.146.126.78; envelope-from=drew.adams@oracle.com; helo=aserp2120.oracle.com X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 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, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.23 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:265278 Archived-At: > > But my main gripe is about options whose values can only be > > functions, and nothing else. No one will convince me that > > Emacs developers cannot come up with meaningful values that > > aren't functions for some option. >=20 > Yeah, that's true. Having nil/t values is often handy. > I guess the only reason for not adding those is laziness. I generally agree with where I think you're both heading (converging). I'll add this to what Eli said about there being a difference between having an option whose only possible values are functions and one that allows a function value but also allows some other values (with which I agree): The typical case for a function-only option is for the default value to be a named function. Eli's point is that if you want to change the option value then you need to provide a function name or a lambda form. Error prone (for lambda) and can require some Elisp knowledge (for lambda). But it's also possible for more than one named function to be predefined and mentioned in the doc string. In that case, picking one of _those_ names is not very different from the defcustom providing a `choice' that includes values that correspond to those names (as well as a catch-all arbitrary function choice).