On Sun, Jul 16, 2017 at 9:10 AM, Marc Nieper-Wißkirchen <xxxxxx@nieper-wisskirchen.de> wrote:

For R6RS, (real? 0.0+i0.0) should return #f, for R7RS, it should return #t (as long as (zero? 0.0) evaluates to #t).

Will Clinger holds, based on the examples, that R7RS permits but does not require the R6RS interpretation, and that's the one that Larceny gives.  Personally I think that examples are merely informative and not normative, but there is no way to resolve this at present, short of reconvening WG1.

-- 
John Cowan          http://vrici.lojban.org/~cowan        xxxxxx@ccil.org
Objective consideration of contemporary phenomena compel the conclusion
that optimum or inadequate performance in the trend of competitive
activities exhibits no tendency to be commensurate with innate capacity,
but that a considerable element of the unpredictable must invariably be
taken into account. --Ecclesiastes 9:11, Orwell/Brown version