CVS difference for ai05s/ai05-0115-1.txt

Differences between 1.5 and version 1.6
Log of other versions for file ai05s/ai05-0115-1.txt

--- ai05s/ai05-0115-1.txt	2010/10/26 00:49:13	1.5
+++ ai05s/ai05-0115-1.txt	2010/12/15 00:10:58	1.6
@@ -136,13 +136,6 @@
    R := (Root with C2 => 2, C3 => 3, others => 1); -- (Illegal.)
    R := (Root with others => 4);                   -- (Illegal.)
 
-\\\\\
-We tried a number of different wording attempts, but it became clear that any
-attempt to create wording that didn't leverage the existing characteristics
-rules was doomed to failure. Thus we defined some new characteristics that
-make it clear whether an aggregate is legal.
-\\\\\
-
 We tried a number of different wording attempts, none of which were entirely
 satisfactory.  Conceptually, all we really want to do is to add a rule that
 makes record (and extension) aggregates illegal if the type of the aggregate
@@ -154,7 +147,7 @@
 An attempt was made to define a new characteristic of type views that indicates
 when a view of a type has "known components". However, it seems heavy to have
 to introduce a new characteristic and technical term to address this narrow
-problem. There were also reservations expressed about that the proposed wording
+problem. There were also reservations expressed that the proposed wording
 did not capture locality very well (see !discussion of the previous version
 of this AI (AI05-0115-1/04)). In this version of the AI, an attempt is made
 to specify an additional criterion for the legality of the aggregate on top

Questions? Ask the ACAA Technical Agent