gcc/testsuite/gnat.dg/incomplete6.ads

   1 with Ada.Unchecked_Conversion;
   2
   3 package Incomplete6 is
   4
   5    type Vint;
   6    function "=" (Left, Right : Vint) return Boolean;
   7
   8    type Vint is record
   9       Value : Integer;
  10    end record;
  11
  12    function To_Integer is new
  13      Ada.Unchecked_Conversion(Source => Vint, Target => Integer);
  14
  15    type Vfloat;
  16    function "=" (Left, Right : in Vfloat) return Boolean;
  17
  18    type Vfloat is record
  19       Value : Float;
  20    end record;
  21
  22 end;