drw@cullvax.UUCP (04/17/87)
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)