CVS difference for 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