CVS difference for ai05s/ai05-0019-1.txt

Differences between 1.7 and version 1.8
Log of other versions for file ai05s/ai05-0019-1.txt

--- ai05s/ai05-0019-1.txt	2007/07/26 02:58:05	1.7
+++ ai05s/ai05-0019-1.txt	2007/10/09 19:27:13	1.8
@@ -1,4 +1,4 @@
-!standard 13.14(2)                                       07-06-15    AI05-0019-1/03
+!standard 13.14(2)                                       07-10-01    AI05-0019-1/04
 !standard 13.14(3/1)
 !standard 13.14(8.1/1)
 !standard 13.14(10)
@@ -195,7 +195,7 @@
 
 @drepl
 The end of a @fa<declarative_part>, @fa<protected_body>, or a declaration of a library package
-or generic library package, causes freezing of each entity declared within
+or generic library package, causes @i<freezing> of each entity declared within
 it, except for incomplete types. A noninstance body other than a renames-as-body causes
 freezing of each entity declared before it within the same @fa<declarative_part>.
 @dby
@@ -225,11 +225,6 @@
 @xbullet<At the place where a function call causes freezing, the profile of the function is
 frozen. Furthermore, if a parameter of the call is defaulted, the
 @fa<default_expression> for that parameter causes freezing.>
-
-AARM Note: This is the important rule: a call freezes the profile. Note that we don't
-need to consider procedure or entry calls, because the end of a declarative_part freezes
-everything. We are moving here the part about defaulted parameters in function calls:
-it used to be in 13.14(14), but that paragraph is now only concerned with profiles, not calls.
 
 @xbullet<At the place where a @fa<generic_instantiation> causes freezing of a callable entity,
 the profile of that entity is frozen.>

Questions? Ask the ACAA Technical Agent