Changeset 68c7062 for doc/theses/fangren_yu_MMath/test.adb

Timestamp:

Apr 14, 2025, 9:54:29 AM (6 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

10ef475

Parents:

d9aee90

Message:

update overload test programs for Ada and swift

File:

• doc/theses/fangren_yu_MMath/test.adb (modified) (4 diffs)

doc/theses/fangren_yu_MMath/test.adb

@@ -16 +16 @@
         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
+        subtype Int       is Integer;
+        J : Int;
+        Function "-"( L, R : Int ) return Int is begin Put_Line( "X" ); return Integer(L) + (-Integer(R)); end; --  prevent infinite recusion
+        
+--      duplicate body for "-" declared at line 20
+--      subtype SInt is Integer range -10 .. 10;
+--      Function "-"( L, R : SInt ) return SInt is begin Put_Line( "X" ); return Integer(L) + (-Integer(R)); end; --  prevent infinite recusion
         
         i : Integer;
@@ -33 +39 @@
            type T is private;
            with function "+"( X, Y: T ) return T;
-        function twice(X : T) return T;
+        function twice( X : T ) return T;
         
         function twice( X: T ) return T is
@@ -43 +49 @@
         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;
+--      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 := 3;
+   I := 7 - 3;
+        Print( i );
+   F := 3.8;
+   I := 7 - 2;
+        Print( i );
+   J := 7 - 3;
+        Print( j );
+   
         i := Random;
         Print( i );
@@ -61 +76 @@
         Print( s );
         
-        Print( Func( 7 ) );
+        Print( Func( V => 7 ) );
         Print( Func( 7.5 ) );
         Print( Func( To_Unbounded_String( "abc" ) ) );
         Print( Func( 3, 3.5 ) );
+--      Print( Func( 3, 3 ) );
         
         Grind( X => (Re => 1.0, Im => 1.0) );