Teilbereichstypen in Ada

type Day is ( Mon, Tue, Thu, Fri, Sat, Sun );
subtype Weekday is Day range Mon .. Fri;

procedure Day is
   X, Y : Day;
begin
   X := Fri;     Text_Io.Put (Day'Image(X));
   Y := Succ(X); Text_Io.Put (Day'Image(Y));
end Day;

mit Bereichsprüfung bei jeder Zuweisung.

einige Tests können aber vom Compiler statisch ausgeführt werden!