Re: Status of recirculation ballot
On 2015-04-14 09:53:36 -0400, Michel Hack wrote:
> (1) I think Vincent's "technical" comments should be considered editorial,
> especially his r01.4 about non-negative -> natural, as the intent is
> clear. It would indeed be technical if it was not contradicted by the
> later Table 9.5.
Yes, since the intent is clear, it can be regarded as editorial, IMHO.
> (2) I actually disagree with his comment about 9.7.5, All-flavor decorated
> interval literals. The decoration "com" is only required when more
> than one flavor is supported. A single-flavor implementation can still
> use all-flavor literals, but it would use its flavor-specific applicable
> decoration if it does not support "com".
The "com" decoration must always be supported. See §7.1d:
There is a flavor-defined set of intervals of the flavor that, in
the sense defined in 7.2, contains the common intervals as a subset.
There is a flavor-defined finite set of decorations as described in
Clause 8; in particular it includes the com decoration. A decorated
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
interval is a pair (interval, decoration).
and §8.2:
These are flavor-defined, except for the decoration com, see 8.3.
and §8.3:
NOTE---com is the only decoration that shall have the same meaning
in all flavors.
(though it could be bad wording for the last two cases) and §9.7.1:
An all-flavor literal shall have the value defined here (modulo
the embedding map if it is an interval literal) in all flavors.
An all-flavor interval literal denotes a common interval; if
decorated it has the decoration com.
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.
So, what is the intent?
--
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)