[cfp-interest 3369] Fwd: [SC22WG14.28504] 2024/12/01 Thomas, Proposal for C2Y - Improved treatment of error conditions for functions that round result to narrow type

[Jim Thomas]

> Begin forwarded message:
> 
> From: Christopher Bazley <chris.bazley.wg14 at gmail.com>
> Subject: [SC22WG14.28504] 2024/12/01 Thomas, Proposal for C2Y - Improved treatment of error conditions for functions that round result to narrow type
> Date: February 9, 2025 at 9:20:33 AM MST
> To: wg14 <sc22wg14 at open-std.org>
> 
> Sorry but I really don't like the new wording proposed by this paper.
> I'm not entirely convinced it is grammatically correct, but more
> importantly, I do not think it is easy to understand correctly.
> 
> To take one example, the paper proposes to replace "A domain error may
> occur for infinite arguments" with "A domain error may occur for both
> arguments infinite and either with the same sign or unsigned."
> 
> The above text is supposed to describe functions such as
> float fsub(double x, double y);
> better than the current description.
> 
> I find it unclear whether "both arguments infinite" means x=infinity
> and y=infinity, or "both" of the following conditions:
> - infinite
> - with the same sign or unsigned
> 
> Does "either" refer to either argument, or either with the same sign
> or unsigned?
> 
> I think the wording should be reworked, if others are similarly confused.
> 
> Chris

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.oakapple.net/pipermail/cfp-interest/attachments/20250209/ad81620d/attachment.htm>