with Ada.Text_IO; use Ada.Text_IO;
with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;

procedure test is
	Function Random return Integer is begin return 3; end;
	Function Random return Float is begin return 3.5; end;
	Function Random return Unbounded_String is begin return To_Unbounded_String( "abc" ); end;
	
	Procedure Print( V : Integer ) is begin Put_Line( Integer'Image(V) ); end;
	Procedure Print( V : Float ) is begin Put_Line( Float'Image(V) ); end;
	Procedure Print( V : Unbounded_String ) is begin Put_Line( Ada.Strings.Unbounded.To_String(V) ); end;
	
	Function Func( V : Integer ) return Integer is begin return V; end;
	Function Func( V : Float ) return Float is begin return V; end;
	Function Func( V : Unbounded_String ) return Unbounded_String is begin return V; end;
	Function Func( V1 : Integer; V2 : Float ) return Float is begin return Float(V1) + V2; end;
	
	Function "-"( L, R : Integer ) return Integer is begin return L + (-R); end; --  prevent infinite recusion
	
	i : Integer;
	f : Float;
	s : Unbounded_String;
	
	Type Complex is
        record
            Re, Im : Float;
        end record;
	c : Complex := (Re => 1.0, Im => 1.0);
    Procedure Grind (X : Complex) is begin Put_Line( "Grind1" ); end;
    Procedure Grind (X : Unbounded_String) is begin Put_Line( "Grind2" ); end;
	
	generic
	   type T is private;
	   with function "+"( X, Y: T ) return T;
	function twice(X : T) return T;
	
	function twice( X: T ) return T is
	begin
	   Put_Line( "XXX" ); return X + X;   -- The formal operator "*".
	end twice;

	function Int_Twice is new Twice( Integer, "+" => "+" );
	function float_Twice is new Twice( float, "+" => "+" );
	
	-- generic units cannot be overloaded
	-- generic
	--    type T is private;
	--    with function "+"( X, Y: T ) return T;
	-- function twice( X : T; Y : T ) return T;
	-- 
	-- function twice( X: T; Y : T ) return T is
	-- begin
	--    Put_Line( "XXX" ); return X + X;   -- The formal operator "*".
	-- end twice;
begin
	i := Random;
   	Print( i );
	f := Random;
   	Print( f );
	s := Random;
   	Print( s );
	
   	Print( Func( 7 ) );
   	Print( Func( 7.5 ) );
   	Print( Func( To_Unbounded_String( "abc" ) ) );
   	Print( Func( 3, 3.5 ) );
	
	Grind( X => (Re => 1.0, Im => 1.0) );
	Grind( c );
	Grind( To_Unbounded_String( "abc" ) );
	
	i := Int_Twice( 2 );
	Put_Line( Integer'Image(i) );
	f := float_Twice( 2.5 );
   	Print( f );
end test;

-- Local Variables: --
-- tab-width: 4 --
-- compile-command: "gnatmake test.adb" --
-- End: --