CVS difference for ai12s/ai12-0079-1.txt

Differences between 1.16 and version 1.17
Log of other versions for file ai12s/ai12-0079-1.txt

--- ai12s/ai12-0079-1.txt	2018/03/02 03:17:33	1.16
+++ ai12s/ai12-0079-1.txt	2018/03/30 07:55:07	1.17
@@ -2916,4 +2916,35 @@
 those don't display properly in Notepad; I then know to clean them before
 using.)
 
+***************************************************************
+
+From: Tucker Taft
+Sent: Friday, March  9, 2018  8:06 AM
+
+This version [He's talking about version /06 - ED] included a paragraph about
+when the declaration of a library unit is frozen:
+
+Modify 13.14(3/5):
+
+  The end of a declarative_part, protected_body, or a declaration of a
+  library package or generic library package, causes freezing of each
+  entity and profile declared within it{, as well as the entity itself
+  in the case of the declaration of a library unit}.  
+
+It did not cover (generic) library subprograms, but we probably care about 
+those as well.  For them, we may want to say the end of the *compilation*
+unit, so as to include any of the "trailing" pragmas (such as pragma Inline).
+Trailing pragmas are clearly part of the compilation unit, whereas it is a bit
+less clear whether they are part of the declaration.
+
+Hence, to define when the declaration of a library subprogram is frozen, we 
+could leave the above paragraph as is, and add:
+
+  The end of a compilation unit containing the declaration of a library unit
+  (including any pragmas that apply to it) causes freezing of the library
+  unit.
+
+Where the part about the pragmas is probably redundant, but perhaps doesn't
+hurt to include.
+
 **************************************************************

Questions? Ask the ACAA Technical Agent