[net.lang.ada] static derived types ???

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.