Re: [Scheme-reports] R7RS draft 8 available Mark H Weaver (08 Dec 2012 06:36 UTC)
Re: [Scheme-reports] R7RS draft 8 available Alex Shinn (08 Dec 2012 06:45 UTC)

Re: [Scheme-reports] R7RS draft 8 available Mark H Weaver 08 Dec 2012 06:35 UTC

Alex Shinn <alexshinn@gmail.com> writes:
> http://trac.sacrideo.us/wg/raw-attachment/wiki/WikiStart/r7rs-draft-8.pdf
>
> This includes typos and changes suggested
> by the community from the 7th draft, as well
> as changing the definition of eqv? on inexact
> numbers to the style of R6RS operational
> equivalence.

Thank you for revisiting 'eqv?'.  I am pleased with the new semantics.
However, there are some serious flaws in the precise wording.

Most importantly, 'eqv?' is now completely unspecified for non-real
inexact numbers.  The R6RS used the operational equivalence language for
_all_ inexact numbers, but here you have restricted those clauses to the
inexact reals.

This wording also does not address the many known problems with the R6RS
definition, such as the NaN problem that you discovered, the
circularity, and several other problems which were addressed by my
definition.  It would be better if these problems were fixed somehow,
but I don't care enough to push this issue any further.

Anyway, thanks again for your work on the R7RS.

     Mark

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports