From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id QtK5ESici19vEgAA0tVLHw (envelope-from ) for ; Sun, 18 Oct 2020 01:36:40 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id 2DYgDSici1+ADwAAbx9fmQ (envelope-from ) for ; Sun, 18 Oct 2020 01:36:40 +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 D14D9940112 for ; Sun, 18 Oct 2020 01:36:39 +0000 (UTC) Received: from localhost ([::1]:47950 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kTxck-00016o-QB for larch@yhetil.org; Sat, 17 Oct 2020 21:36:38 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:38926) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kTxcb-00016c-GN for guix-devel@gnu.org; Sat, 17 Oct 2020 21:36:29 -0400 Received: from mail-il1-x133.google.com ([2607:f8b0:4864:20::133]:43717) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kTxcZ-0002QL-GS; Sat, 17 Oct 2020 21:36:29 -0400 Received: by mail-il1-x133.google.com with SMTP id k1so6860914ilc.10; Sat, 17 Oct 2020 18:36:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-transfer-encoding; bh=YPESZt2KHBg3XXMQo0dq9DzSTvjKvw062P2JPn8Cq5g=; b=oCQnJmJmvCGMxDjIizSsi9qXqBtP+J+6BIaV5iOqxWnHQHHvR4R7CV+NZXtDGe89Gw i7JhrDj0AZ3azRHcP9ynSqndTL/2TAxnUj88vXSnr4VaDz9appNSK6KNoFlcAi8GbpVg 0ZYEh93Hil20lbYOf0BxPpkIxnMkdwgpLAFbNu3L/WacfqAlT4QZPLWk58sMIRXdum02 8XW8JFsz7mkEJt+YN5Qg92EhFWeuyYSdAgItgrghIv9P5bgxWigBji35yjvG7NfawmCN YXUcWjVzfUs66xuhyD8EQzgn+tzzZk/bBLK8A8X9JaNs3inXTwEn26nO/8TyT8aNxAud 3VJQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version:content-transfer-encoding; bh=YPESZt2KHBg3XXMQo0dq9DzSTvjKvw062P2JPn8Cq5g=; b=Paij1jIhmL68QkGpQJbJESEjBoKSiJzan5syoUjpfOLWhrspji8iNc4Xt3qeyWxwBI coblgzOW78PENMsBHLy8gsJqElSNsFx8vX+D822GfGR6pmjDUGoscBukSbs3dxUMfV0R myYDzrWL7z5g4Mra2u4bB9LmSalHUIAVckbKZbSJ3+j3g0U1bNcgP9FT7WoEpzVi7b+z AIYJ5X+4H/8h+Zw0a1xrFrQMr0r7M22o/3YQP3qu2OLN7FYHAvef/RTJzqnZwSxwRxFw eNIJfZnjhUMd+nVhHkYGJEY1y7rdKuQ2h08Q11qFcc+RSbTR10rP5phPTFFzEOfoKSzH PR1g== X-Gm-Message-State: AOAM533ivZEgRc36Xz7B6E+F9lbg0P6ompqPFInG+TJTiTQ+e801ajyT LyXcyLEtvXwMcP/PaFyaIArXjk6Cxio= X-Google-Smtp-Source: ABdhPJxXzfYBV2EA+kC8SRyuiXgPykmgN9GKLQN58sT67tm9o+AzGs6JnNPSHMjhBB2kz7GbJpdOsg== X-Received: by 2002:a92:c650:: with SMTP id 16mr6644933ill.94.1602984984914; Sat, 17 Oct 2020 18:36:24 -0700 (PDT) Received: from hurd (dsl-205-233-125-118.b2b2c.ca. [205.233.125.118]) by smtp.gmail.com with ESMTPSA id i82sm6806701ill.84.2020.10.17.18.36.23 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 17 Oct 2020 18:36:24 -0700 (PDT) From: Maxim Cournoyer To: Tobias Geerinckx-Rice Subject: Re: Using #true and #false everywhere? References: <875z7a78ww.fsf@gnu.org> <87a6wm5mv5.fsf@gmail.com> <874kmub8e1.fsf@nckx> Date: Sat, 17 Oct 2020 21:36:06 -0400 In-Reply-To: <874kmub8e1.fsf@nckx> (Tobias Geerinckx-Rice's message of "Fri, 16 Oct 2020 15:36:06 +0200") Message-ID: <875z785n95.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2607:f8b0:4864:20::133; envelope-from=maxim.cournoyer@gmail.com; helo=mail-il1-x133.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: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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, 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: , 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=fail (rsa verify failed) header.d=gmail.com header.s=20161025 header.b=oCQnJmJm; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=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: 1.09 X-TUID: FOKpDuMXrf0Z Hello Tobias, Tobias Geerinckx-Rice writes: > Maxim, > > Maxim Cournoyer =E5=86=99=E9=81=93=EF=BC=9A >> 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. Thanks, I couldn't find where that was defined. Now that you've pointed it to me, it's defined in section 6.3 Booleans: The standard boolean objects for true and false are written as #t and #f. Alternatively, they can be written #true and #false, respectively. > I don't know what Guile =E2=80=98is=E2=80=99, but it supports that part o= f the > standard. I don't think it implements any of the RnRS completely?=20 > I've heard it said that Guile targets R5RS, but that was ages ago. info '(guile) Guile and Scheme' suggests it supports all of the R5RS, R6RS or R7RS standards, plus a bunch of srfi modules. With this cleared, I don't have an objection to the proposal, other than the other points I've mentioned earlier (to recall those points: I don't perceive much value in it and it'll make the 'git blame' output noisy). Thanks, Maxim