From unknown Sun Jun 22 11:32:29 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#18604 <18604@debbugs.gnu.org> To: bug#18604 <18604@debbugs.gnu.org> Subject: Status: master srfi-26 cute compile error Reply-To: bug#18604 <18604@debbugs.gnu.org> Date: Sun, 22 Jun 2025 18:32:29 +0000 retitle 18604 master srfi-26 cute compile error reassign 18604 guile submitter 18604 Daniel Llorens severity 18604 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Thu Oct 02 08:14:48 2014 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 From debbugs-submit-bounces@debbugs.gnu.org Sun Oct 05 13:13:00 2014 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 To: Daniel Llorens Subject: Re: bug#18604: master srfi-26 cute compile error 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-Debbugs-Envelope-To: 18604 Cc: wingo@pobox.com, 18604@debbugs.gnu.org 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 debbugs-submit-bounces@debbugs.gnu.org Tue Jun 21 17:21:08 2016 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 From unknown Sun Jun 22 11:32:29 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Wed, 20 Jul 2016 11:24:03 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator