On Sat, Jan 28, 2023 at 1:15 AM Christoph & Ursula Grein < [email protected]> wrote:
> !topic Since implementations are allowed to round all ceiling priorities > in subrange System.Priority[ to System.Priority'Last (see D.3)], an... > > !reference Ada 2022 RM D.2.4(11/3) Draft 35 > > !from Grein 23-01-25 > > !discussion Something is wrong there - either lower limit is missing or > upper limit is nonsense. > Can you clarify what you believe is wrong? The sentence is saying that for any priority value in the (sub)range of System.Priority (which is equivalent to saying any value in the range System.Priority'First .. System.Priority'Last), the implementation may treat it as though the programmer specified the maximum allowed value, namely System.Priority'Last. Take care, -Tucker Taft
