Re: (Num_Types.Mod_4 range 1..8) ------->why not (1..8)?

[christoph.grein@eurocopter.com]

While re-hosting some code, yesterday I bumped into some code like so:

  type Some_Array is array (Some_Index range <>) of Some_Type;
  subtype Small_Array is Some_Array (1 .. 8);
  subtype Max_Array   is Some_Array (1 .. Some_Index'Last);

  function Convert is Unchecked_Conversion (Source => Small_Array,
Target => Max_Array);

Guess what the perpetrator told me was the reason for this
abomination: The compiler complained when he assigned an object of
Small_Array to one of Max_Array. So he found this "solution"...