From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Andy Wingo Newsgroups: gmane.lisp.guile.user Subject: Re: Using '-1' in a method named '*' Date: Wed, 01 Mar 2017 18:25:14 +0100 Message-ID: <8760jsewp1.fsf@pobox.com> References: <4A6C16A7-BBDE-4260-A5E7-073686501D96@openmailbox.org> <8760jvsan4.fsf@pobox.com> <87r32ipufc.fsf@pobox.com> <87mvd6pt9s.fsf@pobox.com> <19499EC0-CEDA-4D4F-AD03-B8B7071B6287@openmailbox.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1488389154 28838 195.159.176.226 (1 Mar 2017 17:25:54 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 1 Mar 2017 17:25:54 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux) Cc: guile-user@gnu.org To: Alejandro Sanchez Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Wed Mar 01 18:25:49 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 1cj80V-0006XI-Ep for guile-user@m.gmane.org; Wed, 01 Mar 2017 18:25:43 +0100 Original-Received: from localhost ([::1]:47882 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cj80b-0000vO-K1 for guile-user@m.gmane.org; Wed, 01 Mar 2017 12:25:49 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:54919) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cj80G-0000v7-37 for guile-user@gnu.org; Wed, 01 Mar 2017 12:25:29 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cj80B-0008Qz-8Y for guile-user@gnu.org; Wed, 01 Mar 2017 12:25:28 -0500 Original-Received: from pb-sasl1.pobox.com ([64.147.108.66]:58284 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cj80B-0008QS-51 for guile-user@gnu.org; Wed, 01 Mar 2017 12:25:23 -0500 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by pb-sasl1.pobox.com (Postfix) with ESMTP id A2CB660398; Wed, 1 Mar 2017 12:25:22 -0500 (EST) 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:content-transfer-encoding; s=sasl; bh=NgXiPSJ5rwu3 Mx5heQ3Y/o+VNtg=; b=pGhAgAXx4jU7oi48t0g75PdcY4kp99lM/LVMOUupZt8/ CFdinw9z1PnX0BnPGcskna8G4uT3429I2cVLYgyTww+YjM4bAdVMVraRWziKyELQ 5NELMSPZHSKXNs+Iuid6kc2HQEBMTaFMEs4JH7bqouabO6n3VZc3dZc+z/1Fo8E= 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:content-transfer-encoding; q=dns; s=sasl; b=KnOqqV dmKJUMU2S80IH2njD3H1ac0ZgAxstivsbQ3+jzf4QMEih0Sh3Jk5dGDV5I+ZYIiY dH4H0cQ4h9Z0hiVvDQKJEiUxzcIEtiC1FreP8jJ8iG19cCSjb1WDpvdITQiCHFc0 sxqcSzofSpdS87hBJhw/nfHFRIs5D4VFFgUGQ= Original-Received: from pb-sasl1.nyi.icgroup.com (unknown [127.0.0.1]) by pb-sasl1.pobox.com (Postfix) with ESMTP id 9C6E260397; Wed, 1 Mar 2017 12:25:22 -0500 (EST) Original-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-sasl1.pobox.com (Postfix) with ESMTPSA id D47A360394; Wed, 1 Mar 2017 12:25:21 -0500 (EST) In-Reply-To: <19499EC0-CEDA-4D4F-AD03-B8B7071B6287@openmailbox.org> (Alejandro Sanchez's message of "Tue, 28 Feb 2017 15:24:16 +0100") X-Pobox-Relay-ID: 0C9C501C-FEA4-11E6-A089-B667064AB293-02397024!pb-sasl1.pobox.com X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 64.147.108.66 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:13367 Archived-At: On Tue 28 Feb 2017 15:24, Alejandro Sanchez write= s: >> 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. 2.2.0 should come soon (a couple weeks hopefully), but I don't know about 2.0.14. In the meantime if defining an implementation for "-" works for you to handle negation, that's an OK workaround. Andy