CVS difference for ais/ai-00364.txt

Differences between 1.12 and version 1.13
Log of other versions for file ais/ai-00364.txt

--- ais/ai-00364.txt	2004/11/25 00:03:43	1.12
+++ ais/ai-00364.txt	2005/01/07 03:07:44	1.13
@@ -1,4 +1,4 @@
-!standard  04.05.05(20)                                04-11-07  AI95-00364/05
+!standard  04.05.05(20)                                04-12-30  AI95-00364/06
 !class amendment 03-12-04
 !status Amendment 200Y 04-06-29
 !status WG9 approved 04-11-18
@@ -111,15 +111,14 @@
 
 !example
 
-Here are three fixed-point types, with multiplication and
-division operators that require no scaling. These may
-be user-defined because they perform "saturation" arithmetic,
-or simply to ensure that they are only combined in ways that
-make sense.
-
-   type T1 is delta 0.1;
-   type T2 is delta 0.001;
-   type T3 is delta 0.0001;
+Here are three fixed-point types, with user-defined multiplication
+and division operators. These might be user-defined because they
+perform "saturation" arithmetic, or simply to ensure that they are
+only combined in ways that make sense.
+
+   type T1 is delta 0.1 range 0.0 .. 10000.0;
+   type T2 is delta 0.001 range 0.0 .. 10000.0;
+   type T3 is delta 0.0001 range 0.0 .. 10000.0;
    function "*"(Left : T1; Right : T2) return T3;
    function "*"(Left : T2; Right : T1) return T3;
    function "/"(Left : T3; Right : T1) return T2;
@@ -144,12 +143,14 @@
 
 @drepl
 @i<@s8<Legality Rules>>
+
 The above two fixed-fixed multiplying operators shall not be used in a context
 where the expected type for the result is itself @i<universal_fixed> -- the
 context has to identify some other numeric type to which the result is to be
 converted, either explicitly or implicitly.
 @dby
 @i<@s8<Name Resolution Rules>>
+
 The above two fixed-fixed multiplying operators shall not be used in a
 context where the expected type for the result is itself @fa<universal_fixed>
 -- the context has to identify some other numeric type to which the

Questions? Ask the ACAA Technical Agent