Re: Status of recirculation ballot
On 2015-04-14 11:44:36 -0400, Michel Hack wrote:
> On Tue, 14 Apr 2015 17:43:22 +0200, Vincent wrote, regarding my
> suggestion of:
> >> Its value is x_com, or, in
> >> a single-flavor implementation that does not support "com", that
> >> flavor's equivalent decoration.
>
> > Shouldn't this sentence be rewritten with newDec, as the following?
> > Its value is newDec(x).
>
> Yes, that would be better. I had been wondering whether to mention
> newDec(), and this is the right way to do that.
Actually this introduces a change, because for any no-yet specified
flavor, if x is common, newDec(x) is not required to return x_com.
So, perhaps:
Its value is x_com, or, in a single-flavor implementation that does
not support "com", newDec(x).
--
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)