1-- { dg-do compile } 2 3with Ada.Unchecked_Conversion; 4 5package body Fixedpnt2 is 6 7 function To_Integer_64 is 8 new Ada.Unchecked_Conversion (Source => My_Type, 9 Target => T_Integer_64); 10 11 function To_T is 12 new Ada.Unchecked_Conversion (Source => T_Integer_64, 13 Target => My_Type); 14 15 function "*" (Left : in T_Integer_32; 16 Right : in My_Type) 17 return My_Type is 18 (To_T (S => T_Integer_64 (Left) * To_Integer_64 (S => Right))); 19 20 function "*" (Left : in My_Type; 21 Right : in T_Integer_32) 22 return My_Type is 23 (To_T (S => To_Integer_64 (S => Left) * T_Integer_64 (Right))); 24 25end Fixedpnt2; 26