From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Michael Heerdegen via "Bug reports for GNU Emacs, the Swiss army knife of text editors" Newsgroups: gmane.emacs.bugs Subject: bug#68863: Add support for using setf with seq-subseq Date: Thu, 09 May 2024 14:16:28 +0200 Message-ID: <87cypvmb8j.fsf@web.de> References: <050ba625-2372-425f-85c6-988e2ef4cf14@protonmail.com> <86y1bvw5ff.fsf@gnu.org> <2dfd9d7f-5c63-4e1d-845c-cd245a71fc34@protonmail.com> <8d2a8d06-5b69-4587-9aab-36f7c792c623@protonmail.com> <1fca0de5-236e-428f-9224-b03a4d7d6998@protonmail.com> <5db43ef0-f218-4790-b263-a3eb80929d9b@protonmail.com> Reply-To: Michael Heerdegen Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="4400"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: okamsn@protonmail.com, eliz@gnu.org, nicolas@petton.fr, monnier@iro.umontreal.ca To: 68863@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Thu May 09 14:17:11 2024 Return-path: Envelope-to: geb-bug-gnu-emacs@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 1s52hx-0000xP-Q8 for geb-bug-gnu-emacs@m.gmane-mx.org; Thu, 09 May 2024 14:17:09 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1s52hV-0004wN-RO; Thu, 09 May 2024 08:16:41 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1s52hR-0004qU-4Q for bug-gnu-emacs@gnu.org; Thu, 09 May 2024 08:16:38 -0400 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1s52hQ-0001cp-Qn for bug-gnu-emacs@gnu.org; Thu, 09 May 2024 08:16:36 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1s52hq-0001mI-Hh for bug-gnu-emacs@gnu.org; Thu, 09 May 2024 08:17:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Michael Heerdegen Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 09 May 2024 12:17:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68863 X-GNU-PR-Package: emacs X-Debbugs-Original-To: Okamsn via "Bug reports for GNU Emacs, the Swiss army knife of text editors" X-Debbugs-Original-Cc: Okamsn , 68863@debbugs.gnu.org, Eli Zaretskii , Nicolas Petton , Stefan Monnier Original-Received: via spool by submit@debbugs.gnu.org id=B.17152570016813 (code B ref -1); Thu, 09 May 2024 12:17:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 9 May 2024 12:16:41 +0000 Original-Received: from localhost ([127.0.0.1]:54984 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s52hV-0001lp-BE for submit@debbugs.gnu.org; Thu, 09 May 2024 08:16:41 -0400 Original-Received: from lists.gnu.org ([2001:470:142::17]:35248) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s52hT-0001lU-CW for submit@debbugs.gnu.org; Thu, 09 May 2024 08:16:39 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1s52gv-00046g-T1 for bug-gnu-emacs@gnu.org; Thu, 09 May 2024 08:16:07 -0400 Original-Received: from mout.web.de ([212.227.15.14]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1s52gs-0001WX-RL; Thu, 09 May 2024 08:16:05 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=web.de; s=s29768273; t=1715256946; x=1715861746; i=michael_heerdegen@web.de; bh=Gtk1t4Iao6ld/oJOVMHD0byfmfLJZC6VUeYgKRmq/ZE=; h=X-UI-Sender-Class:From:To:Cc:Subject:In-Reply-To:References:Date: Message-ID:MIME-Version:Content-Type:cc:content-transfer-encoding: content-type:date:from:message-id:mime-version:reply-to:subject: to; b=KavFJpz0gHSFHBP4VpnYObxIM81+r1mcGmu7g5tOQy71yvzmWyXiWMrfdSmi78Fy oUSMeT2S3C88BtjQ8woG2glIHaTAcdbG5CdXmpW8X7Wb2HYcfb2riEhggSpE2YVhn XG0OIydi1pYpha6MFagkFJIos+w9ciczYankVLoQvOy50+9T8PCjPFriyHd04hbOd nV5kuXQb+KrcXmGgbqOdBJNk4SfYcMhKkJQN1hx+kR7csY1dGX9BI/ryXtNvS/mLJ fo1Iahcq79N6xxPtwlMaxoiJPU2W5B470hmb0E8Kr1Nxx5qPOcpLazsfILJY34RCg UjWxoPFviOBgjsk3Nw== X-UI-Sender-Class: 814a7b36-bfc1-4dae-8640-3722d8ec6cd6 Original-Received: from drachen.dragon ([84.57.248.23]) by smtp.web.de (mrweb006 [213.165.67.108]) with ESMTPSA (Nemesis) id 1MuVKI-1swJnP3X9e-00rQsf; Thu, 09 May 2024 14:15:45 +0200 In-Reply-To: <5db43ef0-f218-4790-b263-a3eb80929d9b@protonmail.com> (Okamsn via's message of "Tue, 07 May 2024 01:45:44 +0000") X-Provags-ID: V03:K1:BPbcV0rbnUDaQTPMSdCkerMUGhKd95klxxPXGEY+1rIWCN8aHTo VpLGOdRmsxL30isjgqLbzlLBb0xyTVkIoXwXtCGc3BEQqidz+HpMkkIdP+Nu+sntO4uw3GI /s4u14ykUHbz/UeDWmgRazayeb4RHWOni6WHg+OtH9QK0tSO2HFyePUBP2ASGmwBmcnWXUm /iYknzmh3bxADIsTFdpCg== UI-OutboundReport: notjunk:1;M01:P0:DePAfU/UItY=;+IXPQ/fqVg4qU9LQpAYcqon1f4r PfxQPg6XPzxqxYYGePXjAXxI3T2vqn0su+EJmW8hQhQ8tSTqQbtNF2cpPu8rdaQlgGCuRXNUE +BnIFOPk7oHADbfhJGomMmNOJJrhVDdd2PJvETVA+Q49xJcKpyUA+RdDubmbJn/tm7gKyohyL Z2UbpkipIVL76Tw/17T/kRNoBE3se9E0P/sCa0znRmzVLbx+WfufeSSDiaiM0tlbvOw6ls7A4 wJuY7NKG1TYpxK3dtHiZthj4sK0jZOG3xDTgdffhnR/dyxIQK1OiRDKyJ9UUKX0MOZq1ljzXG HBqHLu8wHX6VAz1sc1+eJPWsM6mNprJpAWopTCNOwRs82CrOcz0ZTHAyP5kVanWN5ZkxyYnL9 GbvoBt+ONNrjhoe2dbQBItC5ccuLj/nv+ZLJBJ04IfQM3MN0V7CAzO2LsRga5FV9Ln3xci5QO 5YtH20/GrYdX58faQv4f1l3UiXalMA8qZAY3WymvWER3fwIPthbjXCVRkQrmAxFlpx1c81p43 S0KINY5qeCUlVkhccqMNVLSEutGtFQZJVD9qFp5JJTCSyyzcltmR6ZlsZvU40w0TYUDaLKspf zNhth4stuAVQPNQ0AgnrNpExiSvwOmt08z4MrwhH83j/S5dneJ2/1PUO8FPqzermCXbS4xs5n GI8yR5ai3KmXmQZuyWJ1gjM3qCwTvUYzTf9fF8MoBsL1/DaB62GUnE8vt7h4EedvqpgNDx4wD Hs0HQYOtbGu35s/MHgc09hjxPxku3fYdt4eQR90DV04N290TCbJiGi7YJxHbS2tBMPsYJ/sH Received-SPF: pass client-ip=212.227.15.14; envelope-from=michael_heerdegen@web.de; helo=mout.web.de X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:284753 Archived-At: Hello again, There is a second point I want to hint at/ discuss: Some time ago we have removed lots of or even the majority of the so far implemented generalized variables. The main criteria were: are they useful, and is the semantics clear. We should think about whether this is the case here. For `seq-subseq' the semantics is not completely unambiguous. For example, the setter could exchange a subsequence - but also simply insert an additional piece, creating a longer sequence. Both operations can be useful. Likewise, when an index (e.g. the starting position) is going beyond the end of a sequence, Emacs could raise an error, or provide functionality to append to the existing sequence. Again, both kinds of behavior could make sense in different situations. Finally, the question of whether the operation is destructive, or which of the involved sequences are reused, is not trivial. Any thoughts about these points? Is this generalized variable useful enough to make this acceptable? Which kind of implementation do we prefer then? Michael.