From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.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 kO2zD+lPZmViMQEAG6o9tA:P1 (envelope-from ) for ; Tue, 28 Nov 2023 21:39:05 +0100 Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id kO2zD+lPZmViMQEAG6o9tA (envelope-from ) for ; Tue, 28 Nov 2023 21:39:05 +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 F1AD358123 for ; Tue, 28 Nov 2023 21:39:04 +0100 (CET) Authentication-Results: aspmx1.migadu.com; dkim=none; 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" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1701203945; a=rsa-sha256; cv=none; b=AHs0mvNZutEgyLJOa3vSvd68j2vcgU6bvEchJJbw9Avhy4RsU8M97fpWE5r0s+DHhPdes6 HL9fMzUOPUiF5miM60thVbfteZ8RyKjnjY9oubdaCLvC+7BoW1RKoo4clZ4k4XcePeDmO4 2016EKVUzN1rJM37oNXpP/XyCrQUNB52YN7AyV9KsPuCfycxSOGmojONp3k2w9A5DDtiGI MpiLAiuiHOdwKPtWg6IwmsrDgJ+Vz21CRzUBn9USIeboHNB8ysPgrCVaGw+9nmE7p0Jx5M mOWXoF+InLYxEiZqh12zaRcj98W8QmyMqNGolnBO01YC1EIuR0+wiBm3CZGv7g== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; 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" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1701203945; 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-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; bh=vC400jjesJ0Na/1Z/XWXpll6EpFlXg26C5ikfCWEHSs=; b=gFnHx/ExCGXOX6aE5YDmm2He0F28scHzoisKVHcB523HaGx5L/zPPW6ROqG34owJ0ZuBHi bb6BqVAaEljU6T5C1/cAcrdIdSahNeQj3mKeB0Gre0jXzu1uXK/lWeJoXB+IOPBKQL4pXt hXIrSYI0S8ENImmSaagSdg2j+CKu/qXjHjDXVEr6kDg1PGO7oOA3GpBADUFk8pZ0FpDP6Z kqQj3jglda3FM1BZv3EhPIY4b1V2p2XiugL5NjSuNANn4DiFFWkMUwM1LP+RXDth17oNt8 CxwntyKVWHCC/da2xKu8EfL6I6YljQ2TB/BLbg50o7xvu8zzTtznfMofxgfw0A== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r84rA-0004LS-KJ; Tue, 28 Nov 2023 15:38:56 -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 1r84r8-0004L5-Tj for guix-patches@gnu.org; Tue, 28 Nov 2023 15:38:54 -0500 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 1r84r8-0005KB-Lf for guix-patches@gnu.org; Tue, 28 Nov 2023 15:38:54 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r84rF-00040u-Jm for guix-patches@gnu.org; Tue, 28 Nov 2023 15:39:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#66557] [PATCH] home: services: Add goimapnotify service. Resent-From: Bruno Victal Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 28 Nov 2023 20:39:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 66557 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Nils Landt Cc: 66557@debbugs.gnu.org Received: via spool by 66557-submit@debbugs.gnu.org id=B66557.170120389215372 (code B ref 66557); Tue, 28 Nov 2023 20:39:01 +0000 Received: (at 66557) by debbugs.gnu.org; 28 Nov 2023 20:38:12 +0000 Received: from localhost ([127.0.0.1]:47815 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r84qS-0003zs-Hi for submit@debbugs.gnu.org; Tue, 28 Nov 2023 15:38:12 -0500 Received: from smtpm2.myservices.hosting ([185.26.105.233]:35424) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r84qP-0003zh-Ur for 66557@debbugs.gnu.org; Tue, 28 Nov 2023 15:38:11 -0500 Received: from mail1.netim.hosting (unknown [185.26.106.173]) by smtpm2.myservices.hosting (Postfix) with ESMTP id 0ED8920414; Tue, 28 Nov 2023 21:38:00 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mail1.netim.hosting (Postfix) with ESMTP id 5865380067; Tue, 28 Nov 2023 21:38:00 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at mail1.netim.hosting Received: from mail1.netim.hosting ([127.0.0.1]) by localhost (mail1-2.netim.hosting [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id Qx8m3BVRBhyz; Tue, 28 Nov 2023 21:37:59 +0100 (CET) Received: from [192.168.1.116] (unknown [10.192.1.83]) (Authenticated sender: lumen@makinata.eu) by mail1.netim.hosting (Postfix) with ESMTPSA id B3E9380060; Tue, 28 Nov 2023 21:37:59 +0100 (CET) Message-ID: Date: Tue, 28 Nov 2023 20:37:58 +0000 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: en-US References: <656336790.399020.1700580321203@office.mailbox.org> From: Bruno Victal In-Reply-To: <656336790.399020.1700580321203@office.mailbox.org> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------rc0y1AQv0xTLU6zsF5hhgLYz" 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-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Scanner: mx13.migadu.com X-Migadu-Spam-Score: -8.21 X-Spam-Score: -8.21 X-Migadu-Queue-Id: F1AD358123 X-TUID: ddbvPLOh2OxM This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------rc0y1AQv0xTLU6zsF5hhgLYz Content-Type: multipart/mixed; boundary="------------01gKkOXvl3LzjnTe52lX0lnS"; protected-headers="v1" From: Bruno Victal To: Nils Landt Cc: 66557@debbugs.gnu.org Message-ID: Subject: Re: [bug#66557] [PATCH] home: services: Add goimapnotify service. References: <656336790.399020.1700580321203@office.mailbox.org> In-Reply-To: <656336790.399020.1700580321203@office.mailbox.org> --------------01gKkOXvl3LzjnTe52lX0lnS Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hi Nils, On 2023-11-21 15:25, Nils Landt wrote: >> Bruno Victal hat am 20.11.2023 18:16 CET ls, >> On 2023-10-15 15:01, Nils Landt wrote: >>> +(define (list-of-goimapnotify-accounts? lst) >>> + "List is in the form of '((file-name file-like))" >>> + (every (lambda (element) >>> + (match element >>> + ((string ($ )) >>> + #t) >>> + (_ #f))) >>> + lst)) >> >> You can replace this with: >> --8<---------------cut here---------------start------------->8--- >> (define list-of-goimapnotify-accounts? >> (list-of goimapnotify-account?)) >> --8<---------------cut here---------------end--------------->8--- >=20 > Wouldn't that fail because it expects '(goimapnotify-account goimapnoti= fy-account[...])? Right, it should be something like: --8<---------------cut here---------------start------------->8--- (define list-of-goimapnotify-accounts? (list-of (match-lambda ((? string?) (? goimapnotify-account?))))) --8<---------------cut here---------------end--------------->8--- --=20 Furthermore, I consider that nonfree software must be eradicated. Cheers, Bruno. --------------01gKkOXvl3LzjnTe52lX0lnS-- --------------rc0y1AQv0xTLU6zsF5hhgLYz Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature.asc" -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTAPCseV0HOaN0YFheobOGDL+spVQUCZWZPpwAKCRCobOGDL+sp VWzuAQDVlw9Bvl7PTOXbMPqHnpKJnI30bTUbL5Cbp8fvM0B/zwD+MtH9P8pv8Mz+ dz46ffftuIfAqhLqTFCzDaNuK8djvgE= =exvL -----END PGP SIGNATURE----- --------------rc0y1AQv0xTLU6zsF5hhgLYz--