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 8KcQAtvRjl+cegAA0tVLHw (envelope-from ) for ; Tue, 20 Oct 2020 12:02:35 +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 UMBgOdrRjl8CHgAA1q6Kng (envelope-from ) for ; Tue, 20 Oct 2020 12:02:34 +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 BA60C940223 for ; Tue, 20 Oct 2020 12:02:34 +0000 (UTC) Received: from localhost ([::1]:35394 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kUqLZ-0005zC-Ms for larch@yhetil.org; Tue, 20 Oct 2020 08:02:33 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:33236) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kUqLK-0005yh-RP for guix-devel@gnu.org; Tue, 20 Oct 2020 08:02:18 -0400 Received: from mail-qt1-x834.google.com ([2607:f8b0:4864:20::834]:41827) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kUqLI-0005xy-G8 for guix-devel@gnu.org; Tue, 20 Oct 2020 08:02:18 -0400 Received: by mail-qt1-x834.google.com with SMTP id z33so959884qth.8 for ; Tue, 20 Oct 2020 05:02:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=luITJMAg/ux1ZmGF4cQTvSfHrTVV9U/QL22HXwEqUe4=; b=BV0pC1uvnKupJESzHj0WDSlRx/EaIeElPYWTtqYKtNSQ+Oxh92OowoWh1QJ95Y/0gF +Tx2hLubrif1/fcRn/+wkmg90kcGIYvyTpPms9yF+Ef35qZw4sZ1d+z5cQCOd/k5+y5Z 2ZmWtX94Cu4/kmjxcQKE9Cs09TV+jBLcn2YWNHkBgjsv6lnZAcG8fUiMhFJ6tt5z1XNQ PaC3Gbm1u6Dx3DZvUemxxBC7hvdG2qDAmuCTw84Nxz4lc+zs7W4b3iIPpc/bAby8wPTA oOwte8mYf2eqsaZTyQA7e7IVZNcamnkIIymqPDvsPQcelEL/DGyYAyqWPni/qcO8Vrk5 Ykjw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=luITJMAg/ux1ZmGF4cQTvSfHrTVV9U/QL22HXwEqUe4=; b=pngNxP9nrrpx7uJStv5rzXWqV4ln5gltWM3ZvR3I2OQgyF4REIvTeIRlVcFQcGk9Xb 7agZUl7nqBLAHKSejoXKwGzlX3v02yvYQJh3kW2b+HWuDbwHu03SbpvtJ/4wmS4KUzyS R2ELiHMRNHAwjkQFG56XC5bDdIyGFHqaem9yJcOIRZLWodb0eEO7Nv/jL6ago6Iy+dh0 kKvxPoiePWgpvVMEoe3n5gQRQgMLopqvmy9C5ZwrOxNEzqUQX5Kd90f00+FmMGH0O1LK QQxu5dlWNbBRifya8sicMxhhAPPBmwG1Qqh68d60FtqC6IwGkZzztL/ao3PRW4yBGPkY ZDGg== X-Gm-Message-State: AOAM532cwmBdk0lAWYPYMOXknFjmZHzWEY1QuEHv430Y0YxnB2l4S7lc ssXV6AGsehWSPl2pTBG7Mx/j7nrdP4S2ePWEEAU= X-Google-Smtp-Source: ABdhPJwnKMl4duSGmGxikVenlyya0qeca4zMvbK6ePcU/S+9F4Q99VEAcgrrArurf3ebAzCBGx4YJzB98Cu7LsnYklE= X-Received: by 2002:ac8:5b87:: with SMTP id a7mr2100275qta.186.1603195334873; Tue, 20 Oct 2020 05:02:14 -0700 (PDT) MIME-Version: 1.0 References: <875z7a78ww.fsf@gnu.org> <20201020103244.GB6805@jurong> <871rhtw3tq.fsf@elephly.net> In-Reply-To: <871rhtw3tq.fsf@elephly.net> From: zimoun Date: Tue, 20 Oct 2020 14:02:03 +0200 Message-ID: Subject: Re: Using #true and #false everywhere? To: Ricardo Wurmus Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2607:f8b0:4864:20::834; envelope-from=zimon.toutoune@gmail.com; helo=mail-qt1-x834.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 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=BV0pC1uv; 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: FkMDWj5HSo+W Hi Ricardo, On Tue, 20 Oct 2020 at 13:12, Ricardo Wurmus wrote: > Comparison with EQ? is rarely useful in the context of Guix, because we > usually don=E2=80=99t care about identity (=E2=80=9Cis the value behind t= his variable > name and the value behind this other variable name one and the same, > i.e. are the variables just aliases of an identical value?=E2=80=9D) but= about > equivalence (=E2=80=9Cdoes evaluating this expression lead to the same re= sult as > evaluating this other expression?=E2=80=9D). If you do not buy the 'eq?', maybe this one is more relevant: --8<---------------cut here---------------start------------->8--- $ guix repl GNU Guile 3.0.4 Copyright (C) 1995-2020 Free Software Foundation, Inc. Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w'. This program is free software, and you are welcome to redistribute it under certain conditions; type `,show c' for details. Enter `,help' for help. scheme@(guix-user)> ,use(guix packages) scheme@(guix-user)> ,use(gnu packages base) scheme@(guix-user)> (package? hello) $1 =3D #t --8<---------------cut here---------------end--------------->8--- So 'define-syntax define-record-type*' needs to be fixed to return #true... Well, to keep consistency it is not a small change and maybe now is not a good timing. All the best, simon