From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id ALaYLqswil9CHQAA0tVLHw (envelope-from ) for ; Fri, 16 Oct 2020 23:45:47 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id 8GJkKqswil8GZwAAB5/wlQ (envelope-from ) for ; Fri, 16 Oct 2020 23:45:47 +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 16F9E9403A0 for ; Fri, 16 Oct 2020 23:45:46 +0000 (UTC) Received: from localhost ([::1]:46958 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kTZPt-0004jg-J9 for larch@yhetil.org; Fri, 16 Oct 2020 19:45:45 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:38124) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kTZPV-0004i9-Bw for guix-devel@gnu.org; Fri, 16 Oct 2020 19:45:21 -0400 Received: from dd26836.kasserver.com ([85.13.145.193]:37896) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kTZPT-000796-61; Fri, 16 Oct 2020 19:45:20 -0400 Received: from localhost (80-110-126-103.cgn.dynamic.surfer.at [80.110.126.103]) by dd26836.kasserver.com (Postfix) with ESMTPSA id EF9CE336869A; Sat, 17 Oct 2020 01:45:09 +0200 (CEST) Date: Sat, 17 Oct 2020 01:45:08 +0200 From: Danny Milosavljevic To: Ludovic =?ISO-8859-1?Q?Court=E8s?= Subject: Re: Using #true and #false everywhere? Message-ID: <20201017014508.1242edc0@scratchpost.org> In-Reply-To: <875z7a78ww.fsf@gnu.org> References: <875z7a78ww.fsf@gnu.org> X-Mailer: Claws Mail 3.17.7 (GTK+ 2.24.32; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="Sig_/l+W6Wx6qcYePIEDeFFQMwrQ"; protocol="application/pgp-signature"; micalg=pgp-sha512 Received-SPF: none client-ip=85.13.145.193; envelope-from=dannym@scratchpost.org; helo=dd26836.kasserver.com X-detected-operating-system: by eggs.gnu.org: First seen = 2020/10/16 19:45:10 X-ACL-Warn: Detected OS = Linux 3.11 and newer [fuzzy] X-Spam_score_int: -25 X-Spam_score: -2.6 X-Spam_bar: -- X-Spam_report: (-2.6 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_NONE=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: , Cc: guix-devel Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; 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: -0.11 X-TUID: D29diOizuiXN --Sig_/l+W6Wx6qcYePIEDeFFQMwrQ Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi Ludo, On Fri, 16 Oct 2020 12:38:23 +0200 Ludovic Court=C3=A8s wrote: > 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? Now's definitely not a good time to make this change. I think it's a good idea to make the change eventually, but I wouldn't chan= ge it so short before a release. --Sig_/l+W6Wx6qcYePIEDeFFQMwrQ Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEds7GsXJ0tGXALbPZ5xo1VCwwuqUFAl+KMIQACgkQ5xo1VCww uqUMvAf/QIgGNXwEsbB30aDHUnUYc8MGhWAFwULGcoOFO6QNOKYbL0inNjRznX6g HsfilIOFdnQc9EpNLAUSVk5S/B5HSWfSAKeZMo51uIpEEms+DCthoSUXO8cnTZYm 2b4IfnoPfIFNzsYJSIp1sS6iQ70xo369vRGaoLfD0edgsMSEK/1wHWYvcVTfeaH9 3n2IGMjOg4Yi1YVI3nQrM29T7CIcrL0ES6yqQOCyGqAbCNLbM72MeqYg0/weFl3f H3uEkRE80/uxJktwCaUyRWSNHPXx50G6uQjyRpApHXHwCFwGC7XiQrXFAxdBLZWq 4tkwPNhwzVHjurTtMJ0RQ+e+r1uGeQ== =WCLu -----END PGP SIGNATURE----- --Sig_/l+W6Wx6qcYePIEDeFFQMwrQ--