From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Michael Heerdegen Newsgroups: gmane.emacs.devel Subject: Re: [PATCH] pcase.el: Add type pattern Date: Mon, 09 Mar 2020 23:22:25 +0100 Message-ID: <87a74puq1q.fsf@web.de> References: <874kuxxuez.fsf@alphapapa.net> <87r1y1wcj4.fsf@alphapapa.net> <87h7yxw5x1.fsf@alphapapa.net> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="24601"; 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: Adam Porter Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Mon Mar 09 23:25:16 2020 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 1jBQpo-0006Gu-4R for ged-emacs-devel@m.gmane-mx.org; Mon, 09 Mar 2020 23:25:16 +0100 Original-Received: from localhost ([::1]:50724 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jBQpn-00082A-0X for ged-emacs-devel@m.gmane-mx.org; Mon, 09 Mar 2020 18:25:15 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:57778) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jBQnA-0007Xe-JF for emacs-devel@gnu.org; Mon, 09 Mar 2020 18:22:33 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jBQn9-0000UK-8o for emacs-devel@gnu.org; Mon, 09 Mar 2020 18:22:32 -0400 Original-Received: from mout.web.de ([212.227.17.12]:48479) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1jBQn8-0000Sq-Af for emacs-devel@gnu.org; Mon, 09 Mar 2020 18:22:30 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1583792546; bh=xOcZ1CDGRX64G6Rv+6YTeRQj184Non8KvcJo83gWYv4=; h=X-UI-Sender-Class:From:To:Cc:Subject:References:Date:In-Reply-To; b=eKQs2UdDe2+IDyB3DP5GKZCQnFkAf4gnVTdzgROTJ+t/bOtpNYjFXaU+JKRbGr1jY hOpZPosmmdfiehjm0b7jUrkMTHV5U8AqKMm45xEZnQCQVFax9zoJ6g8/tL5Rx24muV T9L2cBhtNQtOy9zji7HDMumilHKf/FnvmMJJNOfk= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Original-Received: from drachen.dragon ([92.208.89.41]) by smtp.web.de (mrweb102 [213.165.67.124]) with ESMTPSA (Nemesis) id 0Lj2Dy-1jl3Wh3Wbm-00dDPZ; Mon, 09 Mar 2020 23:22:25 +0100 In-Reply-To: <87h7yxw5x1.fsf@alphapapa.net> (Adam Porter's message of "Mon, 09 Mar 2020 16:54:18 -0500") X-Provags-ID: V03:K1:NG77eTgbh08PdAtB7gMlo0X4iFB5X8sobMzBwp4nNuao/35dVw1 gGBGcGqus2sqMIzVbm2Wvkjf1FIdukmnfqdcg4C+vs4/byn4bdnYPZDuhwNLiXbeONfxL5E usTRWSfCN9wmky212W/EopM++r14VfovEuBaJvky/Hue6j3weyqW5soWBmrhhEnt7T6A7zM Nht0+BykRpChYC39L5j2Q== X-UI-Out-Filterresults: notjunk:1;V03:K0:3LL3jui9oL4=:I+JgQ65NrZpDTP9e2t+1oE YC1+HdE3rAeAWQ9lSTLphbcZzVnEaROxy0aXh9ienuz2jWnqlPP/cvdx3TNeB55pUMwm/V2s9 QR4O1zQfajEboPeERATd2lLwe7KMRAhq0TuKaInsPU30kvv+MF54QoqOzbgqxy72wQV+hh3rr goE3QviHNuUWihVv4Ol8olInh2bbq+UCbns62M/bSKXVu3fSpjefIc2vEbKt6DnGxyZzG9F7W PaT5ZOBsJAgXCp7fWZZ4JXnIWyBhrVe7EISm/xlU/W3HvPPyfpBzX8slmefKqDoVomEdtebCS 9w6mnshjIxtNdBIdOIirJDHEN9gLFzAbMuW1ipOcDBhuTrs2r75PSLWEC2LsERb0jyWoEzhLe MSsZHZGY8RX7gHC+OYKScPLDMZSUO8Ha7oAV8iK/4JEYxZx+MCkh4CZWXvA8EAOEQDnUKmt53 TX2PqrE8DEygRk7IXNDPsIjP05HAprlYXXMxyQA6/q8vajXANklVT51V3dDlFT4Jw7tIG23qS 8t2MyzGauphx/fv22MV6uFWCKIz8jwSMx9aHL8eWxyUdMw1H9p07YqSXv0AEKbSTQ2ltAIeen q0ZTqRV8+NFbhJFO0tLJYQxfsD9CNa5oq//IbvWEe/K0viQ3XPKbbPywoVEu30EQBAtmWA42y 1tJt8L3+fzDVJT9wWo1U4QZMunKh38X0oz0YTjNhjafD3+pBwA3YXV5t7S8p/Dh4FobAGviIj RLKFboPrZq5KkU2t89uz97WA56QgGe1kT3joX+tkdmQo3+Tag3cGQAyZTIsi8VsgnsQ5L44z X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 212.227.17.12 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:245419 Archived-At: Adam Porter writes: > (pred FUN) matches if FUN called on EXPVAL returns non-nil. > + (type TYPE) matches if EXPVAL is of TYPE. > (app FUN PAT) matches if FUN called on EXPVAL matches PAT. I like your idea, but I would not document the new pattern at this prominent position. Evaluating the pattern definition will add an entry in the dynamically created docstring anyway. I think this is good enough. Michael.