From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id IGM7AN/DwmXuUgAAe85BDQ:P1 (envelope-from ) for ; Wed, 07 Feb 2024 00:42:23 +0100 Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id IGM7AN/DwmXuUgAAe85BDQ (envelope-from ) for ; Wed, 07 Feb 2024 00:42:23 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=zancanaro.id.au header.s=k1 header.b=Vo6SdJeF; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=zancanaro.id.au ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1707262942; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=tms2qGtwFzWrp/5IIoAX8brHsIUEarK+PSzW6shSwxg=; b=ZmajsDwZAUH9VHahgt8k9YShX9857Ma3IBud2xna8v/KJLbbEMovGe7NEAInI7y/aTKNWP 3dy6z/xLOORIjYBDl1TsytMcrcH5O2UFux/9yJZXYg5mXZWVq1+qwtJur4POmtuD1PJW9D Hkn/Be/K8bD6ARN0l/M8nOLoA1K8aP0sswpE8NKkcUtJMDqclki4i/JEcAuobIf90fRRTz 0rvtLP01fDg3rmlzZ2O/Xbd2bUVfqTH/2cqbxxA8/WCATRb4hbhLLe1M70COA7J6exXDoQ XuNEPUUN7rAfB5TLRc6E/7fGEOP0cONgxe+lIqzBwn9Kw1y6n6z2vSNZNLAHNg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=zancanaro.id.au header.s=k1 header.b=Vo6SdJeF; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=zancanaro.id.au ARC-Seal: i=1; s=key1; d=yhetil.org; t=1707262942; a=rsa-sha256; cv=none; b=Z6d3+YFMKYlPjSpGPM72LyyCUlDZoQBUDzf75yKHVXkipsWULDoP1gDwjSyvIPiLh2h22h QBN8utNeMT4E7YrB5BX08BgTJWCRT1n0ZptV5GLrF3dOR56Y2gR47ELufSMv0uWo/eASxN gcbXSwOeoIgVexJ1SXLExuYysdk9vxqr+BciJg+Xn3Fpj2CwPTE1Uv8apEmUi84vRqI+3B qKMWTcKtSQKPuVbjRweQ9Vrx9axhzBqnmXxsOmCAi9dFp9el5df0UunXERs0Rl+w9cheqa nV70wDVKYSbHuJ8618sGQVa0koV8vu+OS7nTRJq/ZnbaYQ3G5gH8Rtr0erPeew== Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 9E1FB411EA for ; Wed, 7 Feb 2024 00:42:22 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rXV4Y-00064S-1f; Tue, 06 Feb 2024 18:41:50 -0500 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 1rXV4W-00064K-Nz for guix-devel@gnu.org; Tue, 06 Feb 2024 18:41:48 -0500 Received: from voltorb.zancanaro.id.au ([45.77.50.64]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rXV4T-00011E-AJ; Tue, 06 Feb 2024 18:41:47 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=k1; bh=tms2qGtwFzWrp/5 IIoAX8brHsIUEarK+PSzW6shSwxg=; h=date:references:in-reply-to:subject: cc:to:from; d=zancanaro.id.au; b=Vo6SdJeFV6IdVSFHaVzvUZeJelNTcSK03duft P4NBiQ0+Ct5NHD5t5Yp/AxVe2bCdSd3RGtsogylK6JESQe+zOx7tzOvgRpNTyhljXD6kZl g2hqoQt/EXKw8K+73lvWtyJZ6SUQnw4Et6JFnVqonMcFRL8zXV6b1jp8AY02J20w= Received: by voltorb.zancanaro.id.au (OpenSMTPD) with ESMTPSA id 8ecf244b (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Tue, 6 Feb 2024 23:41:36 +0000 (UTC) From: Carlo Zancanaro To: Simon Tournier Cc: Guix Devel , Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: ice-9 match penalty depending on pattern? In-Reply-To: <87wmrh6zwl.fsf@gmail.com> (Simon Tournier's message of "Tue, 06 Feb 2024 22:33:46 +0100") References: <87wmrh6zwl.fsf@gmail.com> Date: Wed, 07 Feb 2024 10:41:38 +1100 Message-ID: <87il31upn1.fsf@zancanaro.id.au> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=45.77.50.64; envelope-from=carlo@zancanaro.id.au; helo=voltorb.zancanaro.id.au 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, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -6.27 X-Migadu-Scanner: mx13.migadu.com X-Spam-Score: -6.27 X-Migadu-Queue-Id: 9E1FB411EA X-TUID: DfHTZEKF4WLy > ./guix/docker.scm:261: (((head ...) (tail ...) id) This one is not like the others. However, looking at the context I think the pattern could just be (head tail id). > Why not? Do I miss something in the implementation of =E2=80=99match=E2= =80=99? The only reason I can think of would be if these matches are sometimes provided improper lists, which need to fail these match conditions. That seems unlikely to me, but it should be clear from looking at the other match clauses in each case. Carlo