From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id AJu5Cj2oB2TQQQAASxT56A (envelope-from ) for ; Tue, 07 Mar 2023 22:10:21 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id 4O6eCj2oB2QqUgAAauVa8A (envelope-from ) for ; Tue, 07 Mar 2023 22:10:21 +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 E3CAC10BF7 for ; Tue, 7 Mar 2023 22:10:20 +0100 (CET) Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=pwH50tvn; 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"; dmarc=pass (policy=none) header.from=gmail.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1678223420; 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=TMhyb2Vuvn7jItprkQd358DQH/x6NZmGpSn2Z2dv4kE=; b=ZpVp9CSlBfQkl4zLgd7WpEayNf9rvH9GzKDxxCwlaPATKaApYxdRdfMg9yZNkphS+f/x9d fQwC1PctsVm/hDX6iLKJASDQLF6Dp2NFGVRdsXD+7tYYl1/p50tNROEkJMPyPKi0Ch5UQH kKu5h8Z4FhFiX15I24dJomlR6O+iEzOFO0Wcxm/bi12zdCngwsn9mhxNb6ZVYvCla6tHLZ L4WcCOZ7tJODP7eUk0IQhV3jB5IrNTETzCa10PWAKJmJv5pkPhE8SVQ2OyYqou6Se/Tiab 6r9wV9trzqmgNQcevNgBY0H20XsSJs+VJH3Lt9kN74kIBoVlOwgwYcHm/hzS0Q== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1678223420; a=rsa-sha256; cv=none; b=HOoe//UPoh1PXDwA0vnEDyNdHw+x0940lFWNrRDtDHXpVD7jJ4ALngnYf7IJsPUV+KqwwN gh3fDXq7zpiEZufddlH4HXYtT5O0OQBX5958FEG80G8/FIj4G0EDI3QCEu+K7nrcs5lpjE vDvTiyMbZaNfs+RQwObrOU494fBEMIPlC4mKZaLQL68N5NkhxuTrNUf2fbVVSZ8W0zLEWe SlrYDhQF8c09tv4DgcDxq1poKsX90uic0l8/rwpBWGGN63+EU7LFM6FH1/IM6IaKrLK8yp lXpWGVDyr3azrvksqC7x+VYPt525UicvriaKtmLkWB4z/Tni8Ijyu5RurAKY4w== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=pwH50tvn; 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"; dmarc=pass (policy=none) header.from=gmail.com Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pZeZI-0006xP-N0; Tue, 07 Mar 2023 16:09: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 1pZeZG-0006jF-G0 for guix-devel@gnu.org; Tue, 07 Mar 2023 16:09:54 -0500 Received: from mail-wr1-x430.google.com ([2a00:1450:4864:20::430]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pZeZC-0004I9-8G; Tue, 07 Mar 2023 16:09:51 -0500 Received: by mail-wr1-x430.google.com with SMTP id l1so13440518wry.12; Tue, 07 Mar 2023 13:09:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; t=1678223388; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=TMhyb2Vuvn7jItprkQd358DQH/x6NZmGpSn2Z2dv4kE=; b=pwH50tvnM/jeBwtp4qT8tsLt5hvMvxGI5bxOA+HXvp2IpklG8KCrapXznYQrGpoFyy VG1hxGJZyQfQ2RDmWnwia7AkF12OqIQdwnjte45hGRAH0PUkhpp8iFNyhB0O0Sp55yAI zu30GkicpVXuNF3V+LtoUIetHlQj9JZATTjz5S1eXnkoPv64WAtx+brl5wx76jHW3lbI nHxP+qBjYVi0u4T7c88z7x1P5drYPMMcV8dwOI3VMAvlECkCFfTk9Ed6jivT3z5t4hdB cWtcPhpXwSuKpuo54r1r62cZvFCJnJnpFe9aWLcfIGA5DAAaarjyrHAlAeaG7aQKwrH7 GBYQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1678223388; h=content-transfer-encoding:mime-version: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=TMhyb2Vuvn7jItprkQd358DQH/x6NZmGpSn2Z2dv4kE=; b=qqaRk6hP4V3MruqYOIq0p/eEaD46B/pSK3F7RgRNIO+qNod6TkNS90coLAixMkv7f1 ABzn3KClGRjfzjQ8naTKdfVFnJxW4yRU+iVDnoUL3dmXC+bGEQAxUcZdVHBt6g8U6mIe pQkaf1uhGbR49SIlcqln9hC+OrGlYaa1+oWpdL7stmXQ+IGwA1lDuEQrlIEheH9jqJUB x7TwZPKuzACkQVszgs+ERPER8PRW366679tHCBuw9lsdRHus9TqqgRnZXmTFY35vaRxE AOOwOu+OgHicdSB9f5y6AoCp0hELneLG79Zwj5zDR9Vo5l4+BVkohYSRDTYk3M/5EV51 gamg== X-Gm-Message-State: AO0yUKVDc94cfRKYjVDwxhZATXeJI/9YMH0FXP+nlfBQ6hzlyg9Rm8q1 duEz2/KnHVp7XQSFy+gPCkWyEPlmmek= X-Google-Smtp-Source: AK7set9Wsp+kQg9gxiO53xtb7bXLqLJ+TN1kBIsLHyAFsqQ9ltUEJbRqapGg5/6is/eBGMY6Gf7Diw== X-Received: by 2002:adf:ef45:0:b0:2c7:155c:7dc6 with SMTP id c5-20020adfef45000000b002c7155c7dc6mr10100074wrp.6.1678223387993; Tue, 07 Mar 2023 13:09:47 -0800 (PST) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id p10-20020a5d68ca000000b002c59e001631sm13756569wrw.77.2023.03.07.13.09.46 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 07 Mar 2023 13:09:47 -0800 (PST) From: Simon Tournier To: Maxim Cournoyer Cc: Ludovic =?utf-8?Q?Court=C3=A8s?= , efraim@flashner.co.il, guix-devel Subject: Re: Feedback on indentation rules In-Reply-To: <87356gy00x.fsf@gmail.com> References: <20230203221409.15886-2-maxim.cournoyer@gmail.com> <20230203221409.15886-5-maxim.cournoyer@gmail.com> <87357alp9n.fsf_-_@gnu.org> <878rgxws6l.fsf@gmail.com> <871qmg5qpj.fsf@gnu.org> <877cw8hvlk.fsf_-_@gmail.com> <87356oijrf.fsf@gmail.com> <87cz5l95ts.fsf@gnu.org> <861qm0broc.fsf@gmail.com> <87356gy00x.fsf@gmail.com> Date: Tue, 07 Mar 2023 18:29:26 +0100 Message-ID: <86wn3sa2rt.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:1450:4864:20::430; envelope-from=zimon.toutoune@gmail.com; helo=mail-wr1-x430.google.com X-Spam_score_int: -4 X-Spam_score: -0.5 X-Spam_bar: / X-Spam_report: (-0.5 / 5.0 requ) BAYES_00=-1.9, DATE_IN_PAST_03_06=1.592, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, 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: X-Migadu-Scanner: scn0.migadu.com X-Migadu-Queue-Id: E3CAC10BF7 X-Spam-Score: -4.93 X-Migadu-Spam-Score: -4.93 List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-TUID: BOBiAEjotC3m Hi Maxim, On Tue, 07 Mar 2023 at 11:54, Maxim Cournoyer w= rote: >> For what it is worth, I do not see an high difference between the both >> indentations. So, my opinion would to keep the current practise. > > Please take a look at my original message in this thread, > https://lists.gnu.org/archive/html/guix-devel/2023-02/msg00297.html, > where I gave examples of gexp->derivation indentations that should > explain the rationale allow nesting arguments more naturally, as if > gexp->derivation was a special form (although it's a simple procedure). Yeah, I have read this rationale before. :-) My question was somehow directed to Ludo: > Yes, that=E2=80=99s my take and current practice so far: special = rules for > special forms (macros), not for procedures. What is the rationale? Being able to know directly at the location= when it is a plain function or a special form? Sorry for having been unclear. And I do not see a big difference between, (gexp->derivation "check-deb-pack" (with-imported-modules '((guix build utils)) or (gexp->derivation "check-deb-pack" (with-imported-modules '((guix build utils)) It is somehow personal cosmetic and I am sometimes poor person about cosmetic. ;-) Well, from my point of view, based on consistency with current practises, I would be inclined to keep the status quo: special rule for special form. Cheers, simon