From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: phillip.lord@russet.org.uk (Phillip Lord) Newsgroups: gmane.emacs.devel Subject: Re: The poor state of documentation of pcase like things. Date: Thu, 17 Dec 2015 22:22:29 +0000 Message-ID: <87y4csww9m.fsf@russet.org.uk> References: <20151216202605.GA3752@acm.fritz.box> <87fuz0ydvb.fsf@russet.org.uk> <0e515b9f-c244-4e48-a711-bfc3e0a2405a@default> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1450390984 16382 80.91.229.3 (17 Dec 2015 22:23:04 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 17 Dec 2015 22:23:04 +0000 (UTC) Cc: Alan Mackenzie , Emacs developers , Kaushal Modi To: Drew Adams Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Thu Dec 17 23:22:49 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 1a9gwi-0001Pw-Bk for ged-emacs-devel@m.gmane.org; Thu, 17 Dec 2015 23:22:48 +0100 Original-Received: from localhost ([::1]:57454 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1a9gwh-0005Gb-NM for ged-emacs-devel@m.gmane.org; Thu, 17 Dec 2015 17:22:47 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:40393) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1a9gwU-0005GN-Lj for emacs-devel@gnu.org; Thu, 17 Dec 2015 17:22:35 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1a9gwR-0008Tr-GS for emacs-devel@gnu.org; Thu, 17 Dec 2015 17:22:34 -0500 Original-Received: from cheviot22.ncl.ac.uk ([128.240.234.22]:56266) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1a9gwR-0008Tl-BC for emacs-devel@gnu.org; Thu, 17 Dec 2015 17:22:31 -0500 Original-Received: from smtpauth-vm.ncl.ac.uk ([10.8.233.129] helo=smtpauth.ncl.ac.uk) by cheviot22.ncl.ac.uk with esmtp (Exim 4.63) (envelope-from ) id 1a9gwQ-0000ow-Fg; Thu, 17 Dec 2015 22:22:30 +0000 Original-Received: from cpc6-benw10-2-0-cust45.gate.cable.virginm.net ([92.238.179.46] helo=localhost) by smtpauth.ncl.ac.uk with esmtpsa (TLSv1:AES128-SHA:128) (Exim 4.63) (envelope-from ) id 1a9gwQ-0001Su-Kp; Thu, 17 Dec 2015 22:22:30 +0000 In-Reply-To: <0e515b9f-c244-4e48-a711-bfc3e0a2405a@default> (Drew Adams's message of "Thu, 17 Dec 2015 13:56:06 -0800") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 128.240.234.22 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:196438 Archived-At: Drew Adams writes: >> pattern match is really a form of control flow in its own right. > > OT, but no, pattern matching per se has nothing to do with control flow. > > You can *combine* pattern matching with control flow (as `pcase' does, > testing the results of pattern-match binding to control the flow). But > pattern matching itself does not imply any effect on control flow. You are right. Currently, only pcase is documented though, hence my (badly worded) statement. Possibly the solution is to introduce a generic "pattern matching" node, and then have much shorter descriptions for pcase in control flow, and the other functions elsewhere. Phil