Re: Revision to set-based interval literals
On 2015-03-05 14:38:53 +0000, John Pryce wrote:
> I thought about this a lot when we first did (set based) interval
> literals, and eventually decided to put them into Level 2. I think
> the old text in 12.11 does make it clear what notions are Level 1.
> However, I will look at it more broadly and see if the new, shorter,
> 12.11 should be part of Level 1. BTW I put the latter in the
> repository, r436.
Moreover I wonder whether it is OK that the subclause on common
interval and number literals (now §9.4) should be in §9, which
is titled "Operations required in all flavors", while literals
are not operations.
--
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)