From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Michael Heerdegen Newsgroups: gmane.emacs.devel Subject: Re: Replace trivial pcase occurrences in the Emacs sources Date: Wed, 31 Oct 2018 00:08:38 +0100 Message-ID: <87in1jt4ll.fsf@web.de> References: <83tvlcsnee.fsf@gnu.org> <86mur137n8.fsf@gmail.com> <20181029130132.GB4195@ACM> <20181029134722.GC4195@ACM> <87y3aftklz.fsf@web.de> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1540940873 24495 195.159.176.226 (30 Oct 2018 23:07:53 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 30 Oct 2018 23:07:53 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) Cc: emacs-devel@gnu.org To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Oct 31 00:07: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 1gHd6y-0006Gk-6q for ged-emacs-devel@m.gmane.org; Wed, 31 Oct 2018 00:07:48 +0100 Original-Received: from localhost ([::1]:55988 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gHd94-0004j5-Lc for ged-emacs-devel@m.gmane.org; Tue, 30 Oct 2018 19:09:58 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:52850) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gHd7z-0004WB-J6 for emacs-devel@gnu.org; Tue, 30 Oct 2018 19:08:54 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gHd7w-00046h-Cr for emacs-devel@gnu.org; Tue, 30 Oct 2018 19:08:51 -0400 Original-Received: from mout.web.de ([212.227.17.12]:36467) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gHd7w-00045K-17 for emacs-devel@gnu.org; Tue, 30 Oct 2018 19:08:48 -0400 Original-Received: from drachen.dragon ([94.218.210.177]) by smtp.web.de (mrweb102 [213.165.67.124]) with ESMTPSA (Nemesis) id 0M0hbG-1fQ5GY1Cdq-00umkR; Wed, 31 Oct 2018 00:08:40 +0100 Original-Received: from drachen.dragon ([94.218.210.177]) by smtp.web.de (mrweb102 [213.165.67.124]) with ESMTPSA (Nemesis) id 0M0hbG-1fQ5GY1Cdq-00umkR; Wed, 31 Oct 2018 00:08:40 +0100 In-Reply-To: (Stefan Monnier's message of "Tue, 30 Oct 2018 13:31:03 -0400") X-Provags-ID: V03:K1:XVckod4GZRPzDR9Qsz5cipV85xxMLBxnu+zSlc3BXfEAh7ZCvni sxdbYYX9ixc8RivFb86Rj8/j3trXGWKnry3FuULWppQ8c69GlEPEeOD6rPMRaGSbN5HxFCD HGDgIDbNZOFItooFHPdwjq3KeoSR6Vj2l7Ylo4DpA7g+i3JgWUKWfkynYdkqgVsQsNtMVcn /Gf6ThHAxtKIC1SrK0SOA== X-UI-Out-Filterresults: notjunk:1;V01:K0:IOvYygIBC3Y=:mGRCBI9uE6AkebJYP5sZq6 H42wDtFdEr1EIhuRLQ/rlkk+C6VI0V3II9+FfNDq0uj09ymcev+2GEqJlVWmBmJQ5gHd8e7in p7BKK/z81AWy32FAF5ZlG7aw+hFYp3wPETsBXhNAh2C6PhxKjUOogPXG2xvSkYsY6kAU5OkaF sLszWKjbChM2anacTGC+aSvBOAMO20VFf7JaZZvc5RoBCZXZ4e3ivRfW7eVnpj0kzL1VmdEID twt73mqs7LRRpljaGTwtwAGV/WN4JxsIzw1bS0sjpALm/E+4V2gkN/Nb6MBCakUkhjexH6hm1 QaV2YYHWo7F5ynJ+/Zf1NkZ72D/RVlz/sj9v9xR672L1NrC5vTww0fbrbpNxseQyKT+osrzwo w7bwFFVWAf5l3tIZ7H28ltXfGA4n2FZ0j22wyY0z6nGdLeRQvrhtmuxPOaCSlH/oZu0vydYsJ fTtOeGekreJfdxjQh+P+Dke8/ytbLQe1fUO0RCn1XDh2uhzUeBgRn4WZ+6jqz6faEOAonxck+ hNomqAsx5AdxNStpfH5A4+Npi0vlZO8XP/qZ2YkJ+gApMdCR3ADes2BAJuVfAA2dDR7eJMLe9 D2xu/hf4KwphLsPCZkHBOc8CuSLEwRh1UGEK+liDhUvxl1txZBIwqyEDuMXTKjJK7nFM/2P33 ISi3bOq62yiei2O9Zt9ltzrAzPerLBKf926Bhq8QyZx9dhPpH75p1fMSjKZTWPKt1xT10uJPH 4bE5ghwF7MVAWm3b/pFS5dF7P/vL5rb/7R/E0BhcYh9FCXC+IHiz9SuoJGOvqMv2YBydpmE0 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.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:230857 Archived-At: Stefan Monnier writes: > LGTM, thanks. We could maybe give a hint about why, e.g. saying that > there are no guarantees about the order and number of times they are run. Are these the only restrictions? Are there even cases where side effects can still be relied on - e.g. in #+begin_src emacs-lisp (pcase EXPR ((and P1 (guard (prog1 t (setq x 15))) P2) BODY1) ...) #+end_src is it legitimate to assume that x has been set to 15 if BODY1 is evaluated (and P1 and P2 don't touch x)? Or should we say side effects are generally disallowed - maybe also because we don't know how this could change in the future? Thanks, Michael.