Re: Overlapping ranges

[tmoran@acm.org]

> Exactly. And that's the problem - I'm looking for a way
> to declare a function [and/or whatever] that could handle
> values of either of the two [test-bed of course] types and,
> on top of that, impose range restrictions on the values passed in.
Can you just have two different functions overloading a single name?
   type x1 is range 0..255;
   type x2 is range 127..2**15-1;
   subtype x1_and_x2_range is x1 range 127 .. 255;
   subtype x2_and_x1_range is x2 range 127 .. 255;
   function f(x : x1_and_x2_range) return ...
   function f(x : x2_and_x1_range) return ...
   an_x1 : x1;
   an_x2 : x2;
   ...
   result := f(an_x1); -- checks an_x1 in 127 .. 255, then calls first "f"
   result := f(an_x2); -- checks an_x2 in 127 .. 255, then calls second "f"