From unknown Sun Jun 22 03:56:57 2025 X-Loop: help-debbugs@gnu.org Subject: bug#18604: master srfi-26 cute compile error Resent-From: Daniel Llorens Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Thu, 02 Oct 2014 12:15:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 18604 X-GNU-PR-Package: guile X-GNU-PR-Keywords: To: 18604@debbugs.gnu.org X-Debbugs-Original-To: bug-guile@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.141225208818857 (code B ref -1); Thu, 02 Oct 2014 12:15:01 +0000 Received: (at submit) by debbugs.gnu.org; 2 Oct 2014 12:14:48 +0000 Received: from localhost ([127.0.0.1]:58114 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XZfHU-0004u5-4T for submit@debbugs.gnu.org; Thu, 02 Oct 2014 08:14:48 -0400 Received: from eggs.gnu.org ([208.118.235.92]:58132) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XZfHR-0004tw-Kc for submit@debbugs.gnu.org; Thu, 02 Oct 2014 08:14:46 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XZfHH-0005Fy-5w for submit@debbugs.gnu.org; Thu, 02 Oct 2014 08:14:45 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:37175) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XZfHH-0005Fu-2g for submit@debbugs.gnu.org; Thu, 02 Oct 2014 08:14:35 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:59794) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XZfH8-0006j7-RP for bug-guile@gnu.org; Thu, 02 Oct 2014 08:14:35 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XZfH0-0005CN-Gp for bug-guile@gnu.org; Thu, 02 Oct 2014 08:14:26 -0400 Received: from zhhdzmsp-smta16.bluewin.ch ([195.186.227.132]:41585) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XZfH0-0005By-Bf for bug-guile@gnu.org; Thu, 02 Oct 2014 08:14:18 -0400 Received: from [195.186.99.130] ([195.186.99.130:55900] helo=zhbdzmsp-smta11.bluewin.ch) by zhhdzmsp-smta16.bluewin.ch (envelope-from ) (ecelerity 3.5.7.40067 r(Platform:3.5.7.0)) with ESMTP id 55/6F-23648-8914D245; Thu, 02 Oct 2014 12:14:16 +0000 Received: from 4box.hq.corp.viasat.com (62.2.203.131) by zhbdzmsp-smta11.bluewin.ch (8.5.142) (authenticated as dll@bluewin.ch) id 51E5C44E1F58ECE2 for bug-guile@gnu.org; Thu, 2 Oct 2014 12:14:16 +0000 From: Daniel Llorens Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Message-Id: <1E99174D-ACF0-41E8-A469-462A2EF55CF6@bluewin.ch> Date: Thu, 2 Oct 2014 14:14:07 +0200 Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) X-Mailer: Apple Mail (2.1878.6) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -5.0 (-----) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) stable-2.0 with either cut or cute works. The compiler in master works = for cut but not for cute. scheme@(guile-user)> (import (srfi srfi-26)) scheme@(guile-user)> (cute < 1 <> 2) While compiling expression: ERROR: Wrong number of arguments to # Thanks, Daniel From unknown Sun Jun 22 03:56:57 2025 X-Loop: help-debbugs@gnu.org Subject: bug#18604: master srfi-26 cute compile error Resent-From: Mark H Weaver Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Sun, 05 Oct 2014 17:13:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 18604 X-GNU-PR-Package: guile X-GNU-PR-Keywords: To: Daniel Llorens Cc: wingo@pobox.com, 18604@debbugs.gnu.org Received: via spool by 18604-submit@debbugs.gnu.org id=B18604.14125291819700 (code B ref 18604); Sun, 05 Oct 2014 17:13:02 +0000 Received: (at 18604) by debbugs.gnu.org; 5 Oct 2014 17:13:01 +0000 Received: from localhost ([127.0.0.1]:34868 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XapMi-0002WN-BH for submit@debbugs.gnu.org; Sun, 05 Oct 2014 13:13:00 -0400 Received: from world.peace.net ([96.39.62.75]:53594) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XapMg-0002WF-Aj for 18604@debbugs.gnu.org; Sun, 05 Oct 2014 13:12:59 -0400 Received: from [24.62.95.23] (helo=yeeloong.lan) by world.peace.net with esmtpsa (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1XapMZ-00084U-4Q; Sun, 05 Oct 2014 13:12:51 -0400 From: Mark H Weaver References: <1E99174D-ACF0-41E8-A469-462A2EF55CF6@bluewin.ch> Date: Sun, 05 Oct 2014 13:12:30 -0400 In-Reply-To: <1E99174D-ACF0-41E8-A469-462A2EF55CF6@bluewin.ch> (Daniel Llorens's message of "Thu, 2 Oct 2014 14:14:07 +0200") Message-ID: <8738b25tkx.fsf@yeeloong.lan> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.0 (/) Daniel Llorens writes: > stable-2.0 with either cut or cute works. The compiler in master works for cut but not for cute. > > scheme@(guile-user)> (import (srfi srfi-26)) > scheme@(guile-user)> (cute < 1 <> 2) > While compiling expression: > ERROR: Wrong number of arguments to # The problem here is that the type analysis pass assumes that '<' takes exactly two arguments. In common cases, this works out okay because the earlier 'expand-primitives' pass has rules that convert uses of '<' into chains of binary '<' operations. However, that only works when '<' is in operator position at the time of the 'expand-primitives' pass. In the case of 'cute', this is not the case: scheme@(guile-user)> ,expand (cute < 1 <> 2) $1 = (let ((t-86 2) (t-85 1) (t-84 <)) (lambda (t-96) (t-84 t-85 t-96 t-86))) Then the partial evaluator does its thing: scheme@(guile-user)> ,optimize (cute < 1 <> 2) $2 = (lambda (t-113) (< 1 t-113 2)) and then the type analysis pass fails because its type-checkers and type-inferrers for '<' (line 723 of language/cps/types.scm) assume that it's a binary operation. Mark From unknown Sun Jun 22 03:56:57 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Daniel Llorens Subject: bug#18604: closed (Re: bug#18604: master srfi-26 cute compile error) Message-ID: References: <87mvmeutl3.fsf@pobox.com> <1E99174D-ACF0-41E8-A469-462A2EF55CF6@bluewin.ch> X-Gnu-PR-Message: they-closed 18604 X-Gnu-PR-Package: guile Reply-To: 18604@debbugs.gnu.org Date: Tue, 21 Jun 2016 21:22:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1466544122-32575-1" This is a multi-part message in MIME format... ------------=_1466544122-32575-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #18604: master srfi-26 cute compile error which was filed against the guile package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 18604@debbugs.gnu.org. --=20 18604: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D18604 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1466544122-32575-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 18604-done) by debbugs.gnu.org; 21 Jun 2016 21:21:08 +0000 Received: from localhost ([127.0.0.1]:50114 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bFT6a-0008SC-7w for submit@debbugs.gnu.org; Tue, 21 Jun 2016 17:21:08 -0400 Received: from pb-sasl2.pobox.com ([64.147.108.67]:50534 helo=sasl.smtp.pobox.com) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bFT6Y-0008S3-9H for 18604-done@debbugs.gnu.org; Tue, 21 Jun 2016 17:21:06 -0400 Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by pb-sasl2.pobox.com (Postfix) with ESMTP id D40F625128; Tue, 21 Jun 2016 17:21:04 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=sasl; bh=Hq2ShMSXIPq/2GBILI+pWbu7h/Q=; b=VGEx2J 5kCaGEjezVsIg+BFi5A9wb7WiHfdD3A+qyd39bR4LbNvueCNXU2kX8psUjq1KQNb dmxkgZfV7KLCwtQ11E2hxBUmewCUCDVVGbs3yuGEiJEvadme5OR3C9RqQqwoYlPg BwWnQfCm45FTmojd6sMU2917xa3nhfpSClgWI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; q=dns; s=sasl; b=dpD3NMJDztcQPjKP3k6N9wUYMbNW9fvO U3Ozkqf9S+NNtq8DR7Rj10bS1zIdEhRZJwL8+WpY84BsfA02fLlFGNesfx/HVBWn 5hInfamsUX06qzQiD51JBu/pn+sP+xCZUX/A0nRVVKNeJeF6HfJKAdSp9SrhdaJx lsi1VdAdgnE= Received: from pb-sasl2.nyi.icgroup.com (unknown [127.0.0.1]) by pb-sasl2.pobox.com (Postfix) with ESMTP id B3F8025125; Tue, 21 Jun 2016 17:21:04 -0400 (EDT) Received: from clucks (unknown [88.160.190.192]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by pb-sasl2.pobox.com (Postfix) with ESMTPSA id B226725124; Tue, 21 Jun 2016 17:21:03 -0400 (EDT) From: Andy Wingo To: Daniel Llorens Subject: Re: bug#18604: master srfi-26 cute compile error References: <1E99174D-ACF0-41E8-A469-462A2EF55CF6@bluewin.ch> Date: Tue, 21 Jun 2016 23:20:56 +0200 In-Reply-To: <1E99174D-ACF0-41E8-A469-462A2EF55CF6@bluewin.ch> (Daniel Llorens's message of "Thu, 2 Oct 2014 14:14:07 +0200") Message-ID: <87mvmeutl3.fsf@pobox.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Pobox-Relay-ID: 0F5D3E94-37F6-11E6-BC5C-28A6F1301B6D-02397024!pb-sasl2.pobox.com X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: 18604-done Cc: 18604-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.4 (-) On Thu 02 Oct 2014 14:14, Daniel Llorens writes: > stable-2.0 with either cut or cute works. The compiler in master works for cut but not for cute. > > scheme@(guile-user)> (import (srfi srfi-26)) > scheme@(guile-user)> (cute < 1 <> 2) > While compiling expression: > ERROR: Wrong number of arguments to # Seems to be working in master. Please file a new report if you find a bug. Cheers :) Andy ------------=_1466544122-32575-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 2 Oct 2014 12:14:48 +0000 Received: from localhost ([127.0.0.1]:58114 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XZfHU-0004u5-4T for submit@debbugs.gnu.org; Thu, 02 Oct 2014 08:14:48 -0400 Received: from eggs.gnu.org ([208.118.235.92]:58132) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XZfHR-0004tw-Kc for submit@debbugs.gnu.org; Thu, 02 Oct 2014 08:14:46 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XZfHH-0005Fy-5w for submit@debbugs.gnu.org; Thu, 02 Oct 2014 08:14:45 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:37175) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XZfHH-0005Fu-2g for submit@debbugs.gnu.org; Thu, 02 Oct 2014 08:14:35 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:59794) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XZfH8-0006j7-RP for bug-guile@gnu.org; Thu, 02 Oct 2014 08:14:35 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XZfH0-0005CN-Gp for bug-guile@gnu.org; Thu, 02 Oct 2014 08:14:26 -0400 Received: from zhhdzmsp-smta16.bluewin.ch ([195.186.227.132]:41585) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XZfH0-0005By-Bf for bug-guile@gnu.org; Thu, 02 Oct 2014 08:14:18 -0400 Received: from [195.186.99.130] ([195.186.99.130:55900] helo=zhbdzmsp-smta11.bluewin.ch) by zhhdzmsp-smta16.bluewin.ch (envelope-from ) (ecelerity 3.5.7.40067 r(Platform:3.5.7.0)) with ESMTP id 55/6F-23648-8914D245; Thu, 02 Oct 2014 12:14:16 +0000 Received: from 4box.hq.corp.viasat.com (62.2.203.131) by zhbdzmsp-smta11.bluewin.ch (8.5.142) (authenticated as dll@bluewin.ch) id 51E5C44E1F58ECE2 for bug-guile@gnu.org; Thu, 2 Oct 2014 12:14:16 +0000 From: Daniel Llorens Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Subject: master srfi-26 cute compile error Message-Id: <1E99174D-ACF0-41E8-A469-462A2EF55CF6@bluewin.ch> Date: Thu, 2 Oct 2014 14:14:07 +0200 To: bug-guile@gnu.org Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) X-Mailer: Apple Mail (2.1878.6) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) stable-2.0 with either cut or cute works. The compiler in master works = for cut but not for cute. scheme@(guile-user)> (import (srfi srfi-26)) scheme@(guile-user)> (cute < 1 <> 2) While compiling expression: ERROR: Wrong number of arguments to # Thanks, Daniel ------------=_1466544122-32575-1--