Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: P1788/D9.6 -- the recirculation ballot

Another issue: §9.7.5 (Page 31 line 18) makes no sense. I think it
was initially meant to specify decorated interval literals of the
flavor, but such a generic definition has been dropped in favor of
specifying only all-flavor literals, as the title suggests. But for
all-flavor decorated interval literals, the value must be defined
in all flavors, thus the decoration is necessarily "com".

So, I think that the paragraph should be simplified to:

  An all-flavor decorated interval literal is a string s comprising
  an all-flavor bare interval literal sx and the decoration literal
  com, separated by an underscore "_". Its value is x_com.

This is consistent with Table 9.5:

  decorationLit             "com"
  decoratedIntvlLiteral     {bareIntvlLiteral} "_" {decorationLit}

-- 
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)