Predefined attributes of ranges
Is your capability/feature request related to a problem? Please describe.
Predefined attributes of ranges. The prefix is "Any prefix R that is an attribute name and denotes a range."
Describe the solution you'd like.
This seems to require me to use prefixes of the form
A'range'value
or A'range'record
Why did we disallow a usage such as:
subtype IntegerRangeRecType is integer'range'record ;
constant Y5_RANGE : IntegerRangeRecType := (4 downto -3)'value ;
With this the prefix would be "Any prefix R that denotes or is a range."
Describe alternatives you've considered.
None
Additional context None