gcc/testsuite/gnat.dg/discr6_pkg.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

generic

  type T(<>) is private;

package Discr6_Pkg is

  function X (A : T) return Integer;

  pragma Interface(C, X);
  pragma IMPORT_FUNCTION (
         INTERNAL         => X,
         EXTERNAL         => X,
         PARAMETER_TYPES  => (T),
         MECHANISM        => (Descriptor(S)));

end Discr6_Pkg;