[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Bug in documentation for eq? ?
From: |
Andy Wingo |
Subject: |
Re: Bug in documentation for eq? ? |
Date: |
Wed, 20 Jun 2012 16:22:43 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux) |
On Wed 20 Jun 2012 15:41, Noah Lavine <address@hidden> writes:
> I believe David's claim is that Guile should guarantee that a variable
> is eq? to itself, even though the standard doesn't.
We could guarantee this, but it would prevent a number of interesting
and permissible optimizations, for questionable semantic value. You
should not consider variables as having identity, only values. Numbers
do not have identity, so Guile can do with them as it pleases.
Andy
--
http://wingolog.org/
- Bug in documentation for eq? ?, David Kastrup, 2012/06/20
- Re: Bug in documentation for eq? ?, Andy Wingo, 2012/06/20
- Re: Bug in documentation for eq? ?, David Kastrup, 2012/06/20
- Re: Bug in documentation for eq? ?, David Kastrup, 2012/06/20
- Re: Bug in documentation for eq? ?, Andy Wingo, 2012/06/20
- Re: Bug in documentation for eq? ?, Noah Lavine, 2012/06/20
- Re: Bug in documentation for eq? ?,
Andy Wingo <=
- Re: Bug in documentation for eq? ?, David Kastrup, 2012/06/20
- Re: Bug in documentation for eq? ?, Andy Wingo, 2012/06/20
- Re: Bug in documentation for eq? ?, David Kastrup, 2012/06/20
- Re: Bug in documentation for eq? ?, David Kastrup, 2012/06/20
- Re: Bug in documentation for eq? ?, Andy Wingo, 2012/06/20
- Re: Bug in documentation for eq? ?, David Kastrup, 2012/06/20
- Re: Bug in documentation for eq? ?, Andy Wingo, 2012/06/20
- Re: Bug in documentation for eq? ?, Pierpaolo Bernardi, 2012/06/20
- Re: Bug in documentation for eq? ?, David Kastrup, 2012/06/20