[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#54293] [WIP] home: Add home-git-service-type
From: |
Ludovic Courtès |
Subject: |
[bug#54293] [WIP] home: Add home-git-service-type |
Date: |
Tue, 29 Mar 2022 15:56:25 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Maxime Devos <maximedevos@telenet.be> skribis:
> iyzsong@outlook.com schreef op za 12-03-2022 om 10:22 [+0800]:
>> + (user.name
>> + (git-option-value *unspecified*))
>
> I think *unspecified* is considered an implementation detail.
Yes, but it may be useful to be able to distinguish between “not
specified” and “false”.
To do that you can either use ‘*unspecified*’ or some other unique
value that you’d compare with ‘eq?’, say:
(define ¬-specified (list 'not 'specified))
(define (specified? value)
(not (eq? value ¬-specified)))
But really, ‘*unspecified*’ is okay IMO.
Ludo’.
- [bug#54293] [WIP] home: Add home-git-service-type, (continued)
- [bug#54293] [WIP] home: Add home-git-service-type, Maxime Devos, 2022/03/07
- [bug#54293] [WIP] home: Add home-git-service-type, Maxime Devos, 2022/03/07
- [bug#54293] [WIP] home: Add home-git-service-type, Maxime Devos, 2022/03/07
- [bug#54293] [WIP] home: Add home-git-service-type, Maxime Devos, 2022/03/07
- [bug#54293] [PATCH v2] home: Add home-git-service-type., iyzsong, 2022/03/11
- [bug#54293] [PATCH v2] home: Add home-git-service-type., Maxime Devos, 2022/03/12
- [bug#54293] [PATCH v2] home: Add home-git-service-type., Maxime Devos, 2022/03/12
- [bug#54293] [WIP] home: Add home-git-service-type,
Ludovic Courtès <=
- [bug#54293] [PATCH v2] home: Add home-git-service-type., Maxime Devos, 2022/03/12
- [bug#54293] [PATCH v2] home: Add home-git-service-type., Maxime Devos, 2022/03/12
- [bug#54293] [PATCH v2] home: Add home-git-service-type., Maxime Devos, 2022/03/12
- [bug#54293] [PATCH v2] home: Add home-git-service-type., Maxime Devos, 2022/03/12
- [bug#54293] [PATCH v2] home: Add home-git-service-type., Maxime Devos, 2022/03/12
- [bug#54293] [PATCH v2] home: Add home-git-service-type., Maxime Devos, 2022/03/12
- [bug#54293] [PATCH v2] home: Add home-git-service-type., Maxime Devos, 2022/03/12
- [bug#54293] [PATCH v2] home: Add home-git-service-type., Maxime Devos, 2022/03/12
- [bug#54293] [PATCH v2] home: Add home-git-service-type., Maxime Devos, 2022/03/12
- [bug#54293] [PATCH v2] home: Add home-git-service-type., Maxime Devos, 2022/03/12