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

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

--- ai12s/ai12-0093-1.txt	2013/12/12 03:55:21	1.2
+++ ai12s/ai12-0093-1.txt	2013/12/12 04:06:42	1.3
@@ -1,5 +1,8 @@
-!standard 5.5.2(10/3)                                  13-11-16  AI05-0093-1/02
+!standard 5.5.2(8/3)                                  13-12-11  AI05-0093-1/03
+!standard 5.5.2(10/3)
 !class ramification 13-11-12
+!status Corrigendum 2014 13-12-11
+!status ARG Approved 11-0-0  13-11-17
 !status work item 13-11-12
 !status received 13-11-04
 !priority Low
@@ -18,7 +21,6 @@
 
 with
   Ada.Iterator_Interfaces;
-
 package Discriminated is
    type Cursor (<>) is private;
    function Has_Element (Position : Cursor) return Boolean;
@@ -78,7 +80,7 @@
 values are assigned to it by calls to Next. If the objects return by Next have
 a discriminant that is not equal to the one of the object returned by First,
 Constraint_Error is raised because of the discriminant check. Is this intended
-behaviour? (No.)
+behavior? (Yes.)
 
 !response
 
@@ -400,7 +402,8 @@
 > > that restriction, but how to accomplish that is an interesting
 > > problem. I don't like the "one object per interation" semantics
 > > because it would cause a lot more loop overhead, and it's an abuse
-> > of Cursor (which means "reference", after all) to actually include the data as in J-P's example.
+> > of Cursor (which means "reference", after all) to actually include the
+> > data as in J-P's example.
 >
 > 1) I would say it is a use of cursors that we didn't anticipate. As a
 > naive and casual user (almost), I found it convenient to get the

Questions? Ask the ACAA Technical Agent