From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Alejandro Sanchez Newsgroups: gmane.lisp.guile.user Subject: Re: Using '-1' in a method named '*' Date: Tue, 28 Feb 2017 15:24:16 +0100 Message-ID: <19499EC0-CEDA-4D4F-AD03-B8B7071B6287@openmailbox.org> References: <4A6C16A7-BBDE-4260-A5E7-073686501D96@openmailbox.org> <8760jvsan4.fsf@pobox.com> <87r32ipufc.fsf@pobox.com> <87mvd6pt9s.fsf@pobox.com> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1488291922 23884 195.159.176.226 (28 Feb 2017 14:25:22 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 28 Feb 2017 14:25:22 +0000 (UTC) Cc: guile-user@gnu.org To: Andy Wingo Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Tue Feb 28 15:25:17 2017 Return-path: Envelope-to: guile-user@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ciiiG-0005O6-06 for guile-user@m.gmane.org; Tue, 28 Feb 2017 15:25:12 +0100 Original-Received: from localhost ([::1]:33234 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ciiiL-0001Az-Pg for guile-user@m.gmane.org; Tue, 28 Feb 2017 09:25:17 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:38159) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ciihX-00018u-JN for guile-user@gnu.org; Tue, 28 Feb 2017 09:24:28 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ciihT-0002IW-Ly for guile-user@gnu.org; Tue, 28 Feb 2017 09:24:27 -0500 Original-Received: from lb1.openmailbox.org ([5.79.108.160]:44575 helo=mail.openmailbox.org) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ciihT-0002I0-D2 for guile-user@gnu.org; Tue, 28 Feb 2017 09:24:23 -0500 Original-Received: by mail.openmailbox.org (Postfix, from userid 20002) id C763A5189C9; Tue, 28 Feb 2017 15:24:20 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=openmailbox.org; s=openmailbox; t=1488291860; bh=34gvZmlub9n2llIpk/N0tnzsSAiXsZdIFmHp8n6Ahtg=; h=Subject:From:In-Reply-To:Date:Cc:References:To:From; b=qYovV9Bkd+nCs8E3bKQshLaSx/A70bGes16WVknQ4LOVZ8Wko94yS8uYRnEOFQpDj LMo6eu1SavVVlGQilDoHiAlRwCz1RzyijeJ+WMMQv16Yq9K5rghZiTt9Uf+3IQxTPN 1u2JwRD7cAW0liZAa/QeI7hvth4bSnjJZoNXTb4E= DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=openmailbox.org; s=openmailbox; t=1488291860; bh=34gvZmlub9n2llIpk/N0tnzsSAiXsZdIFmHp8n6Ahtg=; h=Subject:From:In-Reply-To:Date:Cc:References:To:From; b=qYovV9Bkd+nCs8E3bKQshLaSx/A70bGes16WVknQ4LOVZ8Wko94yS8uYRnEOFQpDj LMo6eu1SavVVlGQilDoHiAlRwCz1RzyijeJ+WMMQv16Yq9K5rghZiTt9Uf+3IQxTPN 1u2JwRD7cAW0liZAa/QeI7hvth4bSnjJZoNXTb4E= In-Reply-To: <87mvd6pt9s.fsf@pobox.com> X-Mailer: Apple Mail (2.3124) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 5.79.108.160 X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.21 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" Xref: news.gmane.org gmane.lisp.guile.user:13360 Archived-At: > On 28 Feb 2017, at 10:19, Andy Wingo wrote: >=20 > On Tue 28 Feb 2017 09:54, Andy Wingo writes: >=20 >> In summary I think Guile's strength reduction is fine as it relies on >> type inference to prove when it is safe. This is "just" a bug, = albeit >> an annoying one that we need to fix! >=20 > Fixed in 2.0 and master. Thanks for the report :) >=20 > Andy Great, than you. Do you have any approximation on when a release with = that fix will happen, or am I better off getting the source and building = myself? I would rather not mess around with building, but I=E2=80=99ll = bit the bullet and build myself if that=E2=80=99s the way to go. I am = currently on 2.0.14 because my package manager only offers the latest = stable release.=