From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id uG/1BdkZil+jagAA0tVLHw (envelope-from ) for ; Fri, 16 Oct 2020 22:08:25 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id AD3VAdkZil9ILwAA1q6Kng (envelope-from ) for ; Fri, 16 Oct 2020 22:08:25 +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 C5609940719 for ; Fri, 16 Oct 2020 22:08:23 +0000 (UTC) Received: from localhost ([::1]:51234 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kTXte-0001j6-0N for larch@yhetil.org; Fri, 16 Oct 2020 18:08:22 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:48076) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kTXtP-0001iq-KX for guix-devel@gnu.org; Fri, 16 Oct 2020 18:08:09 -0400 Received: from mail-wm1-x330.google.com ([2a00:1450:4864:20::330]:34835) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kTXtM-0003i8-Qs for guix-devel@gnu.org; Fri, 16 Oct 2020 18:08:07 -0400 Received: by mail-wm1-x330.google.com with SMTP id q5so4584473wmq.0 for ; Fri, 16 Oct 2020 15:08:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:date:message-id:user-agent:mime-version; bh=NR5PCja93VzAofMLjUGfVwfBGCyXQ3g3U1RunCih0CQ=; b=tByuDqnkUz9qPvKoiViMbuS1Begs52859YcrhWSJ5EnWG8psaTgcPiBQmYqCLzXJvR OnqGmw3NwlA0CjASxneila0JwrgnjQ+r+JMNOmdlXIjNX69lIImg2CvPTS+IxWdMQxji /90gugbeAXahXIsdMLMhjwJUxlmvkFhCE8C83spmkJoTSVQbVZWcYCZSc0Vu6+TTqbxk iTfXJy4TmMdYZyU2jVdu3pW4o3qycGbulnw9Bs8nKK6WZnzrDzDpdsM8joZKYhXWRQfZ bGsv9c7vCveshaFdp2oicL4g4kd1KrAiVerk4qF/f+IcGobAzWEC9hsYam6/rW6MHJZs Bk1Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:date:message-id:user-agent :mime-version; bh=NR5PCja93VzAofMLjUGfVwfBGCyXQ3g3U1RunCih0CQ=; b=bdvAZ/44nSldBMtsxlsHNkUpTC2DUSaWl80Ai1PqbkS8gxPc7XgPvwfXDfYrEZLz7r nQD1VAHXtqSwk+Eqkl/f4eYoHUjaWbtsLZS0/DFzruQQVtRKIgAefR0ZARbb7SL4fON5 +Xr3EbbgrMctUP5qG/xrrTx53/Mn3tN1RpzzmVcKToooChZXs+qA5BMVmOQEZfrYzcfp 3Xn2dBw/vKPsgBj7Gna3aQtWEK/z9+cSpp/pdFPikXmKEjjyeS+vXND/OEOOdQdJjBRw ZxjpsJA6B5KAlvXWBg1tZA+glG8hYAfKAuzu3P1vK07cmg5DZH3A3YXAOxdUfwZ5eII+ r5sQ== X-Gm-Message-State: AOAM532+EO63Q7mhJNZ2LEhiOIsf2n1RZ+wMzEb7/3xgoC8vj+TiOdTK iJBtvyIX7TY/P5bKodqCynJoAwZQZURCwg== X-Google-Smtp-Source: ABdhPJxToIrNm6WxwZkkPl+47d8jQstzIEgeD1v8A70cBOs7KpSY3fu0vsDmNe8ARoaz7QhDMQbijg== X-Received: by 2002:a1c:f417:: with SMTP id z23mr5562019wma.57.1602886078840; Fri, 16 Oct 2020 15:07:58 -0700 (PDT) Received: from unfall (218.139.134.37.dynamic.jazztel.es. [37.134.139.218]) by smtp.gmail.com with ESMTPSA id x6sm4786658wmb.17.2020.10.16.15.07.57 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 16 Oct 2020 15:07:57 -0700 (PDT) From: =?utf-8?Q?Miguel_=C3=81ngel_Arruga_Vivas?= To: guix-devel@gnu.org Subject: Re: Using #true and #false everywhere? Date: Sat, 17 Oct 2020 00:06:58 +0200 Message-ID: <878sc5lta5.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Received-SPF: pass client-ip=2a00:1450:4864:20::330; envelope-from=rosen644835@gmail.com; helo=mail-wm1-x330.google.com X-detected-operating-system: by eggs.gnu.org: No matching host in p0f cache. That's all we know. X-Spam_score_int: -3 X-Spam_score: -0.4 X-Spam_bar: / X-Spam_report: (-0.4 / 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, FAKE_REPLY_C=1.486, FREEMAIL_ENVFROM_END_DIGIT=0.25, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20161025 header.b=tByuDqnk; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: 4.19 X-TUID: 77k1PcP9YsLv --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable I didn't send this to the list... I must start using S L always instead of R and changing the headers manually, sorry. :o) =2D-- Hi Ludo, Ludovic Court=C3=A8s writes: > Hello Guix! > > As discussed on IRC recently, several of us think that using =E2=80=9C#tr= ue=E2=80=9D and > =E2=80=9C#false=E2=80=9D instead of =E2=80=9C#t=E2=80=9D and =E2=80=9C#f= =E2=80=9D throughout or documentation and code > would probably make it easier for newcomers to decipher that. > > WDYT? I think that it could help to the reader. > This syntax is supported since Guile 2.0. =E2=80=98write=E2=80=99 still = uses the > abbreviations, but the good thing is that it means we can change all of > gnu/packages without triggering a single rebuild. This is even better. :) > As for the manual, I=E2=80=99m afraid it=E2=80=99ll make every msgid that= contains > @code{#t} stale. So maybe now=E2=80=99s not a good time to make this cha= nge? It may be a big issue with a release in one week, but on the other hand the msgids would break just after releasing... Maybe other translators have a say. Happy hacking! Miguel --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQGzBAEBCgAdFiEEiIeExBRZrMuD5+hMY0xuiXn6vsIFAl+KGYIACgkQY0xuiXn6 vsJFRQv/X9VKkM8LmDFVI1/STn2WAhHI1wEqyVTNqtHut3qNG4LbBXyeEIca50ay j1wiBK+TKDTSwGWdNogAqJ4bFghHnXij73VbZyvEMrH4fb6Xfq4hF3Frr0Rw/8/t 1JSNRltNvHpxG0lhQIXwun96FUOslFh/DNeIW8EjygpWSiw5BsEFQWSh4f25B0oE UARq0mp6NdZohIVeFZz0phrkkI5OFBjlkKokBPfl6GiBN+GUBKWVwsUuU4cIcbAz kgL48AjJMLLrjmhTD5f2mHA5b3i4UqYdEyIw7TcAMA/xBH63MAOCMJksnWAu6ior gAm4gwLnE4TxAELZlf9VCuSrjlJ9Iu0/8LsyGr238nlKwOFVD70oEx8AnsQzT8/G U59yGoGe3+pfGemuaonNtxlX+DpmtQ0seUy4oVBX4TIjcdjpmUQCN3c3reXvlo1Y 3GeS6WtZKXov+J4G5wbYEOZ8/iJSPvA0wk8C2kcUHJjIxPPgGTZF9/roFC5WudGm K27Axeeh =IfXm -----END PGP SIGNATURE----- --=-=-=--