[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Using #true and #false everywhere?
From: |
zimoun |
Subject: |
Re: Using #true and #false everywhere? |
Date: |
Tue, 20 Oct 2020 14:02:03 +0200 |
Hi Ricardo,
On Tue, 20 Oct 2020 at 13:12, Ricardo Wurmus <rekado@elephly.net> wrote:
> Comparison with EQ? is rarely useful in the context of Guix, because we
> usually don’t care about identity (“is the value behind this 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?”) but about
> equivalence (“does evaluating this expression lead to the same result as
> evaluating this other expression?”).
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 = #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
- Re: Using #true and #false everywhere?, (continued)
- Re: Using #true and #false everywhere?, Ludovic Courtès, 2020/10/21
- Re: Using #true and #false everywhere?, Andreas Enge, 2020/10/20
- Re: Using #true and #false everywhere?, Ludovic Courtès, 2020/10/21
- Re: Using #true and #false everywhere?, Andreas Enge, 2020/10/21
- Re: Using #true and #false everywhere?, Ludovic Courtès, 2020/10/21
- Re: Using #true and #false everywhere?, Roel Janssen, 2020/10/21
Re: Using #true and #false everywhere?, Vagrant Cascadian, 2020/10/16
Re: Using #true and #false everywhere?, Danny Milosavljevic, 2020/10/16
Re: Using #true and #false everywhere?, Andreas Enge, 2020/10/20
- Re: Using #true and #false everywhere?, Ricardo Wurmus, 2020/10/20
- Re: Using #true and #false everywhere?,
zimoun <=
- Re: Using #true and #false everywhere?, Tobias Geerinckx-Rice, 2020/10/20
- Re: Using #true and #false everywhere?, zimoun, 2020/10/20
- Re: Using #true and #false everywhere?, Tobias Geerinckx-Rice, 2020/10/20
- Re: Using #true and #false everywhere?, zimoun, 2020/10/20
- Re: Using #true and #false everywhere?, Taylan Kammer, 2020/10/20
Re: Using #true and #false everywhere?, Mark H Weaver, 2020/10/20
Re: Using #true and #false everywhere?, Ricardo Wurmus, 2020/10/21
Re: Using #true and #false everywhere?, Ludovic Courtès, 2020/10/21
Re: Using #true and #false everywhere?, zimoun, 2020/10/20