From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Kangas Newsgroups: gmane.emacs.bugs Subject: bug#64537: mix lists and vectors when using backquote Date: Sun, 24 Sep 2023 02:47:22 -0700 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="9553"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 64537@debbugs.gnu.org, Shynur Xie To: Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sun Sep 24 11:48:06 2023 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 1qkLif-0002FJ-2n for geb-bug-gnu-emacs@m.gmane-mx.org; Sun, 24 Sep 2023 11:48:05 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qkLiR-0000FH-Px; Sun, 24 Sep 2023 05:47:51 -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 1qkLiQ-0000Es-8b for bug-gnu-emacs@gnu.org; Sun, 24 Sep 2023 05:47:50 -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 1qkLiP-00088X-Vz for bug-gnu-emacs@gnu.org; Sun, 24 Sep 2023 05:47:50 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qkLib-00015Y-M4 for bug-gnu-emacs@gnu.org; Sun, 24 Sep 2023 05:48:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Kangas Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 24 Sep 2023 09:48:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64537 X-GNU-PR-Package: emacs Original-Received: via spool by 64537-submit@debbugs.gnu.org id=B64537.16955488634067 (code B ref 64537); Sun, 24 Sep 2023 09:48:01 +0000 Original-Received: (at 64537) by debbugs.gnu.org; 24 Sep 2023 09:47:43 +0000 Original-Received: from localhost ([127.0.0.1]:41029 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qkLiI-00013W-UC for submit@debbugs.gnu.org; Sun, 24 Sep 2023 05:47:43 -0400 Original-Received: from mail-lj1-x22e.google.com ([2a00:1450:4864:20::22e]:61488) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qkLiG-00013C-SD for 64537@debbugs.gnu.org; Sun, 24 Sep 2023 05:47:41 -0400 Original-Received: by mail-lj1-x22e.google.com with SMTP id 38308e7fff4ca-2b9c907bc68so76563111fa.2 for <64537@debbugs.gnu.org>; Sun, 24 Sep 2023 02:47:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1695548843; x=1696153643; darn=debbugs.gnu.org; h=content-transfer-encoding:cc:to:subject:message-id:date :mime-version:references:in-reply-to:from:from:to:cc:subject:date :message-id:reply-to; bh=KmzzH8iY0vEVliTSdQOPIS0fJzMLJILPPXZVU94igd8=; b=aZssMY9NmLWZf25Yvo/aiedlsBM7aYULl1l3OSudST84jlApnvsd40Opk58Bgb7Jfx B1PWLNhlt4zi+tc6Bh6db3DgZbIn43ZgkHT5KZINxBmdcWSWMtw7uQ268xYYB2niqzjt Wy9GotnQ5minVssYAACNr4cvxt+zBWG2Ia18jJvADghe4SnfX6vhNIgEr47RG7TQbJFN yf/+uukfMp6hkSSZlPQpNN+KDQA7WWCvu1apjyCaUIGoIJCTVs7cUalFS4NgFCRHe0Y8 MKr8HCsgd37x2MMY8k9oXOuz6PdtSZUiXVyKEuf4Rj3PmlIp+B3u1AokQ1D8+xBY89k7 4VRA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1695548843; x=1696153643; h=content-transfer-encoding:cc:to:subject:message-id:date :mime-version:references:in-reply-to:from:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=KmzzH8iY0vEVliTSdQOPIS0fJzMLJILPPXZVU94igd8=; b=jVxws0bGUdNuhT2yYs9A53FHRnP5beKUynzHllSbR4Sb72I8qCetvq4jUUgk5dqY9m YUsr9yPsWsjIJqSZjK6XZYwkfdnl1ojkIDoPXzVf1/0qYwszdI+VQJ7TaVjdAI3vhoDV wHdLj0BIr5HZj3poCgw4DqlR2QhEqRWPXAEqNc3LY67Q178mMRah3ZluwkkQAf7DazMA l2e2oz9YlYSFOH2W8G89Y6WJ/nA+Cvve6lfoqaTiZ6tHSUgpNCKv3HMuyQsHcW5CLhcb sR7qrkor9DuKl+yxNgbQYspq5Woju//mtBsaGagrT1QzRJkY+6lRBTIR+9eLP78UTeTG 79mg== X-Gm-Message-State: AOJu0Yw3x8+oa8vxcE0iS4Z/GXWFrmd4MbWdI6RSbiefcjDnsDCnhSeX kKsbpkMXLC6OIozKuZ0FbsI7EJ58mv5ksJnSAeo= X-Google-Smtp-Source: AGHT+IGRx23R510/EEgesUwIfq6rEAEg7QqhLMAR2PR62Ki+3A3bldkgofEDjB9XK/ZzLwTwc4pp6CTyaPRePGSGF04= X-Received: by 2002:a2e:8796:0:b0:2bc:b815:d64d with SMTP id n22-20020a2e8796000000b002bcb815d64dmr2823301lji.30.1695548842908; Sun, 24 Sep 2023 02:47:22 -0700 (PDT) Original-Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Sun, 24 Sep 2023 02:47:22 -0700 In-Reply-To: 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:271225 Archived-At: Stefan Monnier writes: >>> The docstring of =E2=80=98backquote=E2=80=99 says =E2=80=9Cvectors work= just like lists=E2=80=9D. >>> Should we also clarify that mixing lists and vectors these 2 way: >>> >>> `(... ,@[...]) ; by contrast: `(,@[] 1) =3D> (1) >>> `[,@'()] ; by contrast: `[1 ,@'()] =3D> [1] >>> >>> will lead to unexpected behavior? Or suggest not doing so? Or let >>> =E2=80=98backquote=E2=80=99 detect this and signal an error? >> >> Copying in Stefan Monnier. > > Is there a good reason why we have those unexpected behaviors? I see two unexpected behaviors: 1. `(... ,@[...]) =3D> (\... . [\...]) 2. `[,@'()] =3D> [(\,@ 'nil)] I'd say these are the expected values: 1. `(... ,@[...]) =3D> (\... \...) 2. `[,@'()] =3D> [] I don't see any good reason for them, so perhaps these are just plain bugs to be fixed?