Revised Clause 7 "Flavors"
On editorial question for 7.5.3 item 3 (b): It should always be permitted
to return a weaker decoration than the theoretical Level 1 value, so instead
of "is com" I would say "is com, or weaker". Then add:
If the Level 1 decoration can be com, the Level 2 decoration should be
com, but depending on the computation sequence it may not be possible
to guarantee this, in which case a weaker flavor-defined decoration
would be returned.
(There could then be a cross-reference to 6.4 where such difficulties are
mentioned.)
For 7.5.5, I'm still concerned about the requirement that accuracy modes
SHALL be linearly ordered. Would users really be confused by two modes
that are incomparable because they trade different cost categories for
tightest accuracy, e.g. space or time? This is quite common for compiler
optimization options, for example.
Michel.
---Sent: 2014-01-24 21:43:27 UTC