From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: =?UTF-8?Q?Cl=c3=a9ment_Pit-Claudel?= Newsgroups: gmane.emacs.devel Subject: Re: pcase ` meaning Date: Thu, 1 Nov 2018 09:22:36 -0400 Message-ID: <58828484-f9eb-bfda-803d-3b17623f85cd@gmail.com> References: <20151216202605.GA3752@acm.fritz.box> <56895FDE.4060406@yandex.ru> <8760za8r4a.fsf@fencepost.gnu.org> <87h9iunkcg.fsf@web.de> <87h8hc4xw2.fsf_-_@web.de> <83tvlcsnee.fsf@gnu.org> <87pnw037ar.fsf@web.de> <83ftwvs7y9.fsf@gnu.org> <877ei7mkfh.fsf@web.de> <87a7mze7tl.fsf@web.de> <87zhuykjjh.fsf@web.de> <871s8aesdc.fsf@portable.galex-713.eu> <87tvl6dc3e.fsf_-_@portable.galex-713.eu> <87efc9isxj.fsf@web.de> <87tvl5653j.fsf@portable.galex-713.eu> <38aa830d-740e-af4d-9071-9aa0d9c10f04@gmail.com> <87efc8qnwh.fsf@portable.galex-713.eu> <87wopxr9p5.fsf@portable.galex-713.eu> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: blaine.gmane.org 1541078452 11922 195.159.176.226 (1 Nov 2018 13:20:52 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 1 Nov 2018 13:20:52 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.2.1 To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Thu Nov 01 14:20:48 2018 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gICty-000314-UP for ged-emacs-devel@m.gmane.org; Thu, 01 Nov 2018 14:20:47 +0100 Original-Received: from localhost ([::1]:42127 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gICw5-0001me-Cf for ged-emacs-devel@m.gmane.org; Thu, 01 Nov 2018 09:22:57 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:49284) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gICvw-0001hO-9r for emacs-devel@gnu.org; Thu, 01 Nov 2018 09:22:48 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gICvt-0005KE-3m for emacs-devel@gnu.org; Thu, 01 Nov 2018 09:22:48 -0400 Original-Received: from mail-qk1-x72f.google.com ([2607:f8b0:4864:20::72f]:44841) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gICvr-0005EJ-R8 for emacs-devel@gnu.org; Thu, 01 Nov 2018 09:22:44 -0400 Original-Received: by mail-qk1-x72f.google.com with SMTP id n12so12199611qkh.11 for ; Thu, 01 Nov 2018 06:22:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-language:content-transfer-encoding; bh=HKsh0TDFhOC/pxTQoASXGXZaet80l4e5fJ4OPDJPgL4=; b=VmzQ/YFH9rSrZbMaqvsVwK0tFE4RIvjq+YSpUeOxKGJepeoVNiDxrbBH+JU//sehTE x0AMmi9tm8QOI+c1b3uihdPbU4GDBTGJePlp4LUHYLK12vZLY4JYG+PiQiCEZI935N4O OiLb2Uvq/JMHpww4d98vqELGdVew1kIe0hvDR/L2uqPLuluhmgZQMhyh12x0QTUd2xfM AWAfxVfDZV6NiGU3pYXEpEs8LFeZdpirNg6cZvY2FOjIaYSgxYuttjnjDgbyoEnQHwHo 5teHb3OUl0Th10F34ncP4t1RimYzggGlggaEwCOn9tCSjviWQJA/qkfxRA2GWupFPMQz 5oVg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=HKsh0TDFhOC/pxTQoASXGXZaet80l4e5fJ4OPDJPgL4=; b=POfmsWWGT9BReNk4MYrY5WGLIuE25d1SccoXQcVsxi02SQ4i1hnrfymkcvbEJyzGM6 Ww6CFVqnZFt1BsLRchLnuyUT2ot5sv3IRf0H7XDhufENwA47Cqrss62qm/WVr5oRZRVW rIjlF7W5KMAaBvpt/RlKydfFBOkSTP/dcFYmjaq2JtZRVWnpe3Tc2xxKU8GJcpZmfv1D cVvbtjlys1afGDewGKYJGpEUjRpTg7mjVbpTh6nL9+evEv1LMELY8mT//3AkKH4qLjiR 2UvKEVliJf8m0U0cryYcXQTgVlU1abL+QVrzwiNCmykNzcp88lIGG3orfKQ3E5KJovdA x98g== X-Gm-Message-State: AGRZ1gIUMPpxVvWTvvbJk0lGzEOFqa5GA8u2Un0ylFPm6UVvCTsVuDNz /t8EoNlpoF9qs5wyaGpfQZVYvpDc X-Google-Smtp-Source: AJdET5drsbpyQ/pA5RLzBLCvSIvozA4jWO6qRdxL7s7eDqVDICb3Fk+2Oou/CFAkq/yM3Aw83H7DaQ== X-Received: by 2002:a37:3987:: with SMTP id g129mr6352395qka.236.1541078558140; Thu, 01 Nov 2018 06:22:38 -0700 (PDT) Original-Received: from [18.26.2.123] (26-2-123.dynamic.csail.mit.edu. [18.26.2.123]) by smtp.gmail.com with ESMTPSA id b134sm1081017qkg.78.2018.11.01.06.22.37 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 01 Nov 2018 06:22:37 -0700 (PDT) In-Reply-To: <87wopxr9p5.fsf@portable.galex-713.eu> Content-Language: en-GB X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::72f X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 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.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:230944 Archived-At: On 31/10/2018 19.13, Garreau, Alexandre wrote: > In lisp I would have prefered to be able to directly quote each symbol, > and have this to work, eg: “(pcase (list 1 2 3) (('a 'b 'c) t))” to > return nil, and “(pcase (list 'a 'b 'c) (('a 'b 'c) t))” to return t > (and this is like many other lisp pattern-matching implementations > already work). In current pcase, pattern “(a b c)” does *not* mean > “with symbols 'a, 'b and 'c”. But remember that this breaks the pattern-body symmetry: (pcase (list 'a 'b 'c) (('a 'b 'c) ('a 'b 'c))) would match, but the body would raise an error.