CVS difference for ais/ai-00198.txt

Differences between 1.1 and version 1.2
Log of other versions for file ais/ai-00198.txt

--- ais/ai-00198.txt	1998/09/30 00:17:35	1.1
+++ ais/ai-00198.txt	1999/03/30 00:33:13	1.2
@@ -1,20 +1,37 @@
-!standard 06.03.01 (11)                               98-03-27  AI95-00198/00
+!standard 06.03.01 (11)                               99-03-23  AI95-00198/01
 !class confirmation 98-03-27
+!status work item 99-03-23
 !status received 98-03-27
 !priority Low
 !difficulty Easy
 !subject pragma Convention(Intrinsic) is not a completion
 
-!summary 98-03-27
+!summary
 
+pragma Convention(Intrinsic, ...) is not a completion for a subprogram.
+pragma Import(Intrinsic, ...) is a completion for a subprogram.
 
-!question 98-03-27
+!question
 
+In the specification of certain predefined packages, it appears
+that pragma Convention(Intrinsic, ...) is acting as a completion
+for certain subprograms.  Does pragma Convention ever act as
+a completion? (No.)
 
-!response 98-03-27
+!response
 
+In certain languaged-defined packages, pragma Convention(Intrinsic, ...)
+is applied to various operations (for example System.Storage_Elements."+").
+Such a pragma does not act as a "completion" for the operation.
+Instead, it is meant to prevent the use of 'Access with these operations.
 
-!appendix 98-03-27
+If in fact these operations are implemented "intrinsically,"
+then rather than a pragma Convention, the implementation would substitute
+an appropriate pragma Import(Intrinsic, ...).  The pragma Convention
+is used to allow implementations to treat these operations specially
+should they so choose.
+
+!appendix
 
 !section 6.3.1(11)
 !subject is pragma convention(intrinsic a completion

Questions? Ask the ACAA Technical Agent