Vincent Manis scripsit:

> How about `Rational operations such as + should always produce exact
> results where possible when given exact arguments'?

On reflection, I think the definition of SHOULD does cover this.
"There may exist valid reasons in particular circumstances [for an
implementation] to ignore a particular item", namely that it does not
allow arbitrarily large exact numbers.

--
John Cowan  cowan@ccil.org   http://ccil.org/~cowan
Assent may be registered by a signature, a handshake, or a click of a computer
mouse transmitted across the invisible ether of the Internet. Formality
is not a requisite; any sign, symbol or action, or even willful inaction,
as long as it is unequivocally referable to the promise, may create a contract.
       --Specht v. Netscape

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