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

Re: textToIntevsal(s) and exceptions



On 2015-03-16 20:14:14 +0000, John Pryce wrote:
> However Vincent's comments make me wonder about extensions, see (*) above:
> 
> - In 9.4.1 "An implementation may support a more general form of valid interval literals ..."
> Should the standard put any restrictions on this? 

Not in general, but a flavor may recognize some forms as explicitly
invalid. For the set-based flavor, it would be intervals like [2,-1]
because it has a recognized form but the condition on l and u is not
satisfied. I'm not sure whether this is clear (I can't check right
now).

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