From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Michael Heerdegen Newsgroups: gmane.emacs.bugs Subject: bug#20784: 25.0.50; pcase documentation on t and nil Date: Fri, 12 Jun 2015 19:31:10 +0200 Message-ID: <87ioasdeap.fsf@web.de> References: <87r3pitmcb.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 1434130345 14611 80.91.229.3 (12 Jun 2015 17:32:25 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 12 Jun 2015 17:32:25 +0000 (UTC) Cc: Artur Malabarba , 20784@debbugs.gnu.org To: Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Fri Jun 12 19:32:14 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 1Z3SoP-00046f-F4 for geb-bug-gnu-emacs@m.gmane.org; Fri, 12 Jun 2015 19:32:13 +0200 Original-Received: from localhost ([::1]:53011 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Z3SoO-0002Hq-Si for geb-bug-gnu-emacs@m.gmane.org; Fri, 12 Jun 2015 13:32:12 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:52383) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Z3SoK-0002Hk-TA for bug-gnu-emacs@gnu.org; Fri, 12 Jun 2015 13:32:09 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Z3SoE-0007E6-SJ for bug-gnu-emacs@gnu.org; Fri, 12 Jun 2015 13:32:08 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:37581) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Z3SoE-0007E0-PP for bug-gnu-emacs@gnu.org; Fri, 12 Jun 2015 13:32:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1Z3SoE-0007Kg-5G for bug-gnu-emacs@gnu.org; Fri, 12 Jun 2015 13:32:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Michael Heerdegen Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 12 Jun 2015 17:32: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.143413028728141 (code B ref 20784); Fri, 12 Jun 2015 17:32:02 +0000 Original-Received: (at 20784) by debbugs.gnu.org; 12 Jun 2015 17:31:27 +0000 Original-Received: from localhost ([127.0.0.1]:52041 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Z3Sne-0007Jo-3g for submit@debbugs.gnu.org; Fri, 12 Jun 2015 13:31:26 -0400 Original-Received: from mout.web.de ([212.227.17.12]:59248) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Z3Snb-0007Ja-HT for 20784@debbugs.gnu.org; Fri, 12 Jun 2015 13:31:24 -0400 Original-Received: from drachen.dragon ([90.187.252.31]) by smtp.web.de (mrweb102) with ESMTPSA (Nemesis) id 0MXpZD-1YZ1D10ZC3-00WpUO; Fri, 12 Jun 2015 19:31:16 +0200 In-Reply-To: (Stefan Monnier's message of "Thu, 11 Jun 2015 12:22:28 -0400") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) X-Provags-ID: V03:K0:dpGxQxejmIuRAu+a8J1sLfxMIJDtedYOkI0sYCQMx1rS1muTvKX g1rYi/exxc+QkLPwgovZRtQ7wLUZBikZt/8R7N/SKJFk8rm6C+evCoEynIQbzjCXlUMaQCS 2iKBq+8e5+t0zf9Qo+nIpk94Sg5Vmng/qDWA60LY9rriMOv7tvUPsrqnjIPnbpjRX2xgaRl GxAVjZk1gWZTwJT+VQmEg== X-UI-Out-Filterresults: notjunk:1;V01:K0:Wt952T2Axag=:Pw0MNzevtLQmDvEcySNjv3 NeHTYIUycpuyDqLo6VS4Jr1BMLf/0ygJpeqVWZfyJY0WsfYa7EDPQGP1UZbsZdwvWkoLSQhvC 1pir6u9EGtTJ2yb7U4WVEJcctTa9D3n/6WtT9hdMMqeAkRHbP0tz8J1v3Qoow+SKgefzD5ujk NmYzANH7QF84ZPdLvYZ7fbFM8qM9D2o0AJ6Ldf3hA/mOenWcGkbrEW4NbpbNJ9Dz8JLFLVLBc Q0qaDJeFRz6dGV1wURzyR4oifo98e7CEbBEKjwDJkrYG3TLLtotWFFr3yylrjeaI+n/Aod96e RZeHEDKy+u5eBXwKFA7EbSNZ0b3BB0HJN1wEKBVEYfBtKz9jxV2vaqXga05lddSD7kaFO6gZS yu7it0mVAZlg6/tEpxefnogPU3d5feYL+E05HkPDGuQOcaS0T6X/7ShOcsu64e0Jc52czxPae GmAULA9Rjb4ppuOn9BLWyOtG+xMU4bWzQIhs2EZSgFT8y2rmdF/4cfWnVXIxZz8ftboNLqIgM QJUM/3gHXOchxcWwycxPZci6/ekfjYxxb1lt+GGu1JxDxLWR5UKSmT9qtjKzzQj3wVrUrNebH AWXQAPXMg8pHOcesjZJMp7qlY+gUXHnroRI733JqdhJAm5Qf7TKMRkfRSbGZYpY7mayBMuRRB 3NA6GXGdiwYBTkUJQSpBE+0WB4tOZ+bcP0hs0rV3RyQwm/tSljW4zPDckK/kLUROUCWo= 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:103867 Archived-At: Stefan Monnier writes: > 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? > I think making nil such a pattern would probably lead to more > errors/confusion than anything, since it's extremely rare to need such > a pattern. Agreed. > 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 because SELFQUOTING is a shorthand for 'SELFQUOTING. sounds like a tautology. > 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 AT= OM. into ATOM matches if the object is =E2=80=98equal=E2=80=99 to= ATOM. Regards, Michael.