CVS difference for ais/ai-00130.txt

--- ais/ai-00130.txt	1999/09/16 20:40:29	1.8
+++ ais/ai-00130.txt	1999/10/08 23:41:05	1.9
@@ -1,4 +1,5 @@
 !standard 13.12    (08)                               99-09-15  AI95-00130/06
+!standard 13.12    (09)
 !standard D.7      (04)
 !standard H.4      (08)
 !class binding interpretation 96-04-13
@@ -180,12 +181,20 @@
 @xbullet<If an object of a type is declared or allocated and not explicitly
 initialized, then all expressions appearing in the definition for
 the type and any of its ancestors are presumed to be used;>
-@xbullet<Default formal parameters are presumed to be used only if the
-corresponding actual parameter is not provided in a given call or
-instantiation.>
-Notwithstanding the above, for code which is recognized at compile-time
-as unreachable, and for which no object code is generated,
-implementations are permitted to omit restriction checks.
+@xbullet<A @fa<default_expression> for a formal parameter or a generic formal
+object is considered to be used if and only if the corresponding actual
+parameter is not provided in a given call or instantiation.>
+
+!corrigendum 13.12(9)
+
+@dinsa
+An implementation may place limitations on the values of the @fa<expression>
+that are supported, and limitations on the supported combinations of
+restrictions. The consequences of violating such limitations are
+implementation defined.
+@dinst
+Implementations are permitted to omit restriction checks for code that is
+recognized at compile time to be unreachable and for which no code is generated.
 
 !corrigendum D.7(4)