Re: Status of recirculation ballot
On 2015-04-14 17:22:37 +0200, Vincent Lefevre wrote:
> There seems to be a problem with the first paragraph or §8.3:
>
> A flavor may provide the decoration com with the following
> propagation rule for library arithmetic operations. In an
> implementation with more than one flavor, each flavor shall
> do so.
After some thoughts, this doesn't seem to make sense. The
specification of a flavor doesn't depend on an implementation.
This means that any flavor shall support com. However, as a
special case, one may decide to allow an *implementation* of
a flavor not to support com. But one needs to check whether
this can yield a contradiction.
BTW, all-flavor literals would not make much sense in an
implementation that doesn't support com.
--
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)