Agreed. Inserting the word "up" would help, as would adding an explicit 'Range:
Since implementations are allowed to round all ceiling priorities in System.Priority'Range up to System.Priority'Last (see D.3)], ... -Tuck On Tue, Jan 31, 2023 at 4:49 AM Jean-Pierre Rosen <[email protected]> wrote: > Maybe "up to System.Priority'Last" would be clearer... > > Le 31/01/2023 à 10:36, Christoph & Ursula Grein a écrit : > > Oops, now I see my misreading: > > > > All values within System.Priority are rounded to System.Priority'Last > > > > I misunderstood as a subrange System.Priority .. System.Priority'Last > > which does not make sense. > > > > > > > > ________________________________________________________ > > > > You have received this message because you subscribed to the Ada-Comment > > mailing list. To leave the Ada-Comment list, send an email with > > 'leave Ada-Comment' in the body to [email protected]. For help > > on the other commands available, send 'help Ada-Comment' to the same > > address. > > Problems? Send mail to [email protected]. This list is operated by the > > Ada Resource Association, Inc., PO Box 8685, New York NY 10116-8685. > > > > > > > > > -- > J-P. Rosen > Adalog > 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX > https://www.adalog.fr https://www.adacontrol.fr > > > ________________________________________________________ > > You have received this message because you subscribed to the Ada-Comment > mailing list. To leave the Ada-Comment list, send an email with > 'leave Ada-Comment' in the body to [email protected]. For help > on the other commands available, send 'help Ada-Comment' to the same > address. > Problems? Send mail to [email protected]. This list is operated by the > Ada Resource Association, Inc., PO Box 8685, New York NY 10116-8685. > > > > >
