Re: Equality predicates, signed zeroes, R5RS and R6RS

2011-02-02 Thread Andy Wingo
On Mon 31 Jan 2011 20:53, Mark H Weaver writes: > Given that everyone agrees that `eqv?' must distinguish 0 from 0.0, it > is already not useful as a numerical `='. Any program that uses it this > way is asking for trouble. Therefore, I don't have qualms about keeping > our existing behavior, n

Re: Equality predicates, signed zeroes, R5RS and R6RS

2011-01-31 Thread Mike Gran
> From:Mark H Weaver > To:Mike Gran > Cc:"guile-devel@gnu.org" > Sent:Monday, January 31, 2011 2:42 PM > Subject:Re: Equality predicates, signed zeroes, R5RS and R6RS > > Mike Gran writes: > > As an aside, as of a couple of months ago, it was possible to create > > the following seven versions

Re: Equality predicates, signed zeroes, R5RS and R6RS

2011-01-31 Thread Mark H Weaver
Mike Gran writes: > As an aside, as of a couple of months ago, it was possible to create > the following seven versions of zero in Guile using the default reader. > > 0, ±0.0, ±0.0±0.0i Really? I don't understand how this could have happened. mem2complex uses scm_make_rectangular to create com

Re: Equality predicates, signed zeroes, R5RS and R6RS

2011-01-31 Thread Mike Gran
> From:Mark H Weaver > To:guile-devel@gnu.org > Cc:Andy Wingo ; Taylor R Campbell > Sent:Monday, January 31, 2011 11:53 AM > Subject:Equality predicates, signed zeroes, R5RS and R6RS > > An issue has come to my attention that deserves wider discussion. > > Since at least Guile 1.8, (= 0.0 -0.0