Bryan@SU-SIERRA.ARPA (Doug Bryan) (03/18/86)
Question: Is a derived type whose parent is a static subtype itself static? For example... type Int is new Standard.Integer; Is Int a static subtype? doug and Geoff -------
stt@ada-uts (03/20/86)
There was a bit of a controversy over this one because the description of derived types talks about using conversion on the bounds of the parent subtype to produce the derived subtype, and conversion is not static (for no great reason, as far as I can determine -- something having to do with rounding being non-deterministic). The Language Review Board decided that the intent was that subtypes derived from subtypes with static bounds remain static (if I remember correctly). Note that only SUBtypes are classified static vs. non-static -- the BASE (sub)type of a scalar type always has static bounds.