CVS difference for ais/ai-00320.txt

Differences between 1.5 and version 1.6
Log of other versions for file ais/ai-00320.txt

--- ais/ai-00320.txt	2004/11/25 00:03:38	1.5
+++ ais/ai-00320.txt	2005/08/21 06:00:29	1.6
@@ -1,4 +1,5 @@
-!standard  B.1  (49)                                   04-11-09  AI95-00320/04
+!standard  B.1  (38)                                   05-08-20   AI95-00320/05
+!standard  B.1  (49)
 !class binding interpretation 03-01-02
 !status Amendment 200Y 04-07-02
 !status WG9 approved 04-11-18
@@ -45,6 +46,8 @@
 pragmas does not violate Ada semantics; otherwise, program execution is
 erroneous.
 
+Delete B.1(49).
+
 !discussion
 
 This wording includes pragma Import, Export, and Convention for all
@@ -54,7 +57,7 @@
 easily violate Ada semantics.
 
 Note the even calling Ada code with a foreign convention may violate
-Ada semantics, a foreign convention may not include needed support for Ada
+Ada semantics, as a foreign convention may not include needed support for Ada
 semantics. Imagine an implementation that passes the current innermost
 exception handler in a specific register. The C calling convention would
 most likely not pass or save that register, and thus exceptions could not
@@ -65,6 +68,8 @@
 The wording makes it the programmer's (and not the implementer's)
 responsibility to use interfacing wisely and safely.
 
+The existing note therefore has become redundant, and it is deleted.
+
 !corrigendum B.1(38)
 
 @dinsa
@@ -78,6 +83,12 @@
 It is the programmer's responsibility to ensure that the use of interfacing
 pragmas does not violate Ada semantics; otherwise, program execution is
 erroneous.
+
+!corrigendum B.1(49)
+
+@ddel
+@xindent<@s9<8  An interfacing pragma might result in an effect that violates
+Ada semantics.>>
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent