CVS difference for ai12s/ai12-0367-1.txt
--- ai12s/ai12-0367-1.txt 2020/03/16 03:37:16 1.2
+++ ai12s/ai12-0367-1.txt 2020/03/25 03:01:38 1.3
@@ -96,6 +96,33 @@
this problem, since the value is of a different type than the type being
declared.
+!corrigendum 3.5.10(2/1)
+
+@drepl
+@xindent<S'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.>
+@dby
+@xindent<S'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 and positive.>
+
+!corrigendum 13.14(10)
+
+@drepl
+@xbullet<At the place where an expression causes freezing, the type of the
+expression is frozen, unless the expression is an enumeration literal used as
+a @fa<discrete_choice> of the @fa<array_aggregate> of an
+@fa<enumeration_representation_clause>.>
+@dby
+@xbullet<At the place where an expression causes freezing, the type of the
+expression is frozen, unless the expression is an enumeration literal used as
+a @fa<discrete_choice> of the @fa<array_aggregate> of an
+@fa<enumeration_representation_clause> or as the @fa<aspect_definition> of a
+specification for aspect Default_Value.>
+
!ASIS
No ASIS effect.
Questions? Ask the ACAA Technical Agent