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: Tue, 10 Mar 2020 16:01:56 +0100 Message-ID: <87zhcoqmmz.fsf@web.de> References: <874kuxxuez.fsf@alphapapa.net> <87r1y1wcj4.fsf@alphapapa.net> <87h7yxw5x1.fsf@alphapapa.net> <87a74puq1q.fsf@web.de> <87d09lw3id.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="26884"; 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 Tue Mar 10 16:15:19 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 1jBgbH-0006tX-3P for ged-emacs-devel@m.gmane-mx.org; Tue, 10 Mar 2020 16:15:19 +0100 Original-Received: from localhost ([::1]:35272 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jBgbF-00067d-SD for ged-emacs-devel@m.gmane-mx.org; Tue, 10 Mar 2020 11:15:18 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:43125) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jBgOJ-0001bN-90 for emacs-devel@gnu.org; Tue, 10 Mar 2020 11:01:56 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jBgOI-0001OV-43 for emacs-devel@gnu.org; Tue, 10 Mar 2020 11:01:55 -0400 Original-Received: from mout.web.de ([217.72.192.78]:50863) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1jBgOH-0001Jb-P9 for emacs-devel@gnu.org; Tue, 10 Mar 2020 11:01:54 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1583852509; bh=i8qfGYBFD2sht37iQpFyIGkBBxFN8VstHmgMQJGgknw=; h=X-UI-Sender-Class:From:To:Cc:Subject:References:Date:In-Reply-To; b=opR5V0uY9s95lmYABPCvKAZRFR7M3fRZTYzkKjdyx73vMqu2WbrwcgmxQAp8TUPm3 y4cJbiZ771jsi+C02vMvOJoV4SEgVuLURYiuz9vSvzv215Zmt1RLlEmzQ6nCUZn+MY CGCul2WBk/HR9zVgka6NaCBETy/s4Mkw+YeuaNas= 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 0MQepd-1im8cz3Sfd-00U6n5; Tue, 10 Mar 2020 16:01:48 +0100 In-Reply-To: <87d09lw3id.fsf@alphapapa.net> (Adam Porter's message of "Mon, 09 Mar 2020 17:46:18 -0500") X-Provags-ID: V03:K1:4y9XZJ01/hdwqfDjOBqPxg1/WS85ElggpVkdhLBFjIc+OCXEUPe Fzc6XuTx4Ldv8CO7ZEtx4f7Co/g8F+XSGR7EW2SJH8m7Ks5H4D00fWG56A2n6AYtftkfpU5 zsrPPyEurIBWLM8KjxX51M3Pg79DyWBNWfyLWPX63n5F7TFgcq7QltQ6XD8HC19TeX7KdM2 XnV6gJTC0TOTC/VrXd/7g== X-UI-Out-Filterresults: notjunk:1;V03:K0:6sJ+NUj1bvU=:g92ZeOydFZicLx6x0pLhcu O60uv5UsVgH901t0ZTSNt7lkUNDsuRyI8D/n2rJaPa3id3w5u6CQcs2J36xa0YVtqgyRvwRbK qzGTcYsNCk9LtpUX42VbNRQOzEKoQv4XMUxovq9BMCUqcikAsty66BpO6zinFHjumoTXqLank DO3qVMcYOqVYwSZvjMMtw/aWlE+8bm79JiMr5YYcMK82AbMdk7fD6Ruz2/nP20JgEjXy86Sce agWlLaRiiWM3LPxDwJx42e56Onvb0++uOI/US8RQ+6364kHUJfAj0NyN/d0MSm98o7O2W3S9L ROYEfw5KGDhgQO5VaRKg8UOXbO/z++hkx7q2OFyiF9xCPDO8PEAy7hDfgb9ZTQ0sgL1JbLam4 EhDW+BV+tnLcm+FXgHudpHe+neCwiTg6/wVftcPAHMF8O85nPf+DHApCoyvTj/qIfmLKWdkWL V6Txbsr/qovo0klUYEUaxnODTRw4U19TeSMc0eICcuOns2+e5hqvc6EP6pcagEF0cGJAwIxs6 RLAHWtgaXFt80FgE5oedMPEY2MyKuBLkCs5waWspTasZ8QZDt+D2m3826Vte45xK0BDdG5Zpu pxNyM8O5wScIzIJhszeJL+X2ay1vaw3su0S1kg1RLGVvk1nw/X47v0EocbqyYQMFBCA2AyMlF HGaImRPtzXG1yTuzwmIzYo6j1fLAMY3wNGn9mfXWkmNhfnL4eKCFHqU80VeAQijbGvqKj9jlN 8f6sLUvPa7cfocXg68zjuC29tooDeWsmwbmIiRNb/Z91YQmh6vVoztcSeVljm07vVpY9Oe4x X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 217.72.192.78 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:245428 Archived-At: Adam Porter writes: > +;;; Pcase type pattern. > + > +(pcase-defmacro type (type) > + "Pcase pattern that matches objects of TYPE." > + `(pred (pcase--flip cl-typep ',type))) If we keep these semantics and the patch is accepted, you should document here what TYPE means. IIUC any type expression allowed by `cl-typep' will be possible, right? Then just say something like "TYPE is a type name like in `cl-typep'" or so. Thanks, Michael.