Changeset f5bf3c2 for doc/theses/fangren_yu_MMath/test.adb

Timestamp:

Mar 20, 2025, 1:21:53 PM (3 days ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Parents:

62b5940

Message:

more proofreading on introduction chapter

File:

• doc/theses/fangren_yu_MMath/test.adb (modified) (3 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 : Integer; R : Integer ) return Integer is begin return 3; end;
+        Function "-"( L, R : Integer ) return Integer is begin return L + (-R); end; --  prevent infinite recusion
         
         i : Integer;
@@ -26 +26 @@
             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;
-        c : Complex;
         
         generic
@@ -39 +39 @@
            Put_Line( "XXX" ); return X + X;   -- The formal operator "*".
         end twice;
-        
-        generic
-           type T is private;
-           with function "+"( X, Y: T ) return T;
-        function twice( X : T; Y : T ) return T;
-        
-        -- generic units cannot be overloaded
-        function twice( X: T; Y : 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;