Re: Status of recirculation ballot
On 2015-04-14 11:44:36 -0400, Michel Hack wrote:
> The more contentious issue is whether "com" should be required of
> all flavors. I'll address that issue next.
If "com" is not required, then §9.6 should be clarified:
The function newDec adds a decoration to a bare interval x:
newDec(x) = x_d
where d depends on x and the flavor [...]
The reason is that the result of newDec(x) can differ, as depending on
whether an implementation supports a single flavor or several flavors.
So, d would also depend on the implementation.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)