From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Michael Heerdegen Newsgroups: gmane.emacs.devel Subject: Re: The poor state of documentation of pcase like things. Date: Sun, 20 Dec 2015 15:16:08 +0100 Message-ID: <87fuyxtdcn.fsf@web.de> References: <20151216202605.GA3752@acm.fritz.box> <87fuz0ydvb.fsf@russet.org.uk> <83poy4xm60.fsf@gnu.org> <871tak15pb.fsf@gmx.us> <8360zwxgbu.fsf@gnu.org> <87vb7wdpz5.fsf@fencepost.gnu.org> <831takxccb.fsf@gnu.org> <87egej3dvb.fsf@russet.org.uk> <83h9jfwuab.fsf@gnu.org> <83r3iivg02.fsf@gnu.org> <87fuyyllat.fsf@fencepost.gnu.org> <83mvt6vdli.fsf@gnu.org> <878u4qnpml.fsf@russet.org.uk> <83wpsatat1.fsf@gnu.org> <87r3iim611.fsf@russet.org.uk> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1450620998 5468 80.91.229.3 (20 Dec 2015 14:16:38 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 20 Dec 2015 14:16:38 +0000 (UTC) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Dec 20 15:16:30 2015 Return-path: Envelope-to: ged-emacs-devel@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 1aAemk-000509-8D for ged-emacs-devel@m.gmane.org; Sun, 20 Dec 2015 15:16:30 +0100 Original-Received: from localhost ([::1]:40900 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aAemj-0006Nr-ET for ged-emacs-devel@m.gmane.org; Sun, 20 Dec 2015 09:16:29 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:36166) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aAemf-0006Nk-T4 for emacs-devel@gnu.org; Sun, 20 Dec 2015 09:16:26 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aAemc-0003Qv-Ni for emacs-devel@gnu.org; Sun, 20 Dec 2015 09:16:25 -0500 Original-Received: from plane.gmane.org ([80.91.229.3]:51978) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aAemc-0003Qb-Ga for emacs-devel@gnu.org; Sun, 20 Dec 2015 09:16:22 -0500 Original-Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1aAema-0004kH-Kf for emacs-devel@gnu.org; Sun, 20 Dec 2015 15:16:20 +0100 Original-Received: from ip-90-186-2-57.web.vodafone.de ([90.186.2.57]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sun, 20 Dec 2015 15:16:20 +0100 Original-Received: from michael_heerdegen by ip-90-186-2-57.web.vodafone.de with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sun, 20 Dec 2015 15:16:20 +0100 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 18 Original-X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: ip-90-186-2-57.web.vodafone.de User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) Cancel-Lock: sha1:/st1Sw8l0mieJtG09D2c41VGHIM= X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 80.91.229.3 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 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-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:196551 Archived-At: phillip.lord@russet.org.uk (Phillip Lord) writes: > * Booleans:: and and or I would want to avoid the name "Boolean", since we don't speak about Boolean values. > * Guards:: I don't quite understand guards What's the problem? (And I think they belong to the same section as predicates.) I think the following holds: (guard EXPR) == (pred (lambda (_arg) EXPR)) Michael.