From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id 4AqIFPuiSmKJRgAAgWs5BA (envelope-from ) for ; Mon, 04 Apr 2022 09:49:15 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id aI3kDPuiSmIIDAAAG6o9tA (envelope-from ) for ; Mon, 04 Apr 2022 09:49:15 +0200 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 8BA18DF8A for ; Mon, 4 Apr 2022 09:49:14 +0200 (CEST) Received: from localhost ([::1]:39256 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nbHSb-00008o-4s for larch@yhetil.org; Mon, 04 Apr 2022 03:49:13 -0400 Received: from eggs.gnu.org ([209.51.188.92]:36750) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nbHQU-0007go-Ok for guix-patches@gnu.org; Mon, 04 Apr 2022 03:47:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:56496) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nbHQU-0000Mi-FU for guix-patches@gnu.org; Mon, 04 Apr 2022 03:47:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nbHQU-0005tW-Bz for guix-patches@gnu.org; Mon, 04 Apr 2022 03:47:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#54674] [PATCH] services: configuration: Use *unspecified* instead of 'disabled. Resent-From: Attila Lendvai Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 04 Apr 2022 07:47:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 54674 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Maxime Devos Cc: 54674@debbugs.gnu.org Received: via spool by 54674-submit@debbugs.gnu.org id=B54674.164905839122621 (code B ref 54674); Mon, 04 Apr 2022 07:47:02 +0000 Received: (at 54674) by debbugs.gnu.org; 4 Apr 2022 07:46:31 +0000 Received: from localhost ([127.0.0.1]:50393 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nbHPz-0005sn-1B for submit@debbugs.gnu.org; Mon, 04 Apr 2022 03:46:31 -0400 Received: from mail-40136.proton.ch ([185.70.40.136]:39590) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nbHPv-0005sV-H9 for 54674@debbugs.gnu.org; Mon, 04 Apr 2022 03:46:29 -0400 Date: Mon, 04 Apr 2022 07:46:15 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lendvai.name; s=protonmail3; t=1649058380; bh=Jnspcnu+ijoLrm7+aaq0l9GoAdpOCnA4lkwn+HfDreQ=; h=Date:To:From:Cc:Reply-To:Subject:Message-ID:In-Reply-To: References:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID; b=BubNVr7VmxnVW7ecTau8j5+Wo1XX+IiKAqzizthiTvU/hbSG2SI2GoBFOhOw073PR JLXz47RPHQs+oo+0gjqDfjLW9rVijwqD3qFT+Sq8sii0njt2rH3dLjoWNHI133l8MS /3ycLrYxZMwRy9TsikB6oHTHL6vmBIrojD6e6ZdqsHBJUzOdkq8vSa0vaSbmaUUJFV 0kGyzwcYR5e7GhjaZdqhiNY8K9inU4AvErcbWT6irWyf/2YDGv2pWOgF0YWj1vGzTD 7fJvv9KaPuT+xAZ0ufGHmVmehEaYgkDAEDFQAU5X6e9LP0YjhpCJLvRCncLi8YsRc/ BiqmsG0mmcpfA== From: Attila Lendvai Message-ID: In-Reply-To: <2f39bf8cd56b3019026e43532b2f7b937de99b7e.camel@telenet.be> References: <20220401191957.16624-1-attila@lendvai.name> <2f39bf8cd56b3019026e43532b2f7b937de99b7e.camel@telenet.be> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="b1_pbVo2HvaO0JEQbPUpBvAesq7NzFQnORahgb9K1SMcI" 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: , Reply-To: Attila Lendvai Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1649058555; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=Jnspcnu+ijoLrm7+aaq0l9GoAdpOCnA4lkwn+HfDreQ=; b=C/MAWZ9UWJzetYus9YKl7Zr6N+R1TG4zrKP/5yhz3wiIPL/scWnSvkibY5xp4L6YDGActV dr0TUN0YYZF0mphXHBMqyOgyGtOuQszxA93gUiawmYRDvbQGV4moMEzN+1f1RIUJRJmGT/ pyRN5bUNthF0zLPMmxoYyZ9nRlALBRWcfk47dlTAiXwXFLY4jqUjGA0isK3NshPjFo6ywo Ln0MLOZ1j95DtnNNjN66TUdP35iWRXgY26ucmLhaYMIb/URL9OjGK58Nu+IvksteEWE8sx q81JLSykZ5SF17DgA5qUX4GgEw4PE3/b/d7HOL3IYaksnXjE528dvbYZtgSdsQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1649058555; a=rsa-sha256; cv=none; b=hw2LpGX0M29+vNfiEnAdMP3/Q7x3PwkdMPOuG4+j2Fot0X9rkouSse0yetuG+FXn2NXd5o taMfh9ZW8i2+c7eMGg1n4txYwx0C0+HIO/JfdEMOQjKsSwQtR9oIC1DuqmXepggEnK3q3s x70E2bK9c85Q8lXrzcbkvB4SXmi925DQnxtwhb7XOIaSNR1BYajHTo53f8wV7NKb79pz8j YkTEDyFdkGlw+D2f9m3DTEhSMXOHuDmEODCJfwHO+HiEg3duVpDmTzPKj/8R8XRQExHt1M P8q9S0lOTz6PjEGL3oZMZ6zXlpPFQktgPij814oJJ/c3w8khS9xiY4Zq00ADzw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lendvai.name header.s=protonmail3 header.b=BubNVr7V; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: 1.52 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lendvai.name header.s=protonmail3 header.b=BubNVr7V; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 8BA18DF8A X-Spam-Score: 1.52 X-Migadu-Scanner: scn0.migadu.com X-TUID: 5RKQT/0/uA+J This is a multi-part message in MIME format. --b1_pbVo2HvaO0JEQbPUpBvAesq7NzFQnORahgb9K1SMcI Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable > > the reason i didn't do the (field1 maybe-string "") syntax *i.e. no > > parens around maybe-string), is that i couldn't convince the hygienic > > macro system about it. > > Do you have some non-working code? Maybe I can make it work ... thank you for your kind offer Maxime! i have attached a half-baked patch. it should also resolve your other nice catch of my mistaken use of UNSPECIF= IED? on syntax objects. in this change i try to introduce a codepath for a canonical form for DEFIN= E-CONFIGURATION fields, but it won't work this way, because this way the SY= NTAX-CASE forms will only match when *every* field is of the specified shap= e. the solution is probably in the direction of introducing a new DEFINE-CONFI= GURATION-HELPER/FIELD somehow, but hygienic macros are a rather new territo= ry for me... as for the (threads (number 5)) change: i'd rather not do it in this commit= to try to keep it as much idempotent wrt behavior as possible. -- =E2=80=A2 attila lendvai =E2=80=A2 PGP: 963F 5D5F 45C7 DFCD 0A39 -- =E2=80=9CThe important thing is to not stop questioning. Curiosity has its = own reason for existing.=E2=80=9D =09=E2=80=94 Albert Einstein (1879=E2=80=931955) --b1_pbVo2HvaO0JEQbPUpBvAesq7NzFQnORahgb9K1SMcI Content-Type: text/x-patch; name=0001-WIP-define-configuration-accepts-field1-maybe-string-forms.patch Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename=0001-WIP-define-configuration-accepts-field1-maybe-string-forms.patch ZGlmZiAtLWdpdCBhL2dudS9zZXJ2aWNlcy9jb25maWd1cmF0aW9uLnNjbSBiL2dudS9zZXJ2aWNl cy9jb25maWd1cmF0aW9uLnNjbQppbmRleCAzMjVlZjZlMGFjLi4yOGRjMzE0MzAxIDEwMDY0NAot LS0gYS9nbnUvc2VydmljZXMvY29uZmlndXJhdGlvbi5zY20KKysrIGIvZ251L3NlcnZpY2VzL2Nv bmZpZ3VyYXRpb24uc2NtCkBAIC0xNjUsNyArMTY1LDcgQEAgKGRlZmluZS1tYXliZSBzdGVtIChu by1zZXJpYWxpemF0aW9uKSkpCiAKIChkZWZpbmUgKGRlZmluZS1jb25maWd1cmF0aW9uLWhlbHBl ciBzZXJpYWxpemU/IHNlcmlhbGl6ZXItcHJlZml4IHN5bikKICAgKHN5bnRheC1jYXNlIHN5biAo KQotICAgICgoXyBzdGVtIChmaWVsZCAoZmllbGQtdHlwZSBkZWYgLi4uKSBkb2MgY3VzdG9tLXNl cmlhbGl6ZXIgLi4uKSAuLi4pCisgICAgKChfIHN0ZW0gKGZpZWxkIChmaWVsZC10eXBlIGRlZikg ZG9jIGN1c3RvbS1zZXJpYWxpemVyIC4uLikgLi4uKQogICAgICAod2l0aC1zeW50YXggKCgoZmll bGQtZ2V0dGVyIC4uLikKICAgICAgICAgICAgICAgICAgICAgKG1hcCAobGFtYmRhIChmaWVsZCkK ICAgICAgICAgICAgICAgICAgICAgICAgICAgIChpZCAjJ3N0ZW0gIydzdGVtICMnLSBmaWVsZCkp CkBAIC0yMDUsOSArMjA1LDcgQEAgKGRlZmluZS1yZWNvcmQtdHlwZSogIywoaWQgIydzdGVtICMn PCAjJ3N0ZW0gIyc+KQogICAgIAkJCQkJc291cmNlLXByb3BlcnRpZXMtPmxvY2F0aW9uKSkKICAg ICAJCQkoaW5uYXRlKSkKICAgICAJICAgICAjLEAobWFwIChsYW1iZGEgKG5hbWUgZ2V0dGVyIGRl ZikKLSAgICAJCSAgICAgICAoaWYgKHVuc3BlY2lmaWVkPyAoc3ludGF4LT5kYXR1bSBkZWYpKQot ICAgIAkJCSAgICNgKCMsbmFtZSAjLGdldHRlcikKLSAgICAJCQkgICAjYCgjLG5hbWUgIyxnZXR0 ZXIgKGRlZmF1bHQgIyxkZWYpKSkpCisgICAgCQkgICAgICAgI2AoIyxuYW1lICMsZ2V0dGVyIChk ZWZhdWx0ICMsZGVmKSkpCiAgICAgCQkgICAgICMnKGZpZWxkIC4uLikKICAgICAJCSAgICAgIyco ZmllbGQtZ2V0dGVyIC4uLikKICAgICAJCSAgICAgIycoZmllbGQtZGVmYXVsdCAuLi4pKSkKQEAg LTIzMSw3ICsyMjksMTMgQEAgKGRlZmluZS1zeW50YXgtcnVsZSAoc3RlbSBhcmcgKC4uLiAuLi4p KQogICAgIAkgICAgIChsZXQgKChjb25mICgjLChpZCAjJ3N0ZW0gIyclICMnc3RlbSkgYXJnICgu Li4gLi4uKSkpKQogICAgIAkgICAgICAgKHZhbGlkYXRlLWNvbmZpZ3VyYXRpb24gY29uZgogICAg IAkJCQkgICAgICAgIywoaWQgIydzdGVtICMnc3RlbSAjJy1maWVsZHMpKQotICAgIAkgICAgICAg Y29uZikpKSkpKSkKKyAgICAJICAgICAgIGNvbmYpKSkpKQorICAgIDs7IFRPRE8gVGhpcyBkb2Vz IG5vdCB3b3JrLCBiZWNhdXNlIGl0IG1hdGNoZXMgd2hlbiAqZXZlcnkqIGZpZWxkIGlzIG9mCisg ICAgOzsgdGhpcyBmb3JtLgorICAgICgoXyBzdGVtIChmaWVsZCAoZmllbGQtdHlwZSkgZG9jIGN1 c3RvbS1zZXJpYWxpemVyIC4uLikgLi4uKQorICAgICAoc3RlbSAoZmllbGQgKGZpZWxkLXR5cGUg KnVuc3BlY2lmaWVkKikgZG9jIGN1c3RvbS1zZXJpYWxpemVyIC4uLikgLi4uKSkKKyAgICAoKF8g c3RlbSAoZmllbGQgZmllbGQtdHlwZSBkb2MgY3VzdG9tLXNlcmlhbGl6ZXIgLi4uKSAuLi4pCisg ICAgIChzdGVtIChmaWVsZCAoZmllbGQtdHlwZSAqdW5zcGVjaWZpZWQqKSBkb2MgY3VzdG9tLXNl cmlhbGl6ZXIgLi4uKSAuLi4pKSkpCiAKIChkZWZpbmUgbm8tc2VyaWFsaXphdGlvbiAgICAgICAg IDtzeW50YWN0aWMga2V5d29yZCBmb3IgJ2RlZmluZS1jb25maWd1cmF0aW9uJwogICAnKG5vIHNl cmlhbGl6YXRpb24pKQpAQCAtMjM5LDI3ICsyNDMsMTkgQEAgKGRlZmluZSBuby1zZXJpYWxpemF0 aW9uICAgICAgICAgO3N5bnRhY3RpYyBrZXl3b3JkIGZvciAnZGVmaW5lLWNvbmZpZ3VyYXRpb24n CiAoZGVmaW5lLXN5bnRheCBkZWZpbmUtY29uZmlndXJhdGlvbgogICAobGFtYmRhIChzKQogICAg IChzeW50YXgtY2FzZSBzIChuby1zZXJpYWxpemF0aW9uIHByZWZpeCkKLSAgICAgICgoXyBzdGVt IChmaWVsZCAoZmllbGQtdHlwZSBkZWYgLi4uKSBkb2MgY3VzdG9tLXNlcmlhbGl6ZXIgLi4uKSAu Li4KLSAgICAgICAgICAobm8tc2VyaWFsaXphdGlvbikpCi0gICAgICAgKGRlZmluZS1jb25maWd1 cmF0aW9uLWhlbHBlcgotICAgICAgICAgI2YgI2YgIycoXyBzdGVtIChmaWVsZCAoZmllbGQtdHlw ZSBkZWYgLi4uKSBkb2MgY3VzdG9tLXNlcmlhbGl6ZXIgLi4uKQotICAgICAgICAgICAgICAgICAu Li4pKSkKLSAgICAgICgoXyBzdGVtICAoZmllbGQgKGZpZWxkLXR5cGUgZGVmIC4uLikgZG9jIGN1 c3RvbS1zZXJpYWxpemVyIC4uLikgLi4uCi0gICAgICAgICAgKHByZWZpeCBzZXJpYWxpemVyLXBy ZWZpeCkpCi0gICAgICAgKGRlZmluZS1jb25maWd1cmF0aW9uLWhlbHBlcgotICAgICAgICAgI3Qg IydzZXJpYWxpemVyLXByZWZpeCAjJyhfIHN0ZW0gKGZpZWxkIChmaWVsZC10eXBlIGRlZiAuLi4p Ci0gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZG9jIGN1 c3RvbS1zZXJpYWxpemVyIC4uLikKLSAgICAgICAgICAgICAgICAgLi4uKSkpCi0gICAgICAoKF8g c3RlbSAoZmllbGQgKGZpZWxkLXR5cGUgZGVmIC4uLikgZG9jIGN1c3RvbS1zZXJpYWxpemVyIC4u LikgLi4uKQotICAgICAgIChkZWZpbmUtY29uZmlndXJhdGlvbi1oZWxwZXIKLSAgICAgICAgICN0 ICNmICMnKF8gc3RlbSAoZmllbGQgKGZpZWxkLXR5cGUgZGVmIC4uLikgZG9jIGN1c3RvbS1zZXJp YWxpemVyIC4uLikKLSAgICAgICAgICAgICAgICAgLi4uKSkpKSkpCisgICAgICAoKF8gc3RlbSBm aWVsZHMgLi4uIChuby1zZXJpYWxpemF0aW9uKSkKKyAgICAgICAoZGVmaW5lLWNvbmZpZ3VyYXRp b24taGVscGVyICNmICNmCisgICAgICAgICAjJyhfIHN0ZW0gZmllbGRzIC4uLikpKQorICAgICAg KChfIHN0ZW0gZmllbGRzIC4uLiAocHJlZml4IHNlcmlhbGl6ZXItcHJlZml4KSkKKyAgICAgICAo ZGVmaW5lLWNvbmZpZ3VyYXRpb24taGVscGVyICN0ICMnc2VyaWFsaXplci1wcmVmaXgKKyAgICAg ICAgICMnKF8gc3RlbSBmaWVsZHMgLi4uKSkpCisgICAgICAoKF8gc3RlbSBmaWVsZHMgLi4uKQor ICAgICAgIChkZWZpbmUtY29uZmlndXJhdGlvbi1oZWxwZXIgI3QgI2YKKyAgICAgICAgICMnKF8g c3RlbSBmaWVsZHMgLi4uKSkpKSkpCiAKIChkZWZpbmUtc3ludGF4LXJ1bGUgKGRlZmluZS1jb25m aWd1cmF0aW9uL25vLXNlcmlhbGl6YXRpb24KLSAgICAgICAgICAgICAgICAgICAgICBzdGVtIChm aWVsZCAoZmllbGQtdHlwZSBkZWYgLi4uKQotICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgIGRvYyBjdXN0b20tc2VyaWFsaXplciAuLi4pIC4uLikKLSAgKGRlZmluZS1jb25maWd1cmF0 aW9uIHN0ZW0gKGZpZWxkIChmaWVsZC10eXBlIGRlZiAuLi4pCi0gICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICBkb2MgY3VzdG9tLXNlcmlhbGl6ZXIgLi4uKSAuLi4KKyAgICAgICAg ICAgICAgICAgICAgICBzdGVtIChmaWVsZCB0eXBlLWFuZC1kZWYgZG9jIGN1c3RvbS1zZXJpYWxp emVyIC4uLikgLi4uKQorICAoZGVmaW5lLWNvbmZpZ3VyYXRpb24gc3RlbSAoZmllbGQgdHlwZS1h bmQtZGVmIGRvYyBjdXN0b20tc2VyaWFsaXplciAuLi4pIC4uLgogICAgIChuby1zZXJpYWxpemF0 aW9uKSkpCiAKIChkZWZpbmUgKGVtcHR5LXNlcmlhbGl6ZXIgZmllbGQtbmFtZSB2YWwpICIiKQo= --b1_pbVo2HvaO0JEQbPUpBvAesq7NzFQnORahgb9K1SMcI--