CVS difference for ais/ai-00054.txt

Differences between 1.1 and version 1.2
Log of other versions for file ais/ai-00054.txt

--- ais/ai-00054.txt	1998/09/30 00:17:11	1.1
+++ ais/ai-00054.txt	1999/08/20 03:59:43	1.2
@@ -1,5 +1,6 @@
-!standard 03.05.10 (02)                               97-04-11  AI95-00054/02
+!standard 03.05.10 (02)                               99-08-17  AI95-00054/03
 !class binding interpretation 95-06-25
+!status Corrigendum 2000 99-08-17
 !status WG9 approved (8-0-0) 97-07-04
 !status ARG approved (6-1-0) 97-04-11
 !status work item 95-10-21
@@ -8,12 +9,12 @@
 !difficulty Easy
 !subject When is a Small clause allowed?
 
-!summary 95-06-25
+!summary
 
 A Small clause is illegal for a decimal fixed point type.
 A Small clause is illegal for a derived fixed point type.
 
-!question 95-06-25
+!question
 
 3.5.9(8) says, "For a type defined by an ordinary_fixed_point_definition
 (an ordinary fixed point type), the small may be specified by an
@@ -29,24 +30,46 @@
 What is the intent?  May Small be specified for a derived fixed point
 type?  (No.)  May it be specified for a decimal type?  (No.)
 
-!recommendation 95-06-25
+!recommendation
 
 A Small clause is illegal for a decimal fixed point type.
 A Small clause is illegal for a derived fixed point type.
 
-!wording 95-06-25
+!wording
 
+In 3.5.10, add "ordinary":
 
-!discussion 95-06-25
+Small may be specified for nonderived ordinary fixed point types via an
+attribute_definition_clause (see 13.3).
 
+!discussion
+
 The intent was to disallow a Small clause for a decimal type,
 because the Small is determined by the type declaration.
 
 The intent was to also disallow a Small clause for a derived fixed point
 type, because otherwise the model numbers of the parent and derived
 types might differ, resulting in semantic difficulties.
+
+!corrigendum 3.05.10(2)
+
+@drepl
+@xhang<S'Small@tabS'Small denotes the @i<small> of the type of S. The value of
+this attribute is of the type @i<universal_real>. Small may be specified for
+nonderived fixed point types via an @fa<attribute_definition_clause>
+(see 13.3); the expression of such a clause shall be static.>
+@dby
+@xhang<S'Small@tabS'Small denotes the @i<small> of the type of S. The value of
+this attribute is of the type @i<universal_real>. Small may be specified for
+nonderived ordinary fixed point types via an @fa<attribute_definition_clause>
+(see 13.3); the expression of such a clause shall be static.>
+
+!ACATS test
+
+Create a B-Test to check that 'Small clauses are not accepted for derived
+fixed point types and for decimal types.
 
-!appendix 95-10-21
+!appendix
 
 !section 03.05.10(2)
 !subject: Limitations on specifying attribute small

Questions? Ask the ACAA Technical Agent