* Ranges with no values...
@ 1987-04-17 16:06 drw
0 siblings, 0 replies; only message in thread
From: drw @ 1987-04-17 16:06 UTC (permalink / raw)
firth@sei.cmu.edu points out that a generic instantiation can create a
variable whose type is a subrange containing *no* values. Thus, any
assignment to that variable must raise a CONSTRAINT_ERROR. This leads
to the interesting fact that one can have
lower_bound <= variable && variable <= upper_bound
be false! One would naively expect that this expression would be true
even for uninitialized variables. What is the official word on
uninitialized variables in Ada?
Dale
--
Dale Worley Cullinet Software
UUCP: ...!seismo!harvard!mit-eddie!cullvax!drw
ARPA: cullvax!drw@eddie.mit.edu
Un*x (a generic name for a class of OS's) != Unix (AT&T's brand of such)
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1987-04-17 16:06 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1987-04-17 16:06 Ranges with no values drw
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox