--- 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