* static derived types ???
@ 1986-03-18 3:52 Doug Bryan
0 siblings, 0 replies; 2+ messages in thread
From: Doug Bryan @ 1986-03-18 3:52 UTC (permalink / raw)
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
-------
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: static derived types ???
@ 1986-03-20 19:45 stt
0 siblings, 0 replies; 2+ messages in thread
From: stt @ 1986-03-20 19:45 UTC (permalink / raw)
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.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~1986-03-20 19:45 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1986-03-18 3:52 static derived types ??? Doug Bryan
-- strict thread matches above, loose matches on Subject: below --
1986-03-20 19:45 stt
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox