From: drw@cullvax.UUCP
Subject: Ranges with no values...
Date: Fri, 17-Apr-87 11:06:42 EST [thread overview]
Date: Fri Apr 17 11:06:42 1987
Message-ID: <1107@cullvax.UUCP> (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)
reply other threads:[~1987-04-17 16:06 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox