From mboxrd@z Thu Jan 1 00:00:00 1970
Return-Path:
Received: from mp10.migadu.com ([2001:41d0:2:4a6f::])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits))
by ms5.migadu.com with LMTPS
id 8HM6NDJm4mKEDAEAbAwnHQ
(envelope-from )
for ; Thu, 28 Jul 2022 12:34:26 +0200
Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits))
by mp10.migadu.com with LMTPS
id SAtWMzJm4mKQSwEAG6o9tA
(envelope-from )
for ; Thu, 28 Jul 2022 12:34:26 +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 24FA610921
for ; Thu, 28 Jul 2022 12:34:26 +0200 (CEST)
Received: from localhost ([::1]:46150 helo=lists1p.gnu.org)
by lists.gnu.org with esmtp (Exim 4.90_1)
(envelope-from )
id 1oH0qX-0000K0-3o
for larch@yhetil.org; Thu, 28 Jul 2022 06:34:25 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10]:48630)
by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.90_1) (envelope-from )
id 1oH0jO-00043A-MC
for bug-guix@gnu.org; Thu, 28 Jul 2022 06:27:04 -0400
Received: from debbugs.gnu.org ([209.51.188.43]:39715)
by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
(Exim 4.90_1) (envelope-from )
id 1oH0jO-0004VJ-14
for bug-guix@gnu.org; Thu, 28 Jul 2022 06:27:02 -0400
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
(envelope-from ) id 1oH0jN-0000De-Sq
for bug-guix@gnu.org; Thu, 28 Jul 2022 06:27:01 -0400
X-Loop: help-debbugs@gnu.org
Subject: bug#56799: (gnu services configuration) usage of *unspecified* is
problematic
Resent-From: Maxime Devos
Original-Sender: "Debbugs-submit"
Resent-CC: bug-guix@gnu.org
Resent-Date: Thu, 28 Jul 2022 10:27: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: bokr@bokr.com, Maxim Cournoyer
Cc: 56799@debbugs.gnu.org, attila@lendvai.name,
Tobias Geerinckx-Rice
Received: via spool by 56799-submit@debbugs.gnu.org id=B56799.1659003967758
(code B ref 56799); Thu, 28 Jul 2022 10:27:01 +0000
Received: (at 56799) by debbugs.gnu.org; 28 Jul 2022 10:26:07 +0000
Received: from localhost ([127.0.0.1]:57697 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from )
id 1oH0iU-0000C9-Mw
for submit@debbugs.gnu.org; Thu, 28 Jul 2022 06:26:07 -0400
Received: from albert.telenet-ops.be ([195.130.137.90]:59358)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from ) id 1oH0iS-0000C0-JN
for 56799@debbugs.gnu.org; Thu, 28 Jul 2022 06:26:05 -0400
Received: from [IPV6:2a02:1811:8c09:9d00:5dba:d409:33f7:a16]
([IPv6:2a02:1811:8c09:9d00:5dba:d409:33f7:a16])
by albert.telenet-ops.be with bizsmtp
id 0aS12800720ykKC06aS1Zi; Thu, 28 Jul 2022 12:26:02 +0200
Message-ID:
Date: Thu, 28 Jul 2022 12:26:00 +0200
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101
Thunderbird/91.11.0
Content-Language: en-US
References: <87o7xa8qxt.fsf@gmail.com> <87a68uqz9r@nckx>
<87fsim8l17.fsf@gmail.com> <20220728045506.GA9725@LionPure>
From: Maxime Devos
In-Reply-To: <20220728045506.GA9725@LionPure>
Content-Type: multipart/signed; micalg=pgp-sha256;
protocol="application/pgp-signature";
boundary="------------nh0yi0j04GzjK1bQ5gzHekkr"
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22;
t=1659003962; bh=xhMwXbtwOSkUDuGGOYD1N/FA3PeiCwjulGrQvDiYlAY=;
h=Date:To:Cc:References:From:Subject:In-Reply-To;
b=d7b3em5oGQGOv8Z0tRVpuFxwg4+oMhEvnt/bjc8L2c13XpYEFsdFEXDCBNVdlwP7L
9jV/GF3YX0eQ0M6wX4a613jBC7CcjMgdWT/mGJTBDthaAgEoGo4KMr0d3PV+UMCEOt
YFvNQon7Ge3OLSrOv7NiS15vdBiYLF3v8qHBc1I6jit7gLI+m55sRVww5/kH0f0OFh
Go0UBSJRYM+hkvpItaUolv+5SgpVCZDokqA+raw5WfvW9kgq12qv3crFVww3LOeYQ1
w/+QzuA8/qduUDk08HlmFyHDDuskRCF/FTJ0ORlWFGLQT9Q/kHxdvhCQb9y1eyEB5W
8VGFzLytiBjhg==
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"
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=1659004466;
h=from:from:sender:sender: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=UcgaTJvLGPJpxu6VOqSdVTpaefY8vyVzNruQjim4a0Y=;
b=hFkYtyrd+2/DZXKMCWejyLv0rKE2xY1mKQSf8CBBGz59nE6LgPiREVGzBeQowPqjpDsIwu
Svl/fUKQ9CPZiPdVb+fOB306hRzaCLGGmkXLVkq6Rc4a4eu0f9/je436L/U72VKR+JnSOd
AKER2GXAmsC9//UlqTxIQhcBWkx+2/0qcI/w3PDQKFw0BD9nFGnfSgoPlk/MBkCNaVLrjm
iBFNEWKi9R3OjrzaXyWPCtDPp32uZOkGQmG8odaKryegCPgecXsgXbbSEfq7oQ2cD2Z/n2
XvnHKDgo3dyvj61faPzLGEtb2Kr+n5FD32dBJT+Ehu/PJpKC9n9+xaTS94ZPQQ==
ARC-Seal: i=1; s=key1; d=yhetil.org; t=1659004466; a=rsa-sha256; cv=none;
b=c3agjzDrxZAyk3wJdCdcpCvHwB7Fn4tHRe2G7qR2LVeBBTBCnGlhQKysFgqrahIGn21yRq
iLw74MiSpMVciB1GQpnsXpD81YbdaDM1KW+TcMCqe7GGTbPQqIjxq9vUzcb/okTRh3kFT/
WaAYOQSwGORMAsdRnvjZZuwW5fNhS9ckyew1xBWaVZXJUpzPp0CEdSuHNJXO6e0r3E+bbE
nKE5pncSXEsAZaSHs9U13lW7FM1Z1opb+jHljvmBPDdkjgzFJjgxa8Tyia+cbDFH1gvM6W
YFIV8fbcd4rgytSZkcD7JnKpg4X8Dd/ngVHk8sgaA9VnWUrRktE38S9J17RaXA==
ARC-Authentication-Results: i=1;
aspmx1.migadu.com;
dkim=fail ("body hash did not verify") header.d=telenet.be header.s=r22 header.b=d7b3em5o;
dmarc=fail reason="SPF not aligned (relaxed)" header.from=telenet.be (policy=none);
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.67
Authentication-Results: aspmx1.migadu.com;
dkim=fail ("body hash did not verify") header.d=telenet.be header.s=r22 header.b=d7b3em5o;
dmarc=fail reason="SPF not aligned (relaxed)" header.from=telenet.be (policy=none);
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: 24FA610921
X-Spam-Score: 5.67
X-Migadu-Scanner: scn1.migadu.com
X-TUID: gUsk6nxloVeb
This is an OpenPGP/MIME signed message (RFC 4880 and 3156)
--------------nh0yi0j04GzjK1bQ5gzHekkr
Content-Type: multipart/mixed; boundary="------------JfVKqMKliTFLSNdIEmlNuMin";
protected-headers="v1"
From: Maxime Devos
To: bokr@bokr.com, Maxim Cournoyer
Cc: 56799@debbugs.gnu.org, attila@lendvai.name,
Tobias Geerinckx-Rice
Message-ID:
Subject: Re: bug#56799: (gnu services configuration) usage of *unspecified* is
problematic
References: <87o7xa8qxt.fsf@gmail.com> <87a68uqz9r@nckx>
<87fsim8l17.fsf@gmail.com> <20220728045506.GA9725@LionPure>
In-Reply-To: <20220728045506.GA9725@LionPure>
--------------JfVKqMKliTFLSNdIEmlNuMin
Content-Type: multipart/mixed; boundary="------------785fQ0i13ZkShp6EYKUjt5xB"
--------------785fQ0i13ZkShp6EYKUjt5xB
Content-Type: multipart/alternative;
boundary="------------ZFCmXJGQGFal1bgURxnYJqIA"
--------------ZFCmXJGQGFal1bgURxnYJqIA
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: base64
DQpPbiAyOC0wNy0yMDIyIDA2OjU1LCBib2tyQGJva3IuY29tIHdyb3RlOg0KPiBMb3RzIG9m
IHN5c3RlbXMgYXJlIGRlYWxpbmcgd2l0aCB0aGlzIGlzc3VlLCBpdCBzZWVtcywganVkZ2lu
ZyBmcm9tDQo+IFsxXWh0dHBzOi8vZW4ud2lraXBlZGlhLm9yZy93aWtpL0JvdHRvbV90eXBl
DQoNCkkgZG9uJ3QgdGhpbmsgaXQncyBhIGJvdHRvbSB0eXBlIC0tICp1bnNwZWNpZmllZCog
X2lzXyBhIHZhbHVlLCBzbyBpZiB3ZSANCmFzc2lnbiBhIHR5cGUgdG8gaXQsIGl0IGlzIGlu
aGFiaXRlZCwgYW5kIGhlbmNlIG5vdCBhIGJvdHRvbSB0eXBlLiBJDQoNCj4gV2hhdCBhYm91
dCB1c2luZyBjaGFyYWN0ZXJzIGZyb20gc29tZSBwcml2YXRlIHVwcGVyIHVuaWNvZGUgc2Vj
dGlvbg0KPiB0byByZXByZXNlbnQgdmFyaW91cyBraW5kcyBvZiB1bnNwZWNpZmllZCB0aGlu
Z3M/IEUuZy4sDQo+IGFzIGd1aWxlIG5hbWVkIGNoYXJzLA0KPg0KPiAjXHVuc3BlY2lmaWVk
X2Z1bmN0aW9uX3JldHZhbA0KPiAjXHVuc3BlY2lmaWVkX2Z1bmN0aW9uX2Vycm9yDQo+ICNc
dW5zcGVjaWZpZWRfbWFjcm9fZXJyDQo+ICNcdW5zcGVjaWZpZWRfZXhjZXB0aW9uDQogwqBz
dXBwb3NlIHlvdSBjb3VsZCBzdWJkaXZpZGUgdGhlICp1bnNwZWNpZmllZCogdmFsdWUsIGJ1
dCB3aHkgY2hhcmFjdGVycz8NCg0KSSB0aGluayBpdCB3b3VsZCBiZSBiZXR0ZXIgdG86DQoN
CiAgKiBncmFkdWFsbHkgbW92ZSBhd2F5IGZyb20gKnVuc3BlY2lmaWVkKiB0byAodmFsdWVz
KQ0KICAqIGFuZCB0aGlzIHdheSwgZ3JhZHVhbGx5IGNoYW5nZSB0aGUgbWVhbmluZyBvZiAq
dW5zcGVjaWZpZWQqIGZyb20gImFuDQogICAgdW5zcGVjaWZpZWQgdmFsdWUiIHRvICdhbiBh
dG9tIHlvdSBjYW4gZG8gd2l0aCBhcyB5b3Ugd2FudCINCiAgKiBhZnRlciB0aGlzLCB1bnNw
ZWNpZmllZD8gYW5kIG1ha2luZyAjPHVuc3BlY2lmaWVkPiByZWFkYWJsZSBieSB0aGUNCiAg
ICByZWFkZXIgYXJlbid0IHdlaXJkIGFueW1vcmUNCg0KdGhvdWdoIG1vcmUgc29tZXRoaW5n
IGZvciBndWlsZS1kZXZlbEAgSSBzdXBwb3NlLg0KDQpHcmVldGluZ3MsDQpNYXhpbWUNCg0K
--------------ZFCmXJGQGFal1bgURxnYJqIA
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Lots of systems are dealing =
with this issue, it seems, judging from
[1] https://en.wikipedia.org/wiki/B=
ottom_type
I don't think it's a bottom type -- *unspecified* _is_ a value,
so if we assign a type to it, it is inhabited, and hence not a
bottom type. I
What about using character=
s from some private upper unicode section
to represent various kinds of unspecified things? E.g.,
as guile named chars,
#\unspecified_function_retval
#\unspecified_function_error
#\unspecified_macro_err
#\unspecified_exception
=C2=A0suppose you could subdivide the *unspecified* value, but why
characters?
I think it would be better to:
- gradually move away from *unspecified* to (values)
- and this way, gradually change the meaning of *unspecified*
from "an unspecified value" to 'an atom you can do with as you
want"
- after this, unspecified? and making #<unspecified>
readable by the reader aren't weird anymore
though more something for guile-devel@ I suppose.
Greetings,
Maxime
--------------ZFCmXJGQGFal1bgURxnYJqIA--
--------------785fQ0i13ZkShp6EYKUjt5xB
Content-Type: application/pgp-keys; name="OpenPGP_0x49E3EE22191725EE.asc"
Content-Disposition: attachment; filename="OpenPGP_0x49E3EE22191725EE.asc"
Content-Description: OpenPGP public key
Content-Transfer-Encoding: quoted-printable
-----BEGIN PGP PUBLIC KEY BLOCK-----
xjMEX4ch6BYJKwYBBAHaRw8BAQdANPb/d6MrGnGi5HyvODCkBUJPRjiFQcRU5V+m
xvMaAa/NL01heGltZSBEZXZvcyA8bWF4aW1lLmRldm9zQHN0dWRlbnQua3VsZXV2
ZW4uYmU+wpAEExYIADgWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCX4ch6AIbAwUL
CQgHAwUVCgkICwUWAgMBAAIeAQIXgAAKCRBJ4+4iGRcl7japAQC3opZ2KGWzWmRc
/gIWSu0AAcfMwyinFEEPa/QhUt2CogD/e2RdF4CYAgaRHJJmZ9WU7piKbLZ7llB4
LzgezVDHggzNJU1heGltZSBEZXZvcyA8bWF4aW1lZGV2b3NAdGVsZW5ldC5iZT7C
kAQTFggAOBYhBMHzPuIMUo/bfdcBH0nj7iIZFyXuBQJf56ycAhsDBQsJCAcDBRUK
CQgLBRYCAwEAAh4BAheAAAoJEEnj7iIZFyXujpQBAKV1SwDDl4f24rXciDlB9L8W
ycZt30CgbewMSRQk4mvbAP9dFMbVVixYBd6C8cfhR+NsOBGiOJnQABlUmgNuqGFJ
Dc44BF+HIegSCisGAQQBl1UBBQEBB0BOlzIWiJzgobMF6/cqwLaLk7jIcFSZ++c0
k9cCNT6YXwMBCAfCeAQYFggAIBYhBMHzPuIMUo/bfdcBH0nj7iIZFyXuBQJfhyHo
AhsMAAoJEEnj7iIZFyXuMr0BAJc8cl5PGvVmVuSQVKjleNl4DK1/XAaPAYPe34AE
fZJPAP9IqLCQhH/FeJanHqBP8gNdGNI2qn8RnnLVfRJgUjZ1BA=3D=3D
=3DOVqp
-----END PGP PUBLIC KEY BLOCK-----
--------------785fQ0i13ZkShp6EYKUjt5xB--
--------------JfVKqMKliTFLSNdIEmlNuMin--
--------------nh0yi0j04GzjK1bQ5gzHekkr
Content-Type: application/pgp-signature; name="OpenPGP_signature.asc"
Content-Description: OpenPGP digital signature
Content-Disposition: attachment; filename="OpenPGP_signature"
-----BEGIN PGP SIGNATURE-----
wnsEABYIACMWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYuJkOAUDAAAAAAAKCRBJ4+4iGRcl7qiF
AP9Xl1LqKDm5KPwgEcLWXiLBaRaA0UIydtMSQq9LzsRiKQD8D8LSdV09C7C5c2dyy0aYGKIQt/MK
w8L3G5dGZfFaygw=
=fxpW
-----END PGP SIGNATURE-----
--------------nh0yi0j04GzjK1bQ5gzHekkr--