-- RUN: %llvmgcc -S %s | |

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; |