From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Lars Ingebrigtsen Newsgroups: gmane.emacs.devel Subject: Re: Smarter M-x that filters on major-mode Date: Fri, 12 Feb 2021 10:59:20 +0100 Message-ID: <875z2xvc7b.fsf@gnus.org> References: <8ed9b43502ae1480e06b@heytings.org> <83r1lohqoc.fsf@gnu.org> <87wnvfenry.fsf@gnus.org> <87blcrdlqf.fsf@gnus.org> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="4286"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) Cc: emacs-devel@gnu.org To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Fri Feb 12 11:02:23 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 1lAVHK-00010Y-SX for ged-emacs-devel@m.gmane-mx.org; Fri, 12 Feb 2021 11:02:22 +0100 Original-Received: from localhost ([::1]:53244 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lAVHJ-0000E1-Fp for ged-emacs-devel@m.gmane-mx.org; Fri, 12 Feb 2021 05:02:21 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:60304) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lAVEX-0007f5-0C for emacs-devel@gnu.org; Fri, 12 Feb 2021 04:59:29 -0500 Original-Received: from quimby.gnus.org ([2a01:4f9:2b:f0f::2]:53824) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lAVEV-0004Cu-AE for emacs-devel@gnu.org; Fri, 12 Feb 2021 04:59:28 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org; s=20200322; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date: References:Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=La2VgqtzqGl1xVMZ37S0pVCyyfl9/vsw0q/HGjD6/S0=; b=YmMiD9izbWWZSziiEn0iKcQAgM eyZ7SHc+llFODI47WPN4ie/Vz9fITToBbzTbBxPAAUPNfjkHhHVe1Agbc4NsU23RuIdgNQhhPD9FW oTJQ24yjqvlAjoAXmlGAyv0+uVu34BhkLyQYhxES2+hDeKsIIoYUMZ/ZWUoVIkPH8Zl4=; Original-Received: from cm-84.212.202.86.getinternet.no ([84.212.202.86] helo=xo) by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lAVEP-00054w-Tm; Fri, 12 Feb 2021 10:59:24 +0100 Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAABGdBTUEAALGPC/xhBQAAACBj SFJNAAB6JgAAgIQAAPoAAACA6AAAdTAAAOpgAAA6mAAAF3CculE8AAAAD1BMVEVdTz6Gd1WrmWjU x53///+jnNenAAAAAWJLR0QEj2jZUQAAAAd0SU1FB+UCDAkaGvjV9GcAAAGuSURBVDjLpZTblRsx CIbRpAGBGxiggQz039v+IGntPcnJS3ixxAfiNpjoh0wibqGPQ8nYVz4WOks5xuBvcI5tD6BmP8E6 i7VoGZq+zLyubGFbADjU0z08n3jlAQL3gK70Gea+9WrwqAN0FjJVsiQqCLFbWt/tXr9NmIb5BqEf AHXJ9oh43H35mlZVUsGi6zJvdTvs8GZjEg/fDhNqHk0Uah4SsQovMNEVXFYDd92CloiuDnEB2cki XeQLPdKJEzwqPGNmsgDIKty8SqcxGyxNA6+8kO8FdeRPWQVu+zY94K7vol+ybn1sbDMpb/QEKaJX q4GVhjLA72ojagGULsIqc4BnXHipgA5bIN+gao6bLB9+AxZPVLOBmH4C4evvT3UZMmSPlivdh859 0q89cqIkdGUBA7jsgBc5qh+ZT/cHj74ABqZEjDkiup6GAjyS9cFJPpfbWSkYVUNS0Q+l63ujqKZ+ I2pQLdV462tHtFaxBrLsr0lz9Jd2zHhuYwxn7VerhI9fgUvrd/KclHMvsnZOeq7fq78SkHtf/f2n wB/xqvL/kH5kzD/BqvL+p1/JFwwsacMtQi3XAAAAJXRFWHRkYXRlOmNyZWF0ZQAyMDIxLTAyLTEy VDA5OjI2OjI2KzAwOjAwnBQbygAAACV0RVh0ZGF0ZTptb2RpZnkAMjAyMS0wMi0xMlQwOToyNjoy NiswMDowMO1Jo3YAAAAASUVORK5CYII= X-Now-Playing: Nettle's _El Resplandor: The Shining in Dubai_: "Khalid's Song" In-Reply-To: (Stefan Monnier's message of "Thu, 11 Feb 2021 09:38:10 -0500") Received-SPF: pass client-ip=2a01:4f9:2b:f0f::2; envelope-from=larsi@gnus.org; helo=quimby.gnus.org 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, 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-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:264482 Archived-At: Stefan Monnier writes: > How 'bout > > (declare (M-x-pred EXP)) > > which turns into > > (define-symbol-prop '[SYM] (lambda () EXP)) > > so EXP can be (derived-mode-p 'foo-mode) or it can be nil, or ... I started implementing this bit, but I'm not sure whether an EXP that gets turned into a lambda with no parameters is the best design here... That is, the common predicates I've encountered while doing markup in the gnus*.el files are: -- based on major mode (needs the symbol name and the current buffer, but can probably assume we're in a specific buffer) -- buttons (needs the symbol name, and in addition to the major mode needs to look at properties at point) -- minor modes (needs to check whether the mode is on or off) So I'm wondering whether this should be (declare (completion (lambda (buffer symbol) ...))) but we'll have a number of standard predicates, so that'd normally be (declare (completion completion-in-major-mode-p)) (declare (completion completion-on-button-p)) (declare (completion completion-minor-mode-enabled-p)) or something along those lines... -- (domestic pets only, the antidote for overdose, milk.) bloggy blog: http://lars.ingebrigtsen.no