From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Newsgroups: gmane.lisp.guile.user Subject: Re: case-lambda* question Date: Mon, 14 Jan 2013 13:22:28 +0100 Message-ID: <87wqvgosxn.fsf@gnu.org> References: <876230t5ep.fsf@pobox.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1358177484 28956 80.91.229.3 (14 Jan 2013 15:31:24 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 14 Jan 2013 15:31:24 +0000 (UTC) To: guile-user@gnu.org Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Mon Jan 14 16:31:42 2013 Return-path: Envelope-to: guile-user@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 1Tum0k-0006tg-EP for guile-user@m.gmane.org; Mon, 14 Jan 2013 16:31:42 +0100 Original-Received: from localhost ([::1]:36175 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Tum0U-0001QU-77 for guile-user@m.gmane.org; Mon, 14 Jan 2013 10:31:26 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:46037) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Tuj42-0004Xw-7Y for guile-user@gnu.org; Mon, 14 Jan 2013 07:23:00 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Tuj3w-0003kf-CT for guile-user@gnu.org; Mon, 14 Jan 2013 07:22:54 -0500 Original-Received: from plane.gmane.org ([80.91.229.3]:47204) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Tuj3w-0003kW-5h for guile-user@gnu.org; Mon, 14 Jan 2013 07:22:48 -0500 Original-Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1Tuj48-0001VI-Nv for guile-user@gnu.org; Mon, 14 Jan 2013 13:23:00 +0100 Original-Received: from 193.50.110.137 ([193.50.110.137]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 14 Jan 2013 13:23:00 +0100 Original-Received: from ludo by 193.50.110.137 with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 14 Jan 2013 13:23:00 +0100 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 27 Original-X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 193.50.110.137 X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 25 =?utf-8?Q?Niv=C3=B4se?= an 221 de la =?utf-8?Q?R?= =?utf-8?Q?=C3=A9volution?= X-PGP-Key-ID: 0xEA52ECF4 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 83C4 F8E5 10A3 3B4C 5BEA D15D 77DD 95E2 EA52 ECF4 X-OS: x86_64-unknown-linux-gnu User-Agent: Gnus/5.130005 (Ma Gnus v0.5) Emacs/24.2 (gnu/linux) Cancel-Lock: sha1:I8kNSX+dQGYjhY99bxj2MKqDfYI= X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 80.91.229.3 X-Mailman-Approved-At: Mon, 14 Jan 2013 10:31:13 -0500 X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane.org@gnu.org Original-Sender: guile-user-bounces+guile-user=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.user:9859 Archived-At: Hi! Andy Wingo skribis: > So, the story here is fairly simple, but the result is complicated. Woow, thanks for the clear and thorough explanation! [...] > Again, considering the first clause: > > ((lambda* (a #:key x) 3) 1 2 3) > > Does it apply? It shouldn't: there are three positional arguments, > whereas only one is expected. However, Guile currently thinks that it > does, in the case-lambda* context, because it only checks that there is > at least one positional argument. This is probably a bug. > > The attached patch fixes the problem. If there are no comments against > it, I will apply it to stable-2.0. It does introduce a slight > incompatibility, but I don't think there are many case-lambda* users, > and it makes cases work that previously failed to work. Yes, makes sense to me. Ludo’.