From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id qM4AOEqK4WJVDQAAbAwnHQ (envelope-from ) for ; Wed, 27 Jul 2022 20:56:10 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id EFrgN0qK4WJxigAAauVa8A (envelope-from ) for ; Wed, 27 Jul 2022 20:56:10 +0200 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 A7AA5B136 for ; Wed, 27 Jul 2022 20:56:10 +0200 (CEST) Received: from localhost ([::1]:56216 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oGmCX-00045j-Nu for larch@yhetil.org; Wed, 27 Jul 2022 14:56:09 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:49780) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oGmCQ-00045W-Ic for bug-guix@gnu.org; Wed, 27 Jul 2022 14:56:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39008) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oGmCQ-0003OY-8i for bug-guix@gnu.org; Wed, 27 Jul 2022 14:56:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oGmCQ-0005aV-0S for bug-guix@gnu.org; Wed, 27 Jul 2022 14:56:02 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#56799: (gnu services configuration) usage of *unspecified* is problematic Resent-From: Tobias Geerinckx-Rice Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Wed, 27 Jul 2022 18:56:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 56799 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Maxim Cournoyer Cc: 56799@debbugs.gnu.org, attila@lendvai.name Received: via spool by 56799-submit@debbugs.gnu.org id=B56799.165894814921455 (code B ref 56799); Wed, 27 Jul 2022 18:56:01 +0000 Received: (at 56799) by debbugs.gnu.org; 27 Jul 2022 18:55:49 +0000 Received: from localhost ([127.0.0.1]:56990 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oGmCC-0005Zy-J7 for submit@debbugs.gnu.org; Wed, 27 Jul 2022 14:55:48 -0400 Received: from tobias.gr ([80.241.217.52]:39474) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oGmC9-0005Zn-Uy for 56799@debbugs.gnu.org; Wed, 27 Jul 2022 14:55:47 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=2018; bh=K0gyKmP8Wupb5 Kyk9XdZqXgoOF5Gl16GFUyUX7QctPY=; h=in-reply-to:date:subject:cc:to: from:references; d=tobias.gr; b=cAgb/MQ1rvnUFnIy5Ai21acJZL6aNvcUVCQGHZ 7wlA5yLs5z/W9SXffYN9jwCJYColrx4mDM1meBagH6BbzGfBFMG2NhFuagyE9aGTUX5Dqh aw9hOVCvbH0exFqfyIfNFXqY/oTJfFl0XGUsV7wTB6XXMduISgnXKzkImZ3eEqnz0YHpAp oP5ikrgIadCxyRj14h/eq0AG4It7d+NZ0VyHhDCaDJFBJBH/kWsD38JAUVI1dlMT+cZzii yf6R6a8UVtgtNdRfuZ9n/FjnWhb9U936DwHE9lwjLKd+geFOAmI9Z1nEIPDwDYhU5cgn05 ufgn8c9CID1T/zmem5jRihNA== Received: by submission.tobias.gr (OpenSMTPD) with ESMTPSA id 2d5c7e9a (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Wed, 27 Jul 2022 18:55:40 +0000 (UTC) References: <87o7xa8qxt.fsf@gmail.com> <87a68uqz9r@nckx> <87fsim8l17.fsf@gmail.com> Date: Wed, 27 Jul 2022 20:45:19 +0200 In-reply-to: <87fsim8l17.fsf@gmail.com> BIMI-Selector: v=BIMI1; s=default; Message-ID: <87wnbypepu@nckx> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" Reply-to: Tobias Geerinckx-Rice From: Tobias Geerinckx-Rice via Bug reports for GNU Guix X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1658948170; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=K0gyKmP8Wupb5Kyk9XdZqXgoOF5Gl16GFUyUX7QctPY=; b=MUsUetYRFlisgBOck1NjBpdAQ221QIFwgMitpmsVpsjjSmlcOu9J47rU1OvD71VYOGz1GY qSYn1E0d0src3NSeGFwTkkthY5c8w4qgFDggrpLw5VDJ7HtDr3NCbjV1ddfbgqDGCWE8Qt mHH5Q24VaaCvOx+aBI9nYwubpOIbctHDdML6Q/clgAg3KX5+KViowX80wNGp3csPuSrgmY 8lPkETuYnLof/OjUZ5/gpb53IViixBuJ3OEcfQUxnn5bCayCw6JQB4ts+MZGc6wFwPxG7+ u8jUTocAld+wpTH8slK3dqlsByv8hHHDx+ANUkEHo/SEHFKI8bn81wQ66ugSJA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1658948170; a=rsa-sha256; cv=none; b=j38jyy2kAZvsJpQBw75CwJrQeD5QBIlGJaCKmSlrFTk4J8jHsz2P6pGWJRzNsS8uDlNK1U 0NuhMfUAZpd1PHGrGYfglvYz5I7+ESdx6FQK1nNr/AZeupRC/fW83N0n6boM+vG+YBxK1L JUTf/j163JMgTtu9V57K/2aNl0hEAvFhHy+vsobpzjxYYMlkXb5FeOBpU/HT089dYHo7Xi NDEBn9nyx+AxrjbcVf3fUnhvwSKeyfnNBrdYVl3veM+KYAIuhKiAICp6NIJJN57id7ppmo gwzIY5qSJjyBZJSBl8zGIixvmd9HmQNClAJNShohJvTuhoNGMNPAxBrJzLoWFg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=tobias.gr header.s=2018 header.b="cAgb/MQ1"; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -5.53 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=tobias.gr header.s=2018 header.b="cAgb/MQ1"; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: A7AA5B136 X-Spam-Score: -5.53 X-Migadu-Scanner: scn0.migadu.com X-TUID: p9400mlUvFSB --=-=-= Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable Hi Maxim, Maxim Cournoyer =E5=86=99=E9=81=93=EF=BC=9A > For some background reading, see [0]. Thanks for the well-thought-out reply, and sharing this=20 interesting link! Now, it's just the musings of one person, but now I think I do=20 agree with (what I think is) the underlying vision: to hush up=20 *unspecified* and sneakily replace it with true nothingness. OK,=20 I can live with that. :-) > I think the semantic of the language is that it is to be used as=20 > the > lack of a return value from a procedure or syntax, e.g.: > > (unspecified? (if #f 'one-arm-if)) -> #t Well=E2=80=A6 in the above context I'd hesitate to even imply =E2=80=98sema= ntics=E2=80=99.=20 It's like undefined behaviour in C. Ascribe it meaning at your=20 peril. Otherwise, point taken. > Having 'unspecified?' even defined in Guile seems to go against=20 > that > idea; perhaps because Wingo themselves seems to disagree in [0]. Agreed. *This* was one of my reasons for supporting (field=20 *unspecified*), so it's nice to have it validated, even if it is=20 rejected. > I'm also thinking 'unspecified being too close to *unspecified*=20 > is > probably going to cause confusion down the line. Reverting to=20 > the > originally used 'disabled may be the lesser evil. Ah, here I can concentrate all my previous disagreement: hell no=20 :-) It is the worstest evil; literally anything is better than=20 (enable-foo? 'disabled) defaulting to #t. Bikeshed this all y'all want, but 'default or 'unset or 'whatever=20 are miles better. Kind regards, T G-R --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIMEARYKACsWIQT12iAyS4c9C3o4dnINsP+IT1VteQUCYuGKPQ0cbWVAdG9iaWFz LmdyAAoJEA2w/4hPVW15G54A/iMdVlrz9+loBRLqgm70RVbxh47GJhUBjJyuoEsl wSE2AQCUtLW3onLxfpc16g8mae9+654tiwvVLhkuZReHilSxAQ== =t/ZF -----END PGP SIGNATURE----- --=-=-=--