Brian Mastenbrook scripsit:

> Programs which a required integer range will either work correctly on  
> a given Scheme, or fail to run immediately because the implementation  
> does not support the range of exact integers that is required for the  
> program - but in no case would a program's meaning be dependent on an  
> implementation-specified integer range.

That strikes me as over-specification.  Most people in other languages
don't worry much about the range of the largest kind of fixnums they have,
and it should not be a requirement that Scheme implementations signal
an error on fixnum overflow -- returning an inexact result should still
be fine.

But that does mean that it's acceptable to return either exact or inexact
2^24 when you add 2^23 to 2^23, which seems to count as meaning "dependent
on an implementation-specified integer range".

-- 
John Cowan  <[email protected]>  http://www.ccil.org/~cowan
        Raffiniert ist der Herrgott, aber boshaft ist er nicht.
                --Albert Einstein

_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss

Reply via email to