CVS difference for ais/ai-00195.txt

--- ais/ai-00195.txt	2000/12/06 21:46:43	1.13
+++ ais/ai-00195.txt	2001/01/23 22:23:30	1.14
@@ -3050,3 +3050,28 @@
 question 11 to take the space of question 5.
 
 ****************************************************************
+
+From: Robert Dewar
+Sent: Friday, January 05, 2001 9:53 PM
+
+I fixed GNAT to conform to AI195, and I came across an interesting
+little anomoly. Consider the type:
+
+  type x is range 0 .. 2 ** 32 - 1;
+  for x'size use 32;
+
+Before we used the base type (8 bytes, and output the value in signed
+form). Now we use 4 bytes, and that means it has to be output as an
+unsigned value. This does not make much difference, unless the form of
+unsigned and signed values is different, which is quite possible.
+
+A similar situation arises with biased values
+
+  type x is range -1 .. +254;
+  for x'size use 8;
+
+I realize not all compilers accept this (perhaps only DEC and GNAT do), but
+here too, the result of the AI195 change is that the value has to be output
+as a single unsigned byte, rather than using the signed unbiased base type.
+
+****************************************************************