CVS difference for ai12s/ai12-0227-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai12s/ai12-0227-1.txt

--- ai12s/ai12-0227-1.txt	2017/04/20 04:08:34	1.1
+++ ai12s/ai12-0227-1.txt	2017/04/21 05:43:53	1.2
@@ -11,7 +11,7 @@
 
 Nonstatic universal integer expressions are always evaluated at runtime as
 values of type root_integer; similarly, nonstatic universal real expressions
-are always evaluated at runtime as values of type root_integer
+are always evaluated at runtime as values of type root_real.
 
 !question
 
@@ -67,7 +67,7 @@
 
 AARM Ramification: This has no effect for static expressions; the value may
 be arbitrarily small or large since no specific type is expected for any
-expression to which this rule specifies one of the root types. The only effect
+expression for which this rule specifies one of the root types. The only effect
 of this rule is to allow Constraint_Error to be raised if value is outside of
 the base range of root_integer or root_real.
 
@@ -282,5 +282,20 @@
    end if;
 
 end AI12_227;
+
+****************************************************************
+
+From: Ed Schonberg
+Sent: Wednesday, April 19, 2017  11:11 PM
+
+Last word of summary should be “root_real” not “root_integer”. Looks
+impeccable otherwise!
+
+****************************************************************
+
+From: Tucker Taft
+Sent: Thursday, April 20, 2017  9:19 PM
+
+Seems fine, modulo the needed root_integer -> root_real fix identified by Ed.
 
 ****************************************************************

Questions? Ask the ACAA Technical Agent