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: Tue, 28 Feb 2017 10:19:11 +0100 Message-ID: <87mvd6pt9s.fsf@pobox.com> References: <4A6C16A7-BBDE-4260-A5E7-073686501D96@openmailbox.org> <8760jvsan4.fsf@pobox.com> <87r32ipufc.fsf@pobox.com> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1488273723 28064 195.159.176.226 (28 Feb 2017 09:22:03 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 28 Feb 2017 09:22:03 +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 Tue Feb 28 10:21:58 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 1cidym-0006Y5-4s for guile-user@m.gmane.org; Tue, 28 Feb 2017 10:21:56 +0100 Original-Received: from localhost ([::1]:59649 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cidyq-0000gG-LR for guile-user@m.gmane.org; Tue, 28 Feb 2017 04:22:00 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:47460) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cidwM-0007jB-IP for guile-user@gnu.org; Tue, 28 Feb 2017 04:19:27 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cidwI-0005Yy-Jq for guile-user@gnu.org; Tue, 28 Feb 2017 04:19:26 -0500 Original-Received: from pb-sasl2.pobox.com ([64.147.108.67]:64221 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 1cidwI-0005YY-FD for guile-user@gnu.org; Tue, 28 Feb 2017 04:19:22 -0500 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by pb-sasl2.pobox.com (Postfix) with ESMTP id 1347B5D4DC; Tue, 28 Feb 2017 04:19:20 -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; s=sasl; bh=8K2SzRMV6Z6qEwXWDh4L/CVEXP0=; b=wVAom+ C3UxbcywxhSiD4izZ3hmGYPpt1lkhk+MB2nFli+ZBZJOVaocPpfgut3e80oKVYmD HNsh6vDQ0ZCxMAxedodlM6+nRy5lC1c90AJ1BF/P65YV8cG9oR2bEwaADPjXjdjr ZEp0f2IkLxasdIJBzzAkE8n2NmfP7rvT8+tVU= 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=KMpjgHN2HUnoWGVrxVzY8RCDi8DERlqt PLOKZN/2BPK5vg+ltMiLCqAePzEwuKvveLikMAsVXbLuL7zssV/RYc/Lg8mTdf7G 5+JbuQIF/G1FuTD1ajKSlzhnndYDvArrsXaJ0n7n6rOIiB+Pqjs05jF7prTjQIS9 MZl4jZGKvK8= Original-Received: from pb-sasl2.nyi.icgroup.com (unknown [127.0.0.1]) by pb-sasl2.pobox.com (Postfix) with ESMTP id EBE745D4DB; Tue, 28 Feb 2017 04:19:19 -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-sasl2.pobox.com (Postfix) with ESMTPSA id D62805D4DA; Tue, 28 Feb 2017 04:19:18 -0500 (EST) In-Reply-To: <87r32ipufc.fsf@pobox.com> (Andy Wingo's message of "Tue, 28 Feb 2017 09:54:15 +0100") X-Pobox-Relay-ID: FBCEB2B0-FD96-11E6-BDE4-6141F2301B6D-02397024!pb-sasl2.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.67 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:13355 Archived-At: On Tue 28 Feb 2017 09:54, Andy Wingo writes: > 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! Fixed in 2.0 and master. Thanks for the report :) Andy