Ada202X : alternate syntax for ranged scalars

[Martin <martin@thedowies.com>]

The default scalar declarations are 'closed ranges', i.e. include both upper and lower in the valid range.

Sometimes we would like to specify a 'half open range', e.g. values of degree from 0.0 up to BUT NOT INCLUDING 360.0.

I'm floating (pun intended) an alternative syntax for specify such ranges (or 'intervals')...

type Degree is digits 15 range [0.0, 360.0); -- includes 0 but not 360


The current 'closed ranges' would be:

type Degree is digits 15 range [0.0, 360.0]; -- includes 0 and 360


Fully open range, i.e. not include 0.0 or 360.0:

type Degree is digits 15 range (0.0, 360.0); -- includes neither 0 nor 360


A 'reverse' half open range, i.e. not include 0.0 but including 360.0:

type Degree is digits 15 range (0.0, 360.0]; -- excludes 0 but includes 360



Usual rules would apply to the simple expression between the brackets.


Any thoughts?
-- Martin