CVS difference for arm/source/06.mss

Differences between 1.17 and version 1.18
Log of other versions for file arm/source/06.mss

--- arm/source/06.mss	2000/08/11 00:09:15	1.17
+++ arm/source/06.mss	2000/08/17 03:15:26	1.18
@@ -1,10 +1,10 @@
 @Part(06, Root="ada.mss")
-@Comment{$Date: 2000/08/11 00:09:15 $}
+@Comment{$Date: 2000/08/17 03:15:26 $}
 @Comment{$Source: e:\\cvsroot/ARM/Source/06.mss,v $}
-@Comment{$Revision: 1.17 $}
+@Comment{$Revision: 1.18 $}
@@ -664,6 +664,7 @@
 @nt{subprogram_body} to non-generics.
 @LabeledSubClause{Conformance Rules}
@@ -678,11 +679,14 @@
 @Defn{calling convention}
 @Redundant[As explained in @RefSec{Interfacing Pragmas},
-a @i{convention} can be specified for an entity.
-For a callable entity or access-to-subprogram type,
+a @i{convention} can be specified for an entity.]
+@Chg{New=[Unless this International Standard states otherwise, the default
+convention of an entity is Ada.],Old=[]}
+@Redundant[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:
@@ -767,8 +771,20 @@
 @Defn{entry calling convention}
 @Defn2{Term=[calling convention], Sec=(entry)}
-The default calling convention is @i{entry}
-for an entry.
+The default calling convention is @i{entry} for an entry.
+@Chg{New=[@Redundant[If not specified above as Intrinsic, the calling convention for any
+inherited or overriding dispatching operation of a tagged type is that of the
+corresponding subprogram of the parent type.] The default calling convention
+for a new dispatching operation of a tagged type is the convention of the type.],
+@Chg{New=[The first rule is officially stated in
+@RefSecNum(Dispatching Operations of Tagged Types). The second is intended
+to make interfacing to foreign OOP languages easier, by making the default
+that the type and operations all have the same convention.],Old=[]}
 Of these four conventions, only Ada and Intrinsic are
@@ -885,6 +901,10 @@
 different @nt{default_expression}s.
+@Chg{New=[each @nt{attribute_designator} in one must be the same as the
+corresponding @nt{attribute_designator} in the other; and],Old=[]}
 each @nt{primary} that is a literal in one
 has the same value as the corresponding literal in the other.
@@ -1722,12 +1742,12 @@
 to refer to one of the syntactic categories
 defined in @RefSec{Operators and Expression Evaluation}
 whose names end with @lquotes@;_operator:@rquotes@;
-@nt<multiplying_operator>, and
+@nt<multiplying_@!operator>, and

Questions? Ask the ACAA Technical Agent