2010-11-26 05:21:59 +08:00
|
|
|
-- RUN: %llvmgcc -S %s
|
2008-01-16 03:55:41 +08:00
|
|
|
procedure Placeholder is
|
|
|
|
subtype Bounded is Integer range 1 .. 5;
|
|
|
|
type Vector is array (Bounded range <>) of Integer;
|
|
|
|
type Interval (Length : Bounded := 1) is record
|
|
|
|
Points : Vector (1 .. Length);
|
|
|
|
end record;
|
|
|
|
An_Interval : Interval := (Length => 1, Points => (1 => 1));
|
|
|
|
generic The_Interval : Interval; package R is end;
|
|
|
|
package body R is end;
|
|
|
|
package S is new R (An_Interval);
|
|
|
|
begin null; end;
|