fork download
  1. procedure Test is
  2. type B is range 1 .. 7;
  3. subtype T is B range 2 .. 5;
  4. X : T'Base range -3 .. 3 := 0;
  5. begin
  6. null;
  7. end Test;
Success #stdin #stdout 0s 17016KB
stdin
Standard input is empty
stdout
Standard output is empty