comp.lang.ada
 help / color / mirror / Atom feed
From: stt@ada-uts
Subject: Re: static derived types ???
Date: Thu, 20-Mar-86 14:45:00 EST	[thread overview]
Date: Thu Mar 20 14:45:00 1986
Message-ID: <4700021@ada-uts> (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.

             reply	other threads:[~1986-03-20 19:45 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1986-03-20 19:45 stt [this message]
  -- strict thread matches above, loose matches on Subject: below --
1986-03-18  3:52 static derived types ??? Doug Bryan
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox