Depending on how you parse it in your head, it can read strangely. The commenter is parsing D.2.4(11/3) as “ Since implementations are allowed to round all ceiling priorities in subrange
System.Priority to System.Priority'Last (see D.3), an... “ as if “System.Priority to System.Priority'Last” is being referred to as a subrange. It’s intended to be parsed as “ Since implementations are allowed to round all ceiling priorities in subrange System.Priority to System.Priority'Last “ Maybe “Since implementations are allowed to round, to System.Priority'Last, all ceiling priorities that fall within subrange System.Priority” though I’m ok with it as it is, it doesn’t require as much turning your inside out as some of the LRM. Jeff Sent from Mail for Windows From: Tucker Taft Sent: 30 January 2023 21:53 To: Ada-Comment List Subject: Re: [Ada-Comment] Ada 2022 Draft 35 D.2.4 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
