From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id aGt3LUbqlGGgbgEAgWs5BA (envelope-from ) for ; Wed, 17 Nov 2021 12:40:54 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id wBhOKUbqlGFPJwAA1q6Kng (envelope-from ) for ; Wed, 17 Nov 2021 11:40:54 +0000 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 5BFB212E2E for ; Wed, 17 Nov 2021 12:40:54 +0100 (CET) Received: from localhost ([::1]:60758 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mnJJ7-0005iP-EC for larch@yhetil.org; Wed, 17 Nov 2021 06:40:53 -0500 Received: from eggs.gnu.org ([209.51.188.92]:40114) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mnJIZ-0005gV-TV for guix-devel@gnu.org; Wed, 17 Nov 2021 06:40:19 -0500 Received: from [2607:f8b0:4864:20::d2b] (port=42558 helo=mail-io1-xd2b.google.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mnJIY-0003le-01; Wed, 17 Nov 2021 06:40:19 -0500 Received: by mail-io1-xd2b.google.com with SMTP id x10so2655667ioj.9; Wed, 17 Nov 2021 03:40:16 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=JfDdOxSsCuPmlB+JKs26dhIQQppb7rFrrkNtXKmfNF4=; b=dDTfF8MJgn2R9XETvkjwMSchAnBUWd9lfvdFHrzdM4az2GaZYzHAYn4J6TrRVV12Wi tDPAoUby+G61iAHiW6EotmFecw0atzfTTSPI2JXYkVSYKhzm6+/fD1InOCRL9q/SoQPd aJAR/OMSV/HVRKA1Kx40eg4K9GeBbbRPMJyS5tzEM1fUlqsAdF7AR0qfLjFePLGtrmPp 9peBzTQ+u5EEv0d73w8BSpiSU0Zfz9z7W5xiOXHZGWcns9/LDGcZNZ7QY0GHA/rjagQg uBROx4z1z/mDsYR9+/7OVTxPR4WvbNkT8NJc96GE5zno4OtoS1EX+dPj6VpCKuGRCF/T meUg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=JfDdOxSsCuPmlB+JKs26dhIQQppb7rFrrkNtXKmfNF4=; b=oHPuyC8QQcV9g5AJ6mufJqtZNv8xe7nlj7M/ts9k31lPP9HsmwHtrPnaIt9Jr5PYi4 h94UntRIxPETEThlsn+tI9L49MDzDx0y3WrrEEl1V8krNuQTZg3CUYS3uoKBh8rgpwoj L1etaEoAOvvsyE4yj39l8kjjepv0K0ne2Jv47Et+4GjW+wMLtKfOw1gbJ63hiO9fyuHO vn3jrZsTXuk8eo9dGujN9/Ux7BSQuY6OFybT6EIEYtHeCz7r4ka3L4Zg3mS3CDU6oDT4 k90BMi558HLMLm5Z9Txia0exBYoLDitUj2+U0IEgMSHV+Ub+YbMdbFQQIz6NfFXpQ2TG O6nA== X-Gm-Message-State: AOAM5330RULj05K56Jt8G03nMMvzJxKO4xYcjf3trkGjrFhxCpvwwxBc zdF/TMRQk+YQ6o3liAb2lSpKmoLiHhSBN783O1vWoci88xE= X-Google-Smtp-Source: ABdhPJyX4+/oGfwDIUk02J3YIR5lCZxvF54UichS9qSYJLogtHFjtMoZPaE2i20oBaOgJtyb80FCyNfUfxbR+WoFmsk= X-Received: by 2002:a5d:9b0f:: with SMTP id y15mr10583425ion.5.1637149216047; Wed, 17 Nov 2021 03:40:16 -0800 (PST) MIME-Version: 1.0 References: <3add15b77522d6e9ebd715a19d966666@selfhosted.xyz> <87r1bsqdy8.fsf@nckx> <86tugd9xlz.fsf@gmail.com> <87bl2jxc6f.fsf@gnu.org> In-Reply-To: <87bl2jxc6f.fsf@gnu.org> From: zimoun Date: Wed, 17 Nov 2021 12:40:04 +0100 Message-ID: Subject: Re: Recommend order for package fields? To: =?UTF-8?Q?Ludovic_Court=C3=A8s?= Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Host-Lookup-Failed: Reverse DNS lookup failed for 2607:f8b0:4864:20::d2b (failed) Received-SPF: pass client-ip=2607:f8b0:4864:20::d2b; envelope-from=zimon.toutoune@gmail.com; helo=mail-io1-xd2b.google.com X-Spam_score_int: -12 X-Spam_score: -1.3 X-Spam_bar: - X-Spam_report: (-1.3 / 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, FREEMAIL_FROM=0.001, PDS_HP_HELO_NORDNS=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RDNS_NONE=0.793, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no 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: , Cc: Guix Devel Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1637149254; 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=JfDdOxSsCuPmlB+JKs26dhIQQppb7rFrrkNtXKmfNF4=; b=hNZkvuPJV8jh5VL1Rx83h3/bXs9OQxqlH2i1FY1yhZ/XFAWVAGefoEoQQIzLtFt1q3h6Ze 9g4KipdErZXXjT41bvVtLsSzZIbg/dL1WBTP9+lTZoy5RJRduVEM8pKvqB+f/2C+UQv1Ef tpF6k1Y8aRTnPVngXe0EQVFOsRUKmV6JmtjioUoyBiQpOb8YdrrLiJ/001YniHxX82kmSL Wh+cGJk5JfF45M6NJgFnfWyXYa9YeTYcC6F/7J/T+nZrqIW/tZvXDruth/cSNCWvmUOe0X ApGHFd/qRWXllTey4rcB0ZmC2u/NzCaeKzJk7hahudTOkmz8OpDU3Edn9gHVCg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1637149254; a=rsa-sha256; cv=none; b=rd2iawoMRyH8eVxvWr8vy64VyBTxcRX377D9aBzK0NKEfVUMiJ+/+p+8GYNPnTxTAkEe/v A7lhfOFS2A+DxdNzj4Dcu7aUe6hVbiRJOyNmVrCO18+IkTMGoD2auFwVD3zqgn70BQfd1p AFDN3hhW0P75B+yIkJ0C03RUwg1CaEN3z+8QcgDqTUsyB5HhCaM76T2sycRpPwoxGFoEfy hABsgt0uCT87HmMigEwu/rqzn/l6QKRGrqDhJcTvKq7TZUHCpBjywqW8ifke1XnT580OC0 hOZVGSVcZWtMZdgkgx1Pk5V5qLARtacT+AGs6lq/2izocEB/qRvT81kgiRkb3w== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=dDTfF8MJ; 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" X-Migadu-Spam-Score: -0.85 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=dDTfF8MJ; 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" X-Migadu-Queue-Id: 5BFB212E2E X-Spam-Score: -0.85 X-Migadu-Scanner: scn0.migadu.com X-TUID: m2DxFMGbo2x+ Hi, On Wed, 17 Nov 2021 at 12:18, Ludovic Court=C3=A8s wrote: > I don=E2=80=99t think so; examples in the manual, =E2=80=98guix import=E2= =80=99, etc. are > already mostly consistent. >From my point of view, an explicit recommendation is always better than an implicit one. If it is already consistent and defacto ordering, it costs nothing to write down such as a recommendation and it helps, IMHO. (On a side note, IMHO, similar issues with packages sorted or not depending on the phase of the Moon, mostly, or with inputs sorted or not depending on the phase of the Moon, mostly. ;-)) > > Especially when there is probably some issues with the semantic, for > > instance, compare [1] corner cases: > > It=E2=80=99s not a corner case, it=E2=80=99s lexical scoping. :-) Thanks for explaining. :-) Let rephrase: compare different behaviours [1] depending on lexical scope which is odd in the framework of "declarative". Anyway, your point is: it is a feature, not an issue, IIUC. > > If yes, why not add a checker for =E2=80=9Cguix lint=E2=80=9D for warni= ng that? And > > obviously, it could be nice to have an automatic tool for formatting; > > something similar as etc/indent-code.el for ordering packages. ;-) > > I think =E2=80=98guix style=E2=80=99 should eventually be improved to rep= lace > etc/indent-code.el. We could augment it with specific stylers, such as > alphabetically sorting inputs. Ah yes I have forgotten about "guix style". :-) Cheers, simon