https://sourceware.org/bugzilla/show_bug.cgi?id=24509
--- Comment #2 from Tom Tromey <tromey at sourceware dot org> ---
Here's one that uses both ranges and discrete elements:
package Rng is
type Rec (I : Integer) is record
case I is
when Positive =>
C : Character;
case I is
when 1..15 | 17 | 23 =>
null;
when others =>
N : Natural;
end case;
when others =>
S : String (1 .. 10);
end case;
end record;
R : Rec (1);
end Rng;
And here's one that uses unsigned types:
package Urng is
type Unsigned is mod 65536;
type Rec (I : Unsigned) is record
case I is
when 17 | 23 | 32768..65535 =>
null;
when others =>
S : String (1 .. 10);
end case;
end record;
R : Rec (1);
end Urng;
--
You are receiving this mail because:
You are on the CC list for the bug.
