From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id MAZ/IiQ0iWPxpwAAbAwnHQ (envelope-from ) for ; Fri, 02 Dec 2022 00:09:24 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id QDKZISQ0iWOpUAAAG6o9tA (envelope-from ) for ; Fri, 02 Dec 2022 00:09:24 +0100 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 67118120C6 for ; Fri, 2 Dec 2022 00:09:24 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1p0sfx-0006cW-Vn; Thu, 01 Dec 2022 18:09:06 -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 1p0sfw-0006Yd-Q4 for guix-patches@gnu.org; Thu, 01 Dec 2022 18:09:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1p0sfv-0006HO-BF for guix-patches@gnu.org; Thu, 01 Dec 2022 18:09:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1p0sft-00032R-Pz for guix-patches@gnu.org; Thu, 01 Dec 2022 18:09:01 -0500 Subject: bug#59390: [PATCH 0/5] Doing 'match-record' work at expansion time Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Thu, 01 Dec 2022 23:09:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 59390 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 59390-done@debbugs.gnu.org Mail-Followup-To: 59390@debbugs.gnu.org, ludo@gnu.org, ludo@gnu.org Received: via spool by 59390-done@debbugs.gnu.org id=D59390.166993608811668 (code D ref 59390); Thu, 01 Dec 2022 23:09:01 +0000 Received: (at 59390-done) by debbugs.gnu.org; 1 Dec 2022 23:08:08 +0000 Received: from localhost ([127.0.0.1]:42498 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p0sf1-000328-Jh for submit@debbugs.gnu.org; Thu, 01 Dec 2022 18:08:08 -0500 Received: from eggs.gnu.org ([209.51.188.92]:35858) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p0sev-00031l-Eq for 59390-done@debbugs.gnu.org; Thu, 01 Dec 2022 18:08:06 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1p0seg-00069Z-1v for 59390-done@debbugs.gnu.org; Thu, 01 Dec 2022 18:07:56 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=4RoM3pHWox5Ce/Bho8f8znQaOAMNtgoZc4x0/kFlo80=; b=T9zPJDJ94enmfN1HbE9z 9+c9wtsdRdK2Mb/3HaAd+ZnnsK+o6JvW4Ul4pE3zEnyt+NblTpR4fSM3fVObIcrDvQS3QB6AkJ3qv caQPSBlh0J0G7fhf5Al9oVm0Jf6ZR2k02ZCyopwb1YlM7cEQyChubfnTmO2RdoArPtNSRWHLNZ9uL JISQyD0ApnXx/il8eoTvur9PX+vSR99mStB3vMrGsgtl9HGncIE2X3iy9qMADndFOb6uHXu6mtbie z2EJLzU6b08ai5r+5Tnszcgt5aekJ95Pulmw2W6mt3Y6V3p4KBfT639jbJW5DWXOQTM3bOy+x5KOw DMYlsjTkcssWFw==; Received: from 91-160-117-201.subs.proxad.net ([91.160.117.201] helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1p0sef-00027h-EC for 59390-done@debbugs.gnu.org; Thu, 01 Dec 2022 18:07:45 -0500 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20221119222326.10644-1-ludo@gnu.org> Date: Fri, 02 Dec 2022 00:07:42 +0100 In-Reply-To: <20221119222326.10644-1-ludo@gnu.org> ("Ludovic =?UTF-8?Q?Court=C3=A8s?="'s message of "Sat, 19 Nov 2022 23:23:26 +0100") Message-ID: <87wn7awwn5.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-TUID: 1HIogMO9lLgK Ludovic Court=C3=A8s skribis: > This addresses a longstanding issue: making =E2=80=98match-record=E2=80= =99 efficient, > and allowing it to error out on unknown field names at macro-expansion > time. I went ahead, rebased, and pushed these: 00ddf185e6 services: networking: Avoid 'match' on records. adfe1064c8 services: base: Use 'match-record' instead of 'match'. 4c8eea027a home: services: Use 'match-record' instead of 'match'. cc9ee514e3 doc: Recommend 'match-record'. 7c1161dba4 records: 'match-record' checks fields at macro-expansion time. This change breaks the ABI: we=E2=80=99ll have to run: make clean-go && make Inquiries welcome! Ludo=E2=80=99.