Re: [Scheme-reports] [scheme-reports-wg1] Digest for scheme-reports-wg1@googlegroups.com - 13 Messages in 5 Topics
Alex Shinn 09 Aug 2012 22:52 UTC
On Fri, Aug 10, 2012 at 6:45 AM, Noah Lavine <noah.b.lavine@gmail.com> wrote:
>
> However, I would not claim that my definition got that right. Maybe
> Emmanuel's is better, if it's worded like this:
>
> Two objects are eqv? if either they are the same location (i.e. they
> are eq?), or they are different locations but a) contain the same
> value and b) could never be mutated to contain different values.
You're begging the question - the task is to specify
what "the same value" means.
--
Alex
_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports