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 GqHKA8y0jl8tdAAA0tVLHw (envelope-from ) for ; Tue, 20 Oct 2020 09:58:36 +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 cJuCOsu0jl8ZeQAAB5/wlQ (envelope-from ) for ; Tue, 20 Oct 2020 09:58:35 +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 C8D029404C4 for ; Tue, 20 Oct 2020 09:58:35 +0000 (UTC) Received: from localhost ([::1]:39072 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kUoPa-0004CS-Oa for larch@yhetil.org; Tue, 20 Oct 2020 05:58:34 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:35972) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kUoOR-00036U-BL for guix-devel@gnu.org; Tue, 20 Oct 2020 05:57:23 -0400 Received: from hera.aquilenet.fr ([2a0c:e300::1]:36454) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kUoOP-0005Kg-Dt for guix-devel@gnu.org; Tue, 20 Oct 2020 05:57:22 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id D2B6315A; Tue, 20 Oct 2020 11:57:15 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id gptK3rE1ipOC; Tue, 20 Oct 2020 11:57:15 +0200 (CEST) Received: from jurong (p200300dd571a08003fc060e35b706573.dip0.t-ipconnect.de [IPv6:2003:dd:571a:800:3fc0:60e3:5b70:6573]) by hera.aquilenet.fr (Postfix) with ESMTPSA id EEE2A136; Tue, 20 Oct 2020 11:57:14 +0200 (CEST) Date: Tue, 20 Oct 2020 11:57:12 +0200 From: Andreas Enge To: Tobias Geerinckx-Rice Subject: Re: Using #true and #false everywhere? Message-ID: <20201020095712.GA6805@jurong> References: <875z7a78ww.fsf@gnu.org> <87a6wm5mv5.fsf@gmail.com> <874kmub8e1.fsf@nckx> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <874kmub8e1.fsf@nckx> Received-SPF: neutral client-ip=2a0c:e300::1; envelope-from=andreas@enge.fr; helo=hera.aquilenet.fr X-detected-operating-system: by eggs.gnu.org: No matching host in p0f cache. That's all we know. X-Spam_score_int: -10 X-Spam_score: -1.1 X-Spam_bar: - X-Spam_report: (-1.1 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-0.001, SPF_NEUTRAL=0.779 autolearn=no 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@gnu.org 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.49 X-TUID: AMUbp8xBrnxt Hello, on the bikeshedding front: I find #true and #false confusing, since everything I see on the Scheme language seems to use #t and #f. My first impression was that #true and #false were guilisms... On Fri, Oct 16, 2020 at 03:36:06PM +0200, Tobias Geerinckx-Rice wrote: > Maxim Cournoyer 写道: > > I'd only agree to such a change if it's already been standardized in the > > RnRS as such > Sure, I think that's implied. #true and #false are part of the R7RS-small > standard. ...but since this does not seem to be the case, I can live with either. Try this for the fun of it: $ guile scheme@(guile-user)> (eq? #t #true) $1 = #t So this would be another argument to stay with #t. Andreas