Re: Overlapping ranges

["AG" <ang@xtra.co.nz>]

"David C. Hoos" <david.c.hoos.sr@ada95.com> wrote in message
news:PGAJa.19179$bH3.5754@fe02.atl2.webusenet.com...
> Neither example will compile because the declaration
> subtype x1_and_x2_range is range x1(x2'first)..x1'last;
> is illegal;

Sorry, just a typing error on my part.
The line should have read:

subtype x1_and_x2_range is x1 range x1(x2'first)..x1'last;

A cut and past from AdaGide follows (which compiles fine):

package overlap is

type x1 is range 0..255;

type x2 is range 127.. 2**15-1;

subtype x1_and_x2_range is x1 range x1(x2'first)..x1'last;


function f(x: x1) return boolean;

end;



Sorry for the typo omission. Doesn't change the rest of it though.