From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.bugs Subject: bug#20784: 25.0.50; pcase documentation on t and nil Date: Tue, 16 Jun 2015 12:43:55 -0400 Message-ID: References: <87r3pitmcb.fsf@web.de> <87ioasdeap.fsf@web.de> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1434473131 5591 80.91.229.3 (16 Jun 2015 16:45:31 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 16 Jun 2015 16:45:31 +0000 (UTC) Cc: Artur Malabarba , 20784@debbugs.gnu.org To: Michael Heerdegen Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Tue Jun 16 18:45:16 2015 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Z4tz9-00049F-Cf for geb-bug-gnu-emacs@m.gmane.org; Tue, 16 Jun 2015 18:45:15 +0200 Original-Received: from localhost ([::1]:41471 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Z4tz8-0002Uy-Lc for geb-bug-gnu-emacs@m.gmane.org; Tue, 16 Jun 2015 12:45:14 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:36833) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Z4tz2-0002Nk-I8 for bug-gnu-emacs@gnu.org; Tue, 16 Jun 2015 12:45:09 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Z4tyy-0006aR-97 for bug-gnu-emacs@gnu.org; Tue, 16 Jun 2015 12:45:08 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:41588) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Z4tyy-0006Za-6n for bug-gnu-emacs@gnu.org; Tue, 16 Jun 2015 12:45:04 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1Z4tyx-00076F-8J for bug-gnu-emacs@gnu.org; Tue, 16 Jun 2015 12:45:03 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 16 Jun 2015 16:45:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 20784 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 20784-submit@debbugs.gnu.org id=B20784.143447306327221 (code B ref 20784); Tue, 16 Jun 2015 16:45:02 +0000 Original-Received: (at 20784) by debbugs.gnu.org; 16 Jun 2015 16:44:23 +0000 Original-Received: from localhost ([127.0.0.1]:56048 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Z4tyI-00074z-7U for submit@debbugs.gnu.org; Tue, 16 Jun 2015 12:44:22 -0400 Original-Received: from mercure.iro.umontreal.ca ([132.204.24.67]:33829) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Z4tyF-00074q-Ea for 20784@debbugs.gnu.org; Tue, 16 Jun 2015 12:44:20 -0400 Original-Received: from hidalgo.iro.umontreal.ca (hidalgo.iro.umontreal.ca [132.204.27.50]) by mercure.iro.umontreal.ca (Postfix) with ESMTP id D813C9C148; Tue, 16 Jun 2015 12:44:18 -0400 (EDT) Original-Received: from lechon.iro.umontreal.ca (lechon.iro.umontreal.ca [132.204.27.242]) by hidalgo.iro.umontreal.ca (Postfix) with ESMTP id E4FA51E5B8D; Tue, 16 Jun 2015 12:43:55 -0400 (EDT) Original-Received: by lechon.iro.umontreal.ca (Postfix, from userid 20848) id BC28FB4086; Tue, 16 Jun 2015 12:43:55 -0400 (EDT) In-Reply-To: <87ioasdeap.fsf@web.de> (Michael Heerdegen's message of "Fri, 12 Jun 2015 19:31:10 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) X-DIRO-MailScanner-Information: Please contact the ISP for more information X-DIRO-MailScanner: Found to be clean X-DIRO-MailScanner-SpamCheck: n'est pas un polluriel, SpamAssassin (score=-2.71, requis 5, autolearn=not spam, ALL_TRUSTED -2.82, MC_TRANSFR 0.11, MC_TSTLAST 0.00) X-DIRO-MailScanner-From: monnier@iro.umontreal.ca X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 140.186.70.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:103998 Archived-At: >> We currently don't have a special "fail" pattern which simply never >> matches. Of course, you can make one up (e.g. (guard nil)). > (or) would also do it, but raises (error "Please avoid it") (BTW > (or _) raises that error, too). Why are those (error "Please avoid it") > calls useful? IIRC handling them well (i.e. generate efficient code) required more effort than I was willing to invest, or something like that, and IIRC they should only show up in unusual cases, so I made them signal errors, to try and see when/where those cases show up. So far I never bumped into them and haven't received any bug report about them either. We should probably remove them, tho, because those corner cases may be annoying to avoid when doing metaprogramming. >> That's pretty much what SELFQUOTING is. IF you think renaming it to >> ATOM would help, then we could do that. > I would prefer that over SELFQUOTING OK, changed. > because > SELFQUOTING is a shorthand for 'SELFQUOTING. > sounds like a tautology. As a teacher I was taught that redundancy in explanations is good ;-) >> As explained the use of `eq' is supposed to be a pure optimization with >> no semantics effect. > I see. Then I guess it would make sense to merge these two lines in the > ` doc? > STRING matches if the object is =E2=80=98equal=E2=80=99 = to STRING. > ATOM matches if the object is =E2=80=98eq=E2=80=99 to = ATOM. Yes, thank you, done. Stefan