CVS difference for ais/ai-00114.txt

Differences between 1.3 and version 1.4
Log of other versions for file ais/ai-00114.txt

--- ais/ai-00114.txt	2000/10/05 02:47:30	1.3
+++ ais/ai-00114.txt	2000/11/01 01:05:05	1.4
@@ -247,3 +247,68 @@
 
 ****************************************************************
 
+From: Dan Eilers [dan@IRVINE.COM]
+Sent: Wednesday, October 18, 2000 8:29 PM
+
+!topic AI-00077 is undocumented extension to Ada83
+!reference RM95-10.01.04
+!from Dan Eilers
+!keywords extension
+!discussion
+
+The AARM should mention that AI-00077 is an extension to Ada83.
+
+[Editor's note: AI-00077 is a confirmation.]
+
+****************************************************************
+
+From: Dan Eilers [dan@IRVINE.COM]
+Sent: Wednesday, October 18, 2000 8:33 PM
+
+!topic AI-00163 is undocumented incompatibility with Ada83
+!reference RM95-4.5.5(18-20)
+!from Dan Eilers
+!keywords incompatibility
+!discussion
+
+The AARM should mention that AI-00163 is an incompatibility with Ada83.
+
+[Editor's note: AI-00163 is a confirmation.]
+
+****************************************************************
+
+From: Dan Eilers [dan@IRVINE.COM]
+Sent: Wednesday, October 18, 2000 8:53 PM
+
+!topic undocumented inconsistency regarding 'size
+!from Dan Eilers
+!keywords inconsistency
+!discussion
+
+The AARM should mention that 'size is inconsistent with Ada83,
+as noted by Robert Dewar in his email attached to AI95-00163,
+as well as recent ARG email:
+
+> ...   (we have found the incompatibilities in handling of Size to be FAR
+> more worrisome, since in general they cause different results with no
+> complaint at compile time).
+  ...
+> If one user bumping into one incompatibility using one vendors compiler IS
+> enough justification for changing the language, I have a number of messages
+> to transmit to this list, starting with a complaint about what to me is the
+> gratuitous change in the handling of static expressions that makes LOTS of
+> Ada 83 programs illegal.
+
+----
+
+>       ...                                               The pragmatic
+> issues are that Ada 95 pinned down some things left undefined in Ada 83,
+> and did it in a manner which, while formally allowed by the 83 RM did
+> not correspond to the way most compilers did things (e.g. mandating
+> Natural'Size = Integer'Size - 1, which was clearly allowed by the
+> Ada 83 RM, but all Ada 83 compilers I worked with had Natural'Size =
+> Integer'Size [I have heard that the Intermetrics compiler had the
+> Ada 95 treatment, but I am not familiar with that Ada 83 compiler].
+
+****************************************************************
+

Questions? Ask the ACAA Technical Agent