view gcc/testsuite/gnat.dg/aggr12.ads @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 04ced10e8804
children
line wrap: on
line source

package Aggr12 is

  type Hair_Color_Type is (Black, Brown, Blonde, Grey, White, Red);

  type Rec is record
    I1, I2 : Hair_Color_Type;
  end record;

  A : constant Rec := (Black, Blonde);

  procedure Print (Data : String);

  procedure Test;

end Aggr12;