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

Differences between 1.7 and version 1.8
Log of other versions for file ai12s/ai12-0066-1.txt

--- ai12s/ai12-0066-1.txt	2017/07/19 23:45:52	1.7
+++ ai12s/ai12-0066-1.txt	2017/09/08 02:53:53	1.8
@@ -168,7 +168,7 @@
 
 (3) A friendly reading of the wording is that characters are read so long as
 the string read could be legal (if incomplete) syntax of a numeric literal.
-This matches the behavior of the ACATS (and ACVC before it) have always
+This matches the behavior of the ACATS (and ACVC before it); it has always
 required reading the entire value of "2#101010".
 
 Since this wording has existed since Ada 83, and the strict reading in the
@@ -233,8 +233,8 @@
     subtype Fooey1 is Boolean with Static_Predicate => Fooey1 = True; -- OK.
     subtype Fooey2 is Boolean with Static_Predicate => (Fooey2 = True) or Debug; -- OK.
 
-One also can easily write a range for any possible subtype; it's never
-necessary to use a static predicate in the way that it might for an
+One also can easily write a range for any possible subtype of Boolean; it's
+never necessary to use a static predicate in the way that it might for an
 enumeration type with more than 2 literals.
 
 Finally, a constrained subtype of a boolean type is essentially a pathology.

Questions? Ask the ACAA Technical Agent