From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Maxime Devos Newsgroups: gmane.lisp.guile.devel Subject: Re: [PATCH] New function array-mutable? Date: Thu, 25 Nov 2021 18:22:32 +0000 Message-ID: <53901e95268fe40d7bb426851af6e9e9354d2376.camel@telenet.be> References: <32F75DE0-14DA-4B7F-B6A9-81462A847A30@sarc.name> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="27427"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Evolution 3.38.3-1 To: lloda , guile-devel Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Thu Nov 25 19:22:48 2021 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 1mqJOR-0006zS-Fo for guile-devel@m.gmane-mx.org; Thu, 25 Nov 2021 19:22:47 +0100 Original-Received: from localhost ([::1]:42884 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mqJOQ-0000RA-Ew for guile-devel@m.gmane-mx.org; Thu, 25 Nov 2021 13:22:46 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:33700) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mqJOG-0000Qn-V6 for guile-devel@gnu.org; Thu, 25 Nov 2021 13:22:36 -0500 Original-Received: from [2a02:1800:120:4::f00:15] (port=47170 helo=andre.telenet-ops.be) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mqJOF-0002Oq-3h for guile-devel@gnu.org; Thu, 25 Nov 2021 13:22:36 -0500 Original-Received: from ptr-bvsjgyhxw7psv60dyze.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:3c5f:2eff:feb0:ba5a]) by andre.telenet-ops.be with bizsmtp id NiNY2600S4UW6Th01iNYyh; Thu, 25 Nov 2021 19:22:32 +0100 In-Reply-To: <32F75DE0-14DA-4B7F-B6A9-81462A847A30@sarc.name> DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1637864552; bh=Pta9EdnR3wktOTqHGlyCeyklKnO+vHtVVw3Nb8v7lHQ=; h=Subject:From:To:Date:In-Reply-To:References; b=ZcNS8cS3sQBQXCJpL7KBoOxWhr+Ua34Vl8Y7wFE5gBrVUy82Yya5/y0vYCElE3OXP YJmog48Ge+MD8Dl/i3KkbnNUQn0yOTFRm2j9SeUlUr1cNhD7ycDzz46fMO/dIHxIAi xMGeTOaWiqvClqLORLzbHXyQvbG68PuxFBbXfHrVUmT1lMvWh9ANAkjAQBy0cgkk5d dfbV77mz2+C1WGAMKj6PCT0ZVwpv+OT2y/h4SH7dvwssh/+NdR31WeDFDGVsJ4hVMW thhaCjK6Pyu1j8SOhLsDQ0KG5UUKERc4xNDfdUvUsmx9rcIThsMR66OeCGV6t4vFZ7 YDX6nS46BcnuQ== X-Host-Lookup-Failed: Reverse DNS lookup failed for 2a02:1800:120:4::f00:15 (failed) Received-SPF: pass client-ip=2a02:1800:120:4::f00:15; envelope-from=maximedevos@telenet.be; helo=andre.telenet-ops.be X-Spam_score_int: -19 X-Spam_score: -2.0 X-Spam_bar: -- X-Spam_report: (-2.0 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7, RDNS_NONE=0.793, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.29 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:20984 Archived-At: lloda schreef op do 25-11-2021 om 17:40 [+0100]: > +Arrays with empty roots are not considered immutable because > +@code{array-set!} operations with valid indices won't fail (since > there > +are no valid indices). > + > +@example > +(array-mutable? #()) @result{} #t > +@end example > +@end deffn By this logic, shouldn't empty subarrays (*) with a possibly mutable and non-empty root be considered mutable as well? (*) called ‘shared arrays’ in the manual Greetings, Maxime