summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/discr21_pkg.ads
blob: d156df625170fd157287089893eda555ec6b5839 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
package Discr21_Pkg is

  type Position is record
    x,y,z : Float;
  end record;

  type Dim is (Two, Three);

  type VPosition (D: Dim := Three) is record
    x, y : Float;
    case D is
      when Two => null;
      when Three => z : Float;
    end case;
  end record;

  function To_Position (x, y, z : Float) return VPosition;

end Discr21_Pkg;