Re: type definition for an integer with discrete range

[John Perry <john.perry@usm.edu>]

You wanted a compile-time error; would a warning do? I only have it from -20 to 20 for the sake of time & space, but a Static_Predicate does the trick.

{{{
pragma Assertion_Policy(Check);

procedure Main is

  subtype Number is Integer with Static_Predicate =>
      Number in -20 | -15 | -10 | -5 | 0 | 5 | 10 | 15 | 20;
  
  A, B: Number;
  
begin
  A := 10;
  B := 12;
end Main;
}}}