From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Dmitry Gutov Newsgroups: gmane.emacs.devel Subject: Re: Instead of pcase Date: Tue, 28 Nov 2023 14:39:28 +0200 Message-ID: References: <87fs169mjj.fsf@posteo.net> <093f11a1-57c2-5e56-d39b-26fef1c67cbb@gutov.dev> <25942.25061.217864.329049@retriever.mtv.corp.google.com> <87zfzdcz6z.fsf@posteo.net> <87zfza2aq2.fsf@web.de> <7nmsv9zq6u.fsf@ecube.ecubist.org> <7nv89x5tsi.fsf@ecube.ecubist.org> <87o7focuf5.fsf@web.de> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="14837"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.13.0 Cc: michael_heerdegen@web.de, emacs-devel@gnu.org To: rms@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Tue Nov 28 13:40:38 2023 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 1r7xOH-0003Xh-PZ for ged-emacs-devel@m.gmane-mx.org; Tue, 28 Nov 2023 13:40:38 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r7xNc-000320-1N; Tue, 28 Nov 2023 07:39:56 -0500 Original-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 1r7xNR-0002wa-IM for emacs-devel@gnu.org; Tue, 28 Nov 2023 07:39:48 -0500 Original-Received: from wout4-smtp.messagingengine.com ([64.147.123.20]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1r7xNK-0004bD-Jl; Tue, 28 Nov 2023 07:39:44 -0500 Original-Received: from compute2.internal (compute2.nyi.internal [10.202.2.46]) by mailout.west.internal (Postfix) with ESMTP id D462B3200B68; Tue, 28 Nov 2023 07:39:33 -0500 (EST) Original-Received: from mailfrontend1 ([10.202.2.162]) by compute2.internal (MEProxy); Tue, 28 Nov 2023 07:39:34 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gutov.dev; h=cc :cc:content-transfer-encoding:content-type:content-type:date :date:from:from:in-reply-to:in-reply-to:message-id:mime-version :references:reply-to:sender:subject:subject:to:to; s=fm3; t= 1701175173; x=1701261573; bh=iJFlflWQPWRBU+fR6W6pOA1U8aGy5jHkrkI MX7lAhPI=; b=A3NZiWnvGe0U0mQDVtQe4Mxv/dbrgDDAc+gWkEfbiJZslLA4LtA M8bVKiD8yvfAbD1GYc0RdSBeHnH9djaaZ5KC912Oswrtxx1rKtXz8C9AseiK6hR5 QSF5rPk5IBBcs87eX7JI0OGTl0z+WDqz6rjnXSxLcyBMEppjsOVtqvs0BiA9t0tb 4QJKCmFHB2EoPK6n349WPTdwViomiK7xC5k8Zt1aepgfA7YA70zeiWZ1oGPvuf9r pdrLlqLwq14ajfeiaVFz6aSSHsPP84hSey1E+d5i+TW6MnIjPNFBcXYurseIYmmC D/s123esgrK6CKnv2w80Z4gbkQKAgI+UOGw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:cc:content-transfer-encoding :content-type:content-type:date:date:feedback-id:feedback-id :from:from:in-reply-to:in-reply-to:message-id:mime-version :references:reply-to:sender:subject:subject:to:to:x-me-proxy :x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm1; t= 1701175173; x=1701261573; bh=iJFlflWQPWRBU+fR6W6pOA1U8aGy5jHkrkI MX7lAhPI=; b=AYtzdhzR5FI4op90m83+bvsMNaQxxlykxh3nZL9ytcEMZD/Nzsd NjBlO9xBrqsRVlHtzEK2dWFLzO7g9MP5JnndclEvtskE/xYyZs033ahqvH80+3DD TWqrRZFgc6Bi6sx5jCY2DXq1QFXQJL5ofXBX/DIyChrtC/6pDPhxiLlJi76IkgNz VaQt1Ct1hHU4qEYcluSXs3NrlMYW2BwwYDaDeC3knC2yLxdGLj+s4g1xjDd3fOjR D6XhvotS5ptHWCLWOckhJzg4/TA6FqgLAEL9VweKT2prNsELNYQ1I8J9ezZ926bd 0jOOta8U6GcWgV1RhEo1v3aRWtBq2x8inug== X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvkedrudeifedggedvucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucenucfjughrpefkffggfgfuvfevfhfhjggtgfesth ejredttdefjeenucfhrhhomhepffhmihhtrhihucfiuhhtohhvuceoughmihhtrhihsehg uhhtohhvrdguvghvqeenucggtffrrghtthgvrhhnpeeigfetveehveevffehledtueekie eikeeufeegudfgfeeghfdulefgfeevledvveenucevlhhushhtvghrufhiiigvpedtnecu rfgrrhgrmhepmhgrihhlfhhrohhmpegumhhithhrhiesghhuthhovhdruggvvh X-ME-Proxy: Feedback-ID: i0e71465a:Fastmail Original-Received: by mail.messagingengine.com (Postfix) with ESMTPA; Tue, 28 Nov 2023 07:39:32 -0500 (EST) Content-Language: en-US In-Reply-To: Received-SPF: pass client-ip=64.147.123.20; envelope-from=dmitry@gutov.dev; helo=wout4-smtp.messagingengine.com X-Spam_score_int: -41 X-Spam_score: -4.2 X-Spam_bar: ---- X-Spam_report: (-4.2 / 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, NICE_REPLY_A=-1.37, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H5=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-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-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.devel:313312 Archived-At: On 28/11/2023 04:44, Richard Stallman wrote: > > I suggest you try rewriting the definition of completion-help-at-point > > using your alternative construct. > > I did that, and found that translating that particular pcase to use > cond* resulted in something about equally complex. I guess that's the point I wanted to underscore: that those pcase uses are more-or-less optimal in terms of complexity (for its ultimate goals), that in most cases it comes from the problem domain rather than from the solution. And I'm guessing your solutions were more verbose, if anything. > But I recognized > some changess to make in cond* as a result. Those changes are in the > newer version I sent out during the weekend. Happy to help. Though note that simply adding a new way to do the same thing that's not better by a sufficiently large margin, usually leads to "now we have N+1 standards".