On 2012-01-11, at 10:20, John Cowan wrote:

> Vincent Manis scripsit:
>
>> Sec 6.2.2 states `Rational operations such as + should always produce
>> exact results when given exact arguments. If the operation is unable
>> to produce an exact result, then it may either report the violation
>> of an implementation restriction or it may silently coerce its result
>> to an inexact value. See section 6.2.3.'
>
> I've thought about your objection, but I don't like your "attempt to"
> wording, which suggests to me that an attempt must be made and fail,
> rather than allowing a test to be made in advance.  I'm inclined
> not to make a change, then.

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

-- vincent

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