From debbugs-submit-bounces@debbugs.gnu.org Sun Jul 09 01:45:57 2023 Received: (at submit) by debbugs.gnu.org; 9 Jul 2023 05:45:57 +0000 Received: from localhost ([127.0.0.1]:45585 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qINF7-0005oC-1r for submit@debbugs.gnu.org; Sun, 09 Jul 2023 01:45:57 -0400 Received: from lists.gnu.org ([209.51.188.17]:42648) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qINF5-0005o4-1o for submit@debbugs.gnu.org; Sun, 09 Jul 2023 01:45:55 -0400 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 1qINF4-0004sE-OU for bug-gnu-emacs@gnu.org; Sun, 09 Jul 2023 01:45:54 -0400 Received: from mail-dm6nam12olkn20828.outbound.protection.outlook.com ([2a01:111:f400:fe59::828] helo=NAM12-DM6-obe.outbound.protection.outlook.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qINF2-0006wl-I5 for bug-gnu-emacs@gnu.org; Sun, 09 Jul 2023 01:45:54 -0400 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=ZvDAkjdeVqWdfeNjbeHoS4ECGi8Cvh7DaUNZDeX+A34VlWWUqe10gS+MhCxuT6k7RvH+E1cLzYHMjcEzepsG/0p9qY71eD/8e0QEOO0Y9Kr7Yd8YLfF//tBAWWf1Sde/fNnpcehyFUAWdvF3L/qg+lBfH2SW6LusY+e7TTyIT1445jlgzbBO9SZKl2TQSFDCtYpjQNAUQ0AmUPknqBDPuS0L/vEC9arzojg2uI1FvFqhgdkBfXYgD/ttKKzqV/njOK4SuSY+eER8FEkUDYAMILIqJGCmzPbmO137zZiJlVt3wpuKuL1+mNgRwpM1p15fxPHWDsnTGSvUnloCOB/HHA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=jGRg8NDToCLS0d1Yp1KcYtvCfkt5GaOfSCbrzCuEMHE=; b=Cwux1IGtZZOUqSS2L+CNUjlVN1U4DOOTc3m4g/M/8+av7jL95Y+EAXkdhNDU/7QOh1Futpeac2JE3KKL7fe5nDFcjghb7+V50PwhhxHuSkuYp3e6l2N0JoEW3nCObFG80uBHjvI7rbVJ59ofF5OiDB24rGBkuOEkE/PC5u2S/Q+tIbY1GV6Xgw6j+ZtG+prm3722WGVaGaRJjvGJKqo3T9aUsK0sFWZ1WXF9ja38S9LWXWUwpXfoBbV0dq6bF5uNzC/S5lxKhsI7JSykj5Q/8j3cPhFunj/WAlCKkKRZ9IUb3WKXUWlyzXRU+7ganZPTmIs96wQqcuCKB3DG7cPgPg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=outlook.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=jGRg8NDToCLS0d1Yp1KcYtvCfkt5GaOfSCbrzCuEMHE=; b=PGAA0wGgsuelx7ap9ubcQ5Us5tKoRoMTAOadm7Ela5uBrweG7/BWYqErJYWephjDCqgGzIWXzGSnq9k4UbtDXB37FHwkcGe/f0F2uecYYsXRKsJ/o/LysnSLxMoy03626GvvKZdWqVVMucK1C/rx86Uc9ebO6nuZz1byrSAqNwylvP9d4I2zGUIeG3WOnKup6nLWWEehERm+1r4zmD1kKOEBfmlt5niLwzs+lW9nJXSj4r/EC12IHsgg22uduq++cb80/1zFrLlNFcWd5rL4VQuWXo57Ru6xtAv1nVDknCTCDqZnPwbFoKY4Ec/TZy/hlnhuqNdUr9iYDoxBHw4mkQ== Received: from PH0PR11MB7470.namprd11.prod.outlook.com (2603:10b6:510:288::7) by PH8PR11MB6683.namprd11.prod.outlook.com (2603:10b6:510:1c6::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6565.17; Sun, 9 Jul 2023 05:40:47 +0000 Received: from PH0PR11MB7470.namprd11.prod.outlook.com ([fe80::33a6:2293:e0c6:72ed]) by PH0PR11MB7470.namprd11.prod.outlook.com ([fe80::33a6:2293:e0c6:72ed%4]) with mapi id 15.20.6565.026; Sun, 9 Jul 2023 05:40:46 +0000 From: Shynur Xie To: "bug-gnu-emacs@gnu.org" Subject: mix lists and vectors when using backquote Thread-Topic: mix lists and vectors when using backquote Thread-Index: AQHZsifQWBtxJbnZjEuHC2aJmgCHZA== Date: Sun, 9 Jul 2023 05:40:46 +0000 Message-ID: Accept-Language: en-US, zh-CN Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: x-ms-exchange-messagesentrepresentingtype: 1 x-tmn: [3Q7R41ZHo3l7Di6qlhiFRVzB9uvkzxrb] x-ms-publictraffictype: Email x-ms-traffictypediagnostic: PH0PR11MB7470:EE_|PH8PR11MB6683:EE_ x-ms-office365-filtering-correlation-id: 4d173427-b1ee-4d88-fad2-08db803f0b7d x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: LnGbFebIW7ukrv2Ts2/MJe4csoklNHni2HG8+hKbJsCYtB8R2aW8SRVAaotHVEWHwhv8f2vwxsX91SmzQv6kFoWS8T63yD5/hI+aqH7meseAXefzikZ/kUDkpQ9kPTy7dAFvAwRMnJjIxPQcz0tGnKWduexlOUvuUnj6xzXntXCj4cOjs613yS1BuOiHdtdrCBWvQKI7TGRmPBU4NT8UADpEfd58rvcAKch/paSXzb2jXc93oxAtm3hxdRDzfnU/Z2J57xLliaduDcufmMGhgVjB+r9pziM6vCpXOkUmODBoTsk7bI8Im1AVqAmOfGUHP6ldCXEH1SYI2Jku0wJhMqe+vCY4A5OggEq4zzdnd6hSVOHhTIbDOAi2ZvWIKngcsvjST4gI0ab2/RjYPY3ENlKzMCakmndlxqTMp7juBynh+IAcuAnAZvunKJMWD8BeVzJNTaVSJ/kqwEy9NeitXFIttcO/F3y32W6xeexhYzxtp1OQrG7KJRM2KDGcalH0yxGSLtwU1uqnKbXvTytOET6Z7EVoDNOUOp7S8wW7log= x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?Windows-1252?Q?dQVxrA1Cd5pfecwX52M1Wju1bdEQ+RyJ3WNtmOmZQLeqv+/W/pxJ+IRq?= =?Windows-1252?Q?9n3glVVlPx7yICDg2D7OatO6jA8eD0LuidRm+RVaSC0BBU09y1g9qSao?= =?Windows-1252?Q?cxh0BrR/dPQRPGzPiOJTZXtCVJ5TlcRZNb8gTbybi+yFmpliizfmRIXD?= =?Windows-1252?Q?oMmr9RBAR8lGhzFxM2K3F0wXZurQhC3s04d70BTDO5LkoYYig7vwaBJ1?= =?Windows-1252?Q?Sxvlk0+ASQAc2QmqTuV0938WuglGQnBwBXrDi0HwrJM+li3muABszz0M?= =?Windows-1252?Q?2ULChPf/UzQfWUj74mP2YzGnWQLo4G8sf8uO+ysrrcIKMSYpLaG8JlaM?= =?Windows-1252?Q?bQ1SFwQj7M1w3heeYcM5tNbrh6NTO83RvDt2FwfTE3Y06Gpw+ReSc2RY?= =?Windows-1252?Q?ln1Q2m0WisOmP3KmHQrGnRqQ6TTI2dacXdHKM3+y+7f4owzBxwY8YuAN?= =?Windows-1252?Q?hxfpz35NsFajHqfvTAUk0n7MeehBuSxEebcyheh8ZAt/NvxmyZfXs/7r?= =?Windows-1252?Q?bcNn3jS5Q1+vWLQvsXM2hBlgl+pinOszpyujeyOszIhb0hImX5wIcCUJ?= =?Windows-1252?Q?WrOewHgIRho9uoBHKkPSxAhEVQwmCZ/xff0u3WCotwastxooyVW6vhH3?= =?Windows-1252?Q?7TtMJM+cWBDD1nC4Es1uQim9fuylVEqu/Fnqxf7QV5HHQWF5ITF5ATUQ?= =?Windows-1252?Q?mDfKM0APWwgHqHyGhbwYvUOKEL5efyqt6obVIJ+94HH0FKC6pWOoj022?= =?Windows-1252?Q?QnESP/eAd8m77lkK8CRhdq7P2sMm9FHPKyWT13YrhZE6nITUCes2crKQ?= =?Windows-1252?Q?HooMhqYBS+eBuewxwHCnRPxRob3mKs5teYGA4FTtkvOp05hYwDjkXyXD?= =?Windows-1252?Q?qlEht/QtUwojhJoTN9Iym8I4ohOZueQ/TXga9DP9WX/jceCYL5DHO8lf?= =?Windows-1252?Q?QBVQA7+An5GDFtVMh2LFv/3Xe1r1vEmlzMYrBPxaXOY0fjlpNrpxxmRi?= =?Windows-1252?Q?TqXwUIVNxVJQdiYsRjWfezGIvKTydtWc74kTPBzUzdu5UppyzWKqVPKO?= =?Windows-1252?Q?stcaxaqb9TWzkqbGmATyAY59jGu0188SSMzL+e6UUFvnuKIV40Bf12dT?= =?Windows-1252?Q?JsoA3bUTOd18fAf/fBqrYu2myYz1WrCy4wVIwJ/U/i3oweiekSPt3iYt?= =?Windows-1252?Q?LYP0nqNYR6fOL0X9gJZyJTSk5AnQ9jlPoiJa2L8nusMHCApw1N5TXHXl?= =?Windows-1252?Q?Ni/1kFXOGWhvYPYFBGXzqOgiReu88kMGnezx7SjP?= Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginatorOrg: outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: PH0PR11MB7470.namprd11.prod.outlook.com X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000 X-MS-Exchange-CrossTenant-Network-Message-Id: 4d173427-b1ee-4d88-fad2-08db803f0b7d X-MS-Exchange-CrossTenant-rms-persistedconsumerorg: 00000000-0000-0000-0000-000000000000 X-MS-Exchange-CrossTenant-originalarrivaltime: 09 Jul 2023 05:40:46.6903 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa X-MS-Exchange-Transport-CrossTenantHeadersStamped: PH8PR11MB6683 Received-SPF: pass client-ip=2a01:111:f400:fe59::828; envelope-from=one.last.kiss@outlook.com; helo=NAM12-DM6-obe.outbound.protection.outlook.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) The docstring of =91backquote=92 says =93vectors work just like lists=94.= =0A= Should we also clarify that mixing lists and vectors these 2 way:=0A= =0A= `(... ,@[...]) ; by contrast: `(,@[] 1) =3D> (1)=0A= `[,@'()] ; by contrast: `[1 ,@'()] =3D> [1]=0A= =0A= will lead to unexpected behavior? Or suggest not doing so? Or let=0A= =91backquote=92 detect this and signal an error?=0A= =0A= BTW, if [[https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D64415]] is=0A= actually not a bug, please consider document that behavior. Thanks.= From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 22 05:08:44 2023 Received: (at 64537) by debbugs.gnu.org; 22 Sep 2023 09:08:44 +0000 Received: from localhost ([127.0.0.1]:35316 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qjc9T-0005pM-SF for submit@debbugs.gnu.org; Fri, 22 Sep 2023 05:08:44 -0400 Received: from mail-lj1-x231.google.com ([2a00:1450:4864:20::231]:44230) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qjc9R-0005p9-0n for 64537@debbugs.gnu.org; Fri, 22 Sep 2023 05:08:42 -0400 Received: by mail-lj1-x231.google.com with SMTP id 38308e7fff4ca-2c135cf2459so18941141fa.0 for <64537@debbugs.gnu.org>; Fri, 22 Sep 2023 02:08:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1695373704; x=1695978504; 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=zXkxQ3ACPzH974j3xJsFFHhKmgBJdqxkf7vQEjga0iI=; b=cwgOSXNWoGeYNOJluJIHeIc9tyHr0PzrCEQQ/iNMtkYKh0XwwxI4Jq19AIeUEY/5Sh ow3l6gdHRj9E/K/ejU+4LDMDzlWIalQ9PN3oefryawuMN//e+QnBB23B80V8CPNyBfGf LEVB/rtzVSmt45+tODvlrLcyyAgrckREhZ3mWHPiQyLYP3vK/tYabosDCAy+kSzkjDmk Yg2SG8u1X5tMlDEwY3Id0lA+V8MNtU2DCEzXqBOjzbb/zCBJILA7t9uQv/AJuoyu+F9l tjGayPVcdxHnOLt9mWR1rEKaw/XJ54iujsy6vWGFTmiu1qA+4hyGmHkkbo8R4ESvFvft zIdQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1695373704; x=1695978504; 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=zXkxQ3ACPzH974j3xJsFFHhKmgBJdqxkf7vQEjga0iI=; b=VBuUcCp4yUtq4dwOtIFZoGYQAGET9pzwfmBN97/eTNSCORhEkcnJNHsAR50lnntRUA pfI8WbVxrdwQfxIrQzOBXeZWyWpp4rxNJBKib9RHTgpVyp2hPo2rcylIT+t9eeWsBk2F cm/GhvN/LQm0YssJ13BjYConcMQHSSOQOUJBeRk5mCXN/rfGq91LJ6f5xOLTm5/JFbSv lWK7LdC6l4JqKDLuTxk6NRzfEJII6rbGAUzWhgzosVBmGWP1ezyiB+ZOB9Z+kL93kVnO sAYNzKhu+0vHfMXYgCRQjqMaJeSb6MZi9Rsg54m651QXKyBnUyzJMA0izL46d+TJ5U3w G+xA== X-Gm-Message-State: AOJu0YyLObv1+6feRR9AjHerYNBmFI6pN9/N9VbH2TbNhNFN+AwRWo/s zVTQ/riRMofe6kzUOu1sOZYsA+DKCQE/GB5UwPw= X-Google-Smtp-Source: AGHT+IEW/qrvwEkyUX+W/JFRDigPSgsi4xPHQAKAVqt5j1eUKSF6EoSonmY7uaGX3cGHqPJ/gv91Cieu4/6RLl9S6wY= X-Received: by 2002:a2e:b616:0:b0:2ba:18e5:1063 with SMTP id r22-20020a2eb616000000b002ba18e51063mr6252082ljn.50.1695373704136; Fri, 22 Sep 2023 02:08:24 -0700 (PDT) Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Fri, 22 Sep 2023 02:08:23 -0700 From: Stefan Kangas In-Reply-To: (Shynur Xie's message of "Sun, 9 Jul 2023 05:40:46 +0000") References: MIME-Version: 1.0 Date: Fri, 22 Sep 2023 02:08:23 -0700 Message-ID: Subject: Re: bug#64537: mix lists and vectors when using backquote To: Shynur Xie Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 64537 Cc: 64537@debbugs.gnu.org, Stefan Monnier X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Shynur Xie writes: > The docstring of =E2=80=98backquote=E2=80=99 says =E2=80=9Cvectors work j= ust 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. From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 22 11:05:15 2023 Received: (at 64537) by debbugs.gnu.org; 22 Sep 2023 15:05:15 +0000 Received: from localhost ([127.0.0.1]:37089 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qjhiV-0003cx-Ei for submit@debbugs.gnu.org; Fri, 22 Sep 2023 11:05:15 -0400 Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:14614) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qjhiR-0003cd-8m for 64537@debbugs.gnu.org; Fri, 22 Sep 2023 11:05:14 -0400 Received: from pmg3.iro.umontreal.ca (localhost [127.0.0.1]) by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id D5A004408B8; Fri, 22 Sep 2023 11:04:54 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1695395093; bh=IK0E/59KCKOczzt4DZ/nsr5Y0GdO0osl2sTH311rBmQ=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=gErHbYoDEP/pA2HxI6+BThewVt2z6KRGJvcEti79AUNVFW126u0mQMOU0TwhPa8Hc sdkWwJnSI1AJtZ2RnXGROXYV2CeJmL6J7l7KOcJlsFx5pY6yCGs7lZBuCO8ERzixLQ rEhERz8C7exxLdRruEIRL7aNg4dSNJbqYsLpoKgiIK3fpg43ZaHvconWQ5Nzs9l+N4 b4y3edd+hypEk1DAWxy8l/qLQVVI/VB8OReKqyU6Xm4eSvXOLM1wzBwgIp2jqh5Dfd st+OMnptSjvTajMSykmv/wPt5hB+Rsdwe1fUpPnFnzAqnghIY+Hqc0nE48lySs/VYt eEvYjd3mSpLEw== Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id 78ABB4408EF; Fri, 22 Sep 2023 11:04:53 -0400 (EDT) Received: from lechazo (lechon.iro.umontreal.ca [132.204.27.242]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 69C5412022D; Fri, 22 Sep 2023 11:04:53 -0400 (EDT) From: Stefan Monnier To: Stefan Kangas Subject: Re: bug#64537: mix lists and vectors when using backquote In-Reply-To: (Stefan Kangas's message of "Fri, 22 Sep 2023 02:08:23 -0700") Message-ID: References: Date: Fri, 22 Sep 2023 11:03:31 -0400 User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-SPAM-INFO: Spam detection results: 0 ALL_TRUSTED -1 Passed through trusted hosts only via SMTP AWL 0.105 Adjusted score from AWL reputation of From: address BAYES_00 -1.9 Bayes spam probability is 0 to 1% DKIM_SIGNED 0.1 Message has a DKIM or DK signature, not necessarily valid DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's domain DKIM_VALID_EF -0.1 Message has a valid DKIM or DK signature from envelope-from domain X-SPAM-LEVEL: X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 64537 Cc: 64537@debbugs.gnu.org, Shynur Xie X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) >> 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? Stefan From debbugs-submit-bounces@debbugs.gnu.org Sun Sep 24 05:47:43 2023 Received: (at 64537) by debbugs.gnu.org; 24 Sep 2023 09:47:43 +0000 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 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 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) Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Sun, 24 Sep 2023 02:47:22 -0700 From: Stefan Kangas In-Reply-To: References: MIME-Version: 1.0 Date: Sun, 24 Sep 2023 02:47:22 -0700 Message-ID: Subject: Re: bug#64537: mix lists and vectors when using backquote To: Stefan Monnier Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 64537 Cc: 64537@debbugs.gnu.org, Shynur Xie X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) 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? From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 08 19:55:22 2024 Received: (at 64537) by debbugs.gnu.org; 8 Jun 2024 23:55:22 +0000 Received: from localhost ([127.0.0.1]:48764 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sG5u5-0001I1-24 for submit@debbugs.gnu.org; Sat, 08 Jun 2024 19:55:22 -0400 Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:5676) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sG5lE-0000u8-Rs for 64537@debbugs.gnu.org; Sat, 08 Jun 2024 19:46:13 -0400 Received: from pmg1.iro.umontreal.ca (localhost.localdomain [127.0.0.1]) by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id 1CBCC100048; Sat, 8 Jun 2024 19:45:51 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1717890345; bh=aoC+W+PU/uwSlleHbJAbNkbfUAXmBFFFZ59xqGswavc=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=PsNdyRUefYG8x4CqE4C7YNYgsfueeIj7r9/KrBh1PfT+WbAkiJxU5gAI3NmKztVFG u3ISY/8vQ864suTm3JOvVsm8YYFue2srG5TYWwYIG0ss018U7u1BYze/HzkOkdtiPZ CCL2A87zQaCZlaEQSeTpo42jKA1YQhnoUlsEalE+tyKfiwMQIW9SJzDaBoWL2TDPpU rmavhAOXrL0S5wBw4dE97Tpj7LReT6Ea/jtnSqesKF85jAdVDB6rcnUevta/jIez/v FOxT4g+KMYtZ1KC7n6G+M5nGuG1rkf/Kbk6BQKl3h0GKzF+bDzfgBznNn+DCEysTba yzo0IpQCsPRCA== Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id E326F100035; Sat, 8 Jun 2024 19:45:45 -0400 (EDT) Received: from pastel (unknown [24.140.236.196]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id BB9DF12023C; Sat, 8 Jun 2024 19:45:45 -0400 (EDT) From: Stefan Monnier To: Shynur Xie Subject: Re: bug#64537: mix lists and vectors when using backquote In-Reply-To: (Shynur Xie's message of "Sun, 9 Jul 2023 05:40:46 +0000") Message-ID: References: Date: Sat, 08 Jun 2024 19:45:45 -0400 User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-SPAM-INFO: Spam detection results: 0 ALL_TRUSTED -1 Passed through trusted hosts only via SMTP AWL -0.315 Adjusted score from AWL reputation of From: address BAYES_00 -1.9 Bayes spam probability is 0 to 1% DKIM_SIGNED 0.1 Message has a DKIM or DK signature, not necessarily valid DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's domain DKIM_VALID_EF -0.1 Message has a valid DKIM or DK signature from envelope-from domain T_SCC_BODY_TEXT_LINE -0.01 - X-SPAM-LEVEL: X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 64537 Cc: 64537@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > `(... ,@[...]) ; by contrast: `(,@[] 1) => (1) AFAICT this is the result of an optimization: `(BAR ,@FOO) is optimized to `(BAR . ,FOO) I expect a fair bit of code "relies" on this optimization, so I'm not sure we want to "fix" it. > `[,@'()] ; by contrast: `[1 ,@'()] => [1] This looks like a plain bug (probably linked to another optimization). `[,@(not t)] doesn't suffer from this problem but `[,@'[]] also suffers from it. Stefan