CVS difference for ais/ai-00117.txt

Differences between 1.9 and version 1.10
Log of other versions for file ais/ai-00117.txt

--- ais/ai-00117.txt	1999/10/08 23:41:05	1.9
+++ ais/ai-00117.txt	2000/04/14 01:45:07	1.10
@@ -1,4 +1,4 @@
-!standard 03.09.02 (10)                               99-10-07  AI95-00117/07
+!standard 03.09.02 (10)                               00-04-11  AI95-00117/08
 !standard 06.03.01 (13)
 !standard 13.01    (11)
 !standard B.01     (28)
@@ -211,7 +211,7 @@
 implementation-defined restrictions of interfacing pragmas. Hence an
 implementation will be allowed to reject the attempt to create
 "heterogeneous" tagged types, i.e., types having primitive operations
-of different, explicitly specified conventions or of explicity
+of different, explicitly specified conventions or of explicitly
 specified conventions different from the convention of the type.
 
 - ----------------
@@ -360,6 +360,21 @@
 corresponding primitive operation of the parent type. An explicitly declared
 dispatching operation shall not be of convention Intrinsic.
 
+!corrigendum 6.03.01(2)
+
+@drepl
+As explained in B.1, ``Interfacing Pragmas'', a @i<convention> can be
+specified for an entity. For a callable entity
+or access-to-subprogram type, the convention is called the
+@i<calling convention>. The following conventions are defined by the language:
+@dby
+As explained in B.1, ``Interfacing Pragmas'', a @i<convention> can be
+specified for an entity. Unless this International Standard states
+otherwise, the default convention of an entity is Ada. For a callable entity
+or access-to-subprogram type, the convention is called the
+@i<calling convention>. The following calling conventions are defined by the
+language:
+
 !corrigendum 6.03.01(13)
 
 @dinsa
@@ -382,21 +397,6 @@
 those of the actual. Representation aspects of a partial view are the same
 as those of the full view. A type-related representation item is not allowed
 for a descendant of a generic formal untagged type.
-
-!corrigendum B.01(28)
-
-@drepl
-Import, Export, and Convention @fa<pragma>s are representation pragmas that
-specify the @i<convention> aspect of representation. In addition, Import and
-Export @fa<pragma>s specify the @i<imported> and @i<exported> aspects of
-representation, respectively.
-@dby
-Import, Export, and Convention @fa<pragma>s are representation pragmas that
-specify the @i<convention> aspect of representation. In addition, Import and
-Export @fa<pragma>s specify the @i<imported> and @i<exported> aspects of
-representation, respectively. Unless this International Standard states
-otherwise, the default convention of an entity is Ada.
-
 
 !ACATS test
 The response to question 1 is untestable, as the convention of such items

Questions? Ask the ACAA Technical Agent