gcc/testsuite/gnat.dg/opt18.ads

   1 package Opt18 is
   2
   3    type Cart_Axis_Type is (X, Y, Z);
   4
   5    type Cart_Vector_Type is array (Cart_Axis_Type) of Float;
   6
   7    function Mag (Item : in Cart_Vector_Type) return Float;
   8
   9    type Unit_Vector_Type is array (Cart_Axis_Type) of Float;
  10
  11    type Mag_Axis_Type is
  12    record
  13       Mag  : Float;
  14       Axis : Unit_Vector_Type;
  15    end record;
  16
  17    type Unit_Quaternion_Type is record
  18       X : Float;
  19       Y : Float;
  20       Z : Float;
  21       S : Float;
  22    end record;
  23
  24    function Unit_Quaternion_To_Mag_Axis (Quaternion : in Unit_Quaternion_Type)
  25      return Mag_Axis_Type;
  26
  27    X_Unit : constant Unit_Vector_Type := (1.0, 0.0, 0.0);
  28
  29 end Opt18;