Ranges with no values...

Ranges with no values...

[drw]

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)