From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id KLlABl2OIWUJLQAAauVa8A:P1 (envelope-from ) for ; Sat, 07 Oct 2023 18:59:09 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id KLlABl2OIWUJLQAAauVa8A (envelope-from ) for ; Sat, 07 Oct 2023 18:59:09 +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 CB8D36093C for ; Sat, 7 Oct 2023 18:59:08 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=gUJiRqdR; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=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" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1696697948; 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:resent-to: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=6P2B3FZBwA0W6y1j7U7/KWo2AAEzQBxnnl/NHPefSjk=; b=Km8pah7l2u8ktzzZ5+wzP7sMM1u6wZAtRupAcuBZVveKiSO+A6iuSaD1tkHoDoSofO5ZAq jqVBGfqR4QIwCCvas6ozmXhjbRJzU5fUJbICr4jiYDIW6IOPk9te2oaXHSPTabAufKvnDx T52Dhxo3l8MhqDxs3NqGo6wzcwARQhH/Fgq9QWyMqePaVyzAnJ0Yr7ZaNoYC9t5ihdMfaB 8fORX584CTYN18Boeka9mtFEZtwVxCreeHjP4HsOQiVfBMp9dFZmqFkMdWpo7QdPIL2X/W P3SJBsEIUrBDSQX7TxmG/6butKJdwAHyjVsZnRfeh9ppVVt5/I2wbNMYPFt7Pg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1696697948; a=rsa-sha256; cv=none; b=MNZV3tOYIg4fzoSHUJq+CfjMR71uwC7Ao2K8NR91vvdnLD8LNTREnfxNM7bbUo++BOgzc8 nya8ZUNcSNixKjCA6BRryEMFK4Z4NSrf2iWEgwhzakmtlMmeVTwStbWU5gyuvdbHgpEL53 TrlRpIcJhynrc8+YWv09vkzlxS7C4AWCfOn2a+bPxYyy9G2K5Ny8ddncFexzElD06UaCkH Nrtok/1fvg2QOYI5SuPK8xfZVuNr18ypks+1++tOl/HoFcorW5sqCyMGQI4Mmj0hOMxlyV cQftzMMGqrf5tFbed1j/KUCddjC5L51VGKHOhtBjHQcfe3i3seU/cbg90lmj/Q== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=gUJiRqdR; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=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" Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qpAdh-0004zi-77; Sat, 07 Oct 2023 12:58:53 -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 1qpAdX-0004xQ-EO for guix-patches@gnu.org; Sat, 07 Oct 2023 12:58:43 -0400 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 1qpAdX-0003Lz-6G for guix-patches@gnu.org; Sat, 07 Oct 2023 12:58:43 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qpAdq-00072l-Dq for guix-patches@gnu.org; Sat, 07 Oct 2023 12:59:02 -0400 Subject: bug#63985: SRFI-171 based improvements for define-configuration Resent-From: Maxim Cournoyer Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Sat, 07 Oct 2023 16:59:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 63985 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Bruno Victal Cc: 63985-done@debbugs.gnu.org, Liliana Prikler Mail-Followup-To: 63985@debbugs.gnu.org, maxim.cournoyer@gmail.com, mirai@makinata.eu Received: via spool by 63985-done@debbugs.gnu.org id=D63985.169669790426925 (code D ref 63985); Sat, 07 Oct 2023 16:59:02 +0000 Received: (at 63985-done) by debbugs.gnu.org; 7 Oct 2023 16:58:24 +0000 Received: from localhost ([127.0.0.1]:55829 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qpAdD-00070C-Re for submit@debbugs.gnu.org; Sat, 07 Oct 2023 12:58:24 -0400 Received: from mail-qt1-x82b.google.com ([2607:f8b0:4864:20::82b]:48243) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qpAdB-0006yF-RJ for 63985-done@debbugs.gnu.org; Sat, 07 Oct 2023 12:58:22 -0400 Received: by mail-qt1-x82b.google.com with SMTP id d75a77b69052e-41812c94eb5so18072611cf.0 for <63985-done@debbugs.gnu.org>; Sat, 07 Oct 2023 09:58:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1696697876; x=1697302676; darn=debbugs.gnu.org; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to; bh=6P2B3FZBwA0W6y1j7U7/KWo2AAEzQBxnnl/NHPefSjk=; b=gUJiRqdRnJ/cRtyKgVF21EBuPoOvo6CM6oBrlNZJPh1xCh/2G6qHgLWx8JQyve7SP0 +ei7ZorpVi+dxLkR9rgISIEwq7OOdXVcUrcsafJLBKZ/nQKeCtCYwtdq1IE7TSlbOOpV LD/uiYD74GQiqWW1lQb3frSLeKcinBeVbXiSFij4EcHarH7FjnEbkCJha1u7lYwxykA8 rGof5dUdtia0v7JQ7+4L/Ri3EJkgQrpoGHUSlBqm3i/VKOd4BsMcIoLihwvdJTZvn5qg mYrvV0NmaOOL/KO9U5Zm9rNV16ark7awoxKJY/+NEHZsh8vR/xQ6k1VrXUdfIfb//syh T7wg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1696697876; x=1697302676; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=6P2B3FZBwA0W6y1j7U7/KWo2AAEzQBxnnl/NHPefSjk=; b=n0nPet3OT47Yxa8Xbq9DJtmBXK4znKWM76TMJDYr8JdeMl1pYJ+TuejfNyOsMWvvML QlN4J+u8v/f8T5tUSpQLrl/I6tR/+nTYgrj6MUiEIO7UMONJgaoAyK4SrPceGi7ODgbF HYe1jYdyp22Dqri81wbbOZHjHsCpm+mkkxzMOOVo/MQAID36bCB5LpKWut59zdD+px33 fZwgwGy2CZBjl2X6f27NlJExLBmmTLsyTDzQcbkz8NlB6P5XLNaCmwdu4CDjCx4a/79H gGSSTCOVMO1Yd46Cg8Z6PHsy8kvVjFUXQ+xSbRkVcKdGa+XttYK0W59wyNdm7VrsSP/F lXfg== X-Gm-Message-State: AOJu0YxKjeTbpKI7moyvPbbCl0lANKSXz/K29K3nyrRb9zjNrGzDooZo 2CQgezr3J3eSuJ+8NBcM9Gw= X-Google-Smtp-Source: AGHT+IGACpoNoxzvNaxxRk3ftbe9IYl5JAaPTanzawBcp8UfcN8oyFyzXL4DuY8eDQiVrDqgGv/w+Q== X-Received: by 2002:a05:622a:134a:b0:418:1365:9b4e with SMTP id w10-20020a05622a134a00b0041813659b4emr13684550qtk.20.1696697876382; Sat, 07 Oct 2023 09:57:56 -0700 (PDT) Received: from hurd (dsl-158-21.b2b2c.ca. [66.158.158.21]) by smtp.gmail.com with ESMTPSA id o20-20020ac86d14000000b0041950c7f6d8sm2153714qtt.60.2023.10.07.09.57.55 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 07 Oct 2023 09:57:55 -0700 (PDT) From: Maxim Cournoyer In-Reply-To: (Bruno Victal's message of "Sat, 7 Oct 2023 16:57:13 +0100") References: Date: Sat, 07 Oct 2023 12:57:54 -0400 Message-ID: <871qe6id4d.fsf_-_@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain 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-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Scanner: mx0.migadu.com X-Migadu-Spam-Score: -5.12 X-Spam-Score: -5.12 X-Migadu-Queue-Id: CB8D36093C X-TUID: HZ9rU/d4LVQP Hello, Bruno Victal writes: [...] > Bruno Victal (5): > services: configuration: Simplify normalize-extra-args. > services: configuration: Use transducers within > serialize-configuration. > services: fstrim-service-type: Serialize with SRFI-171 transducers. > doc: Rewrite define-configuration. > services: configuration: Add some commonly used predicates. Now pushed! -- Thanks, Maxim