From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Andy Wingo Newsgroups: gmane.lisp.guile.devel,gmane.lisp.guile.user Subject: Re: GNU Guile 2.9.9 Released [beta] Date: Wed, 15 Jan 2020 20:58:27 +0100 Message-ID: <87sgkgfq58.fsf@pobox.com> References: <87zherlphs.fsf@pobox.com> <875zhdhh5m.fsf@pobox.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="74700"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) Cc: Andy Wingo , Guile User , guile-devel To: Stefan Israelsson Tampe Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Wed Jan 15 20:59:08 2020 Return-path: Envelope-to: guile-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1irool-000JGW-QC for guile-devel@m.gmane-mx.org; Wed, 15 Jan 2020 20:59:07 +0100 Original-Received: from localhost ([::1]:60018 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1irook-000423-Rf for guile-devel@m.gmane-mx.org; Wed, 15 Jan 2020 14:59:06 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:41117) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1irooX-0003sW-9b for guile-devel@gnu.org; Wed, 15 Jan 2020 14:58:56 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1irooT-0002UV-Je for guile-devel@gnu.org; Wed, 15 Jan 2020 14:58:53 -0500 Original-Received: from fanzine.igalia.com ([178.60.130.6]:37024) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1irooT-0002NE-02; Wed, 15 Jan 2020 14:58:49 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=igalia.com; s=20170329; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date:References:Subject:Cc:To:From; bh=MarEb/CwneLwsKRcziSCrrnA8gpWxmeWbe2Dx1pyGUM=; b=SN5pZ3hjSI5ZdAH3rwZj8biHj2c1hyjSfLeO2BUz2EqTYrmNmCvgwCuJPpzHNRAtn9ewjlkHleq5+7KayGx1R74+KgPlmKoQdGmacBmRc7IVZg5D+Nj7YOiryeVRJzStgbyvZu7DXNdtfBZ0EVJqbpc6RHrHte7qoaMjw65qIdcQ0YDPKhoW8pdVQHEjJDHsWONcQNpoGuhVRCuItYSEB3JRzv4korrekRb0+Hvqs5YnRI5sPiYxMBlZGiFXbBb+LDuTpkSwHXbVsMdcTMOwSY6zhfaafEcLm0Nnjl1dZ3uojFh0gbnYYSI1wgy0Zjf7q+9UiKXkGD9Q9deK9WbwtA==; Original-Received: from [88.123.12.110] (helo=sparrow) by fanzine.igalia.com with esmtpsa (Cipher TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim) id 1irooN-0002Ng-Bk; Wed, 15 Jan 2020 20:58:43 +0100 In-Reply-To: (Stefan Israelsson Tampe's message of "Tue, 14 Jan 2020 22:48:58 +0100") X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x (no timestamps) [generic] [fuzzy] X-Received-From: 178.60.130.6 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Original-Sender: "guile-devel" Xref: news.gmane.io gmane.lisp.guile.devel:20282 gmane.lisp.guile.user:16065 Archived-At: On Tue 14 Jan 2020 22:48, Stefan Israelsson Tampe writes: > Strange that I did not dee this error before in the 2.x series > ever. Isn't it so that for procedures define in a (let () ...) the > case you are mentioning happened before but I was on the impression > that no inlining was done for defines on different places in the > module before This is correct, yes. The declarative bindings optimization makes toplevel bindings more like letrec bindings, which exposes them to this other optimization. My point was that since Guile 2.0, procedure identity has not been firmly guaranteed in all cases. Andy