Constant array declarations are not causing a compilation error when not fully initialized.

[Mark.Doherty@uk.thalesgroup.com (Mark Doherty)]

Why does the Ada95 LRM not gaurantee a compilation error for the
following, albeit does produce a CONTRAINT_ERROR.


procedure Test is

  type Enum is (A, B, C);

  -- the following don't produce compilation errors (just warning on
different
  -- versions of the compiler 
  Lookup_1 : constant array (Enum) of Integer := (A => 1);
  Lookup_2 : constant array (Enum) of Integer := (A => 1, B => 2);
  Lookup_3 : constant array (Enum) of Integer := (B => 1, C => 3);
  Lookup_4 : constant array (Enum) of Integer := (10, 12);

  -- the following does produce compilation error (as expected)
  Lookup_5 : constant array (Enum) of Integer := (A => 1,C => 2);

begin
    null;
end Test;

p.s. Different versions of the Rational compiler (but not all) issue a
warning that ... CONSTRAINT_ERROR will be raised...