"Bill Findlay" <yaldnifw@blueyonder.co.uk> a �crit dans le message de news: BA4BAC1F.1C55%yaldnifw@blueyonder.co.uk...
> Not at all, your amplification brings the point out more fully; but it
> should be said that:
>
> >             SUBTYPE S IS INTEGER RANGE READ .. READ;
>
> is formally undefined, as the language does not specify the order in which
> the lower and upper bounds of the range are evaluated.
>
Which is easily solved by saying:
     Lower : constant Integer := Read;
     Upper : constant Integer := Read;
     subtype S is Integer range Lower..Upper;

(Fortunately, declarations *are* elaborated in order :-)

--
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr