Re: Status of recirculation ballot
On 2015-04-15 02:58:58 +0200, Vincent Lefevre wrote:
> No, I really meant an implementation of the standard. The problem is
> the following:
>
> "A flavor may provide the decoration com with the following
> propagation rule for library arithmetic operations."
>
> There are two possibilities for the specification of the flavor.
>
> 1. The flavor provides com (just like the set-based flavor), and there
> are no problems with this, whatever the implementation that supports
> this flavor.
>
> 2. The flavor doesn't provide com. This means that an implementation
> that supports this flavor cannot support another flavor (because it
> would be "an implementation with more than one flavor"). Or what?
And if the other parts that require "com" are not changed, I think
that the above sentence can safely be ignored (since a requirement
implies "may"), though it may be confusing.
--
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)